Uses of Package
net.hydromatic.morel.type

Packages that use net.hydromatic.morel.type

Package	Description
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.compile

Class	Description
Binding	Binding of a name to a type and a value.
PrimitiveType	Primitive type.
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
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.
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.
ListType	The type of a list value.
NamedType	Type that has a name.
PrimitiveType	Primitive type.
RecordType	The type of a record value.
TupleType	The type of a tuple value.
Type	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).
TypeSystem.TemporaryType	Placeholder for a type that is being recursively defined.
TypeVar	Type variable (e.g.
TypeVisitor	Visitor over Type objects.