Type (morel 0.3.0 API)

All Known Subinterfaces:

NamedType, RecordLikeType

All Known Implementing Classes:

ApplyType, BaseType, DataType, DummyType, FnType, ForallType, ListType, ParameterizedType, PrimitiveType, RecordType, TemporaryType, TupleType, TypeVar
```
public interface Type
```
Type.

Nested Class Summary

Nested Classes
Modifier and Type Interface Description

static interface Type.Def
Definition of a type.

static interface Type.Key
Structural identifier of a type.

Method Summary

All Methods Instance Methods Abstract Methods Default Methods
Modifier and Type	Method	Description
`<R> R`	`accept(TypeVisitor<R> typeVisitor)`
`Type`	`copy(TypeSystem typeSystem, UnaryOperator<Type> transform)`	Copies this type, applying a given transform to component types, and returning the original type if the component types are unchanged.
`Type.Key`	`key()`	Description of the type, e.g.
`default String`	`moniker()`	Key of the type.
`Op`	`op()`	Type operator.
`default Type`	`substitute(TypeSystem typeSystem, List<? extends Type> types, TypeSystem.Transaction transaction)`	Returns a copy of this type, specialized by substituting type parameters.

- Method Detail
  - key
```
Type.Key key()
```
    Description of the type, e.g. "int", "int -> int", "NONE | SOME of 'a".
  - moniker
```
default String moniker()
```
    Key of the type.
    Often the same as key(), but an exception is datatype. For example, datatype "'a option" has moniker and name "option" and description "NONE | SOME of 'a".
    Use the description if you are looking for a type that is structurally equivalent. Use the moniker to identify it when printing.
  - op
```
Op op()
```
    Type operator.
  - copy
```
Type copy(TypeSystem typeSystem,
          UnaryOperator<Type> transform)
```
    Copies this type, applying a given transform to component types, and returning the original type if the component types are unchanged.
  - accept
```
<R> R accept(TypeVisitor<R> typeVisitor)
```
  - substitute
```
default Type substitute(TypeSystem typeSystem,
                        List<? extends Type> types,
                        TypeSystem.Transaction transaction)
```
    Returns a copy of this type, specialized by substituting type parameters.