Package net.hydromatic.morel.type

Type system.

Interface Summary

Interface	Description
NamedType	Type that has a name.
RecordLikeType	A type that has named fields, as a record type does.
Type	Type.
Type.Def	Definition of a type.
Type.Key	Structural identifier of a type.
TypeSystem.DataTypeFixer	Replaces temporary data types with real data types, using the supplied map.
TypeSystem.ForallHelper	Provides access to type variables from within a call to TypeSystem.forallType(int, Function).
TypeSystem.Transaction	Holds temporary changes to the type system.

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.
Keys	Type keys.
Keys.ApplyKey	Key of a type that applies a parameterized type to specific type arguments.
Keys.DataTypeDef	Information from which a data type can be created.
Keys.DataTypeKey	Key that identifies a datatype scheme.
Keys.ForallKey	Key of a forall type.
Keys.ForallTypeApplyKey	Key that applies several type arguments to a datatype scheme.
Keys.NameKey	Key that identifies a type by name.
Keys.OpKey	Key of a type that applies a built-in type constructor to specific type arguments.
Keys.OrdinalKey	Key that identifies a type by ordinal.
Keys.RecordKey	Key of a record type.
ListType	The type of a list value.
ParameterizedType	Base class for types that accept type parameters.
RecordType	The type of a record value.
TemporaryType	Placeholder for a type that is being recursively defined.
TupleType	The type of a tuple value.
TypeShuttle	Visitor over Type objects that returns types.
TypeSystem	A table that contains all types in use, indexed by their description (e.g.
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.