Package net.hydromatic.morel.type
package net.hydromatic.morel.type
Type system.
-
ClassDescriptionAbstract implementation of Type.Binding of a name to a type and a value.Algebraic type.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.The type of a function value.Universally quantified type.Type keys.Key of a type that applies a parameterized type to specific type arguments.Key that identifies a
datatypescheme.Key of a forall type.Key that identifies a type by name.Key of a type that applies a built-in type constructor to specific type arguments.Key that identifies a type by ordinal.Key of a record type.The type of a list value.Type that has a name.Base class for types that accept type parameters.Primitive type.Progressive record type.A type and a range set.A type that has named fields, as a record type does.Record type.The type of a tuple value.Type.Structural identifier of a type.A value that knows its own type.Visitor overTypeobjects that returns types.A table that contains all types in use, indexed by their description (e.g.Provides access to type variables from within a call toTypeSystem.forallType(int, Function).Type variable (e.g.TypeVisitor<R>Visitor overTypeobjects.