Package net.hydromatic.morel.type

Type system.

Interface Summary

Interface	Description
NamedType	Type that has a name.
Type	Type.
TypeSystem.ForallHelper	Provides access to type variables from within a call to TypeSystem.forallType(int, Function).

Class Summary

Class	Description
ApplyType	Type that is a polymorphic type applied to a set of types.
BaseType	Abstract implementation of Type.
Binding	Binding of a name to a type and a value.
DataType	Algebraic type.
FnType	The type of a function value.
ForallType	Universally quantified type.
ListType	The type of a list value.
RecordType	The type of a record value.
TupleType	The type of a tuple value.
TypeSystem	A table that contains all types in use, indexed by their description (e.g.
TypeSystem.TemporaryType	Placeholder for a type that is being recursively defined.
TypeSystem.VariableCollector	Visitor that finds all TypeVar instances within a Type.
TypeVar	Type variable (e.g.
TypeVisitor<R>	Visitor over Type objects.

Enum Summary

Enum	Description
DummyType	Type that is a place-holder for a type constructor that has no arguments; for example, "NONE" in "datatype 'a option = NONE | SOME of 'a" would have dummy type.
PrimitiveType	Primitive type.