Uses of Package
net.hydromatic.morel.type

Packages that use net.hydromatic.morel.type

Package	Description
net.hydromatic.morel	Standard ML interpreter, implemented in Java.
net.hydromatic.morel.ast	Abstract syntax tree.
net.hydromatic.morel.compile	Validates programs (represented as AstNode), deduces their type, and compiles them into code that can be evaluated.
net.hydromatic.morel.eval	Evaluates expressions.
net.hydromatic.morel.foreign	Provides access to external data sources.
net.hydromatic.morel.type	Type system.

Classes in net.hydromatic.morel.type used by net.hydromatic.morel

Class	Description
Binding	Binding of a name to a type and a value.
TypeSystem	A table that contains all types in use, indexed by their description (e.g.

Classes in net.hydromatic.morel.type used by net.hydromatic.morel.ast

Class	Description
Binding	Binding of a name to a type and a value.
DataType	Algebraic type.
FnType	The type of a function value.
ListType	The type of a list value.
PrimitiveType	Primitive type.
RecordLikeType	A type that has named fields, as a record type does.
RecordType	The type of a record value.
Type	Type.
TypeSystem	A table that contains all types in use, indexed by their description (e.g.

Classes in net.hydromatic.morel.type used by net.hydromatic.morel.compile

Class	Description
Binding	Binding of a name to a type and a value.
DataType	Algebraic type.
PrimitiveType	Primitive type.
TemporaryType	Placeholder for a type that is being recursively defined.
Type	Type.
TypeSystem	A table that contains all types in use, indexed by their description (e.g.
TypeVar	Type variable (e.g.

Classes in net.hydromatic.morel.type used by net.hydromatic.morel.eval

Class	Description
Type	Type.
TypeSystem	A table that contains all types in use, indexed by their description (e.g.

Classes in net.hydromatic.morel.type used by net.hydromatic.morel.foreign

Class	Description
RecordLikeType	A type that has named fields, as a record type does.
Type	Type.
TypeSystem	A table that contains all types in use, indexed by their description (e.g.

Classes in net.hydromatic.morel.type used by net.hydromatic.morel.type

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.
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.
FnType	The type of a function value.
ForallType	Universally quantified type.
Keys.DataTypeDef	Information from which a data type can be created.
ListType	The type of a list value.
NamedType	Type that has a name.
ParameterizedType	Base class for types that accept type parameters.
PrimitiveType	Primitive type.
RecordLikeType	A type that has named fields, as a record type does.
RecordType	The type of a record value.
TemporaryType	Placeholder for a type that is being recursively defined.
TupleType	The type of a tuple value.
Type	Type.
Type.Def	Definition of a type.
Type.Key	Structural identifier of a type.
TypeSystem	A table that contains all types in use, indexed by their description (e.g.
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.
TypeVar	Type variable (e.g.
TypeVisitor	Visitor over Type objects.