PType (pkl-core 0.25.2 API)

java.lang.Object
- org.pkl.core.PType

All Implemented Interfaces:

java.io.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 java.lang.Object
implements java.io.Serializable
```
A Pkl type as used in type annotations.

See Also:

Serialized Form

Nested Class Summary

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

Field Summary

Fields
Modifier and Type Field Description

static PType MODULE
The type of the enclosing module.

static PType NOTHING
The bottom type.

static PType UNKNOWN
The `unknown` type.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type Method Description

java.util.List<PType> getTypeArguments()
- Methods inherited from class java.lang.Object
  clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Field Detail
  - 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 Detail
  - getTypeArguments
```
public java.util.List<PType> getTypeArguments()
```