Type (morel 0.2.0 API)

All Known Subinterfaces:

NamedType

All Known Implementing Classes:

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

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`<R> R`	`accept(TypeVisitor<R> typeVisitor)`
`Type`	`copy(TypeSystem typeSystem, java.util.function.Function<Type,Type> transform)`	Copies this type, applying a given transform to component types, and returning the original type if the component types are unchanged.
`java.lang.String`	`description()`	Description of the type, e.g.
`Op`	`op()`	Type operator.

- Method Detail
  - description
```
java.lang.String description()
```
    Description of the type, e.g. "int", "int -> int".
  - op
```
Op op()
```
    Type operator.
  - copy
```
Type copy(TypeSystem typeSystem,
          java.util.function.Function<Type,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)
```