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.
PrimitiveType	Primitive type.
RecordLikeType	A type that has named fields, as a record type does.
RecordType	Record type.
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.
Binding.Kind	What kind of binding?
DataType	Algebraic type.
PrimitiveType	Primitive type.
RecordType	Record type.
Type	Type.
Type.Key	Structural identifier of a type.
TypedValue	A value that knows its own 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.
Type.Key	Structural identifier of a type.
TypedValue	A value that knows its own 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
BaseType	Abstract implementation of Type.
Binding	Binding of a name to a type and a value.
Binding.Kind	What kind of binding?
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.DataTypeKey	Key that identifies a datatype scheme.
Keys.OpKey	Key of a type that applies a built-in type constructor to specific type arguments.
ListType	The type of a list value.
MultiType	Overloaded type.
NamedType	Type that has a name.
ParameterizedType	Base class for types that accept type parameters.
PrimitiveType	Primitive type.
ProgressiveRecordType	Progressive record type.
RecordLikeType	A type that has named fields, as a record type does.
RecordType	Record type.
TupleType	The type of a tuple value.
TupleType.IntStringCache	Cache of the string representations of integers.
Type	Type.
Type.Key	Structural identifier of a type.
TypedValue	A value that knows its own type.
TypeSystem	A table that contains all types in use, indexed by their description (e.g
TypeSystem.ForallHelper	Provides access to type variables from within a call to TypeSystem.forallType(int, Function).
TypeVar	Type variable (e.g.
TypeVisitor	Visitor over Type objects.