Package org.pkl.core

Class PType

java.lang.Object

org.pkl.core.PType

All Implemented Interfaces:

Serializable

Direct Known Subclasses:

PType.Alias, PType.Class, PType.Constrained, PType.Function, PType.Nullable, PType.StringLiteral, PType.TypeVariable, PType.Union

public abstract class PType
extends Object
implements Serializable

A Pkl type as used in type annotations.

See Also:

• Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final class	PType.Alias
static final class	PType.Class
static final class	PType.Constrained
static final class	PType.Function
static final class	PType.Nullable
static final class	PType.StringLiteral
static final class	PType.TypeVariable
static final class	PType.Union

Field Summary

Fields

Modifier and Type	Field	Description
static final PType	MODULE	The type of the enclosing module.
static final PType	NOTHING	The bottom type.
static final PType	UNKNOWN	The `unknown` type.

Method Summary

Modifier and Type	Method	Description
List<PType>	getTypeArguments()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

UNKNOWN

public static final PType UNKNOWN

The `unknown` type. Omitting a type annotation is equivalent to stating this type.

NOTHING

public static final PType NOTHING

The bottom type.

MODULE

public static final PType MODULE

The type of the enclosing module.

Method Details

getTypeArguments

public List<PType> getTypeArguments()