Uses of Interface
net.hydromatic.morel.type.Type.Key

Packages that use Type.Key

Package	Description
net.hydromatic.morel.type	Type system.

Uses of Type.Key in net.hydromatic.morel.type

Classes in net.hydromatic.morel.type that implement Type.Key

Modifier and Type	Class	Description
private static class	Keys.ApplyKey	Key of a type that applies a parameterized type to specific type arguments.
private static class	Keys.DataTypeKey	Key that identifies a datatype scheme.
private static class	Keys.ForallKey	Key of a forall type.
private static class	Keys.ForallTypeApplyKey	Key that applies several type arguments to a datatype scheme.
private static class	Keys.NameKey	Key that identifies a type by name.
private static class	Keys.OpKey	Key of a type that applies a built-in type constructor to specific type arguments.
private static class	Keys.OrdinalKey	Key that identifies a type by ordinal.
private static class	Keys.RecordKey	Key of a record type.

Fields in net.hydromatic.morel.type declared as Type.Key

Modifier and Type	Field	Description
private Type.Key	DataType.key

Fields in net.hydromatic.morel.type with type parameters of type Type.Key

Modifier and Type	Field	Description
(package private) Map<Type.Key,Type>	TypeSystem.typeByKey

Methods in net.hydromatic.morel.type that return Type.Key

Modifier and Type	Method	Description
static Type.Key	Keys.apply(ParameterizedType type, Iterable<? extends Type> argTypes)	Returns a key that identifies an ApplyType.
static Type.Key	Keys.apply(ParameterizedType type, Type... argTypes)	Returns a key that identifies an ApplyType, with an array of types.
static Type.Key	Keys.datatype(String name)	Returns a key that identifies a DataType.
static Type.Key	Keys.fn(Type paramType, Type resultType)	Returns a key that identifies a FnType.
static Type.Key	Keys.forall(Type type, List<TypeVar> parameterTypes)	Returns a key that identifies a ForallType.
static Type.Key	Keys.forallTypeApply(ForallType forallType, List<? extends Type> argTypes)	Returns a key that identifies a ForallType with monomorphic types substituted for its type parameters.
Type.Key	ApplyType.key()
Type.Key	DataType.key()
Type.Key	DummyType.key()
Type.Key	FnType.key()
Type.Key	ForallType.key()
Type.Key	ListType.key()
Type.Key	PrimitiveType.key()
Type.Key	RecordType.key()
Type.Key	TupleType.key()
Type.Key	Type.key()	Description of the type, e.g.
Type.Key	TypeVar.key()
static Type.Key	Keys.list(Type elementType)	Returns a key that identifies a ListType.
static Type.Key	Keys.name(String name)	Returns a key that identifies types by name.
static Type.Key	Keys.ordinal(int ordinal)	Returns a key that identifies types (especially type variables) by ordinal.
static Type.Key	Keys.record(SortedMap<String,Type> argNameTypes)	Returns a key that identifies a RecordType (or a TupleType if the field names are ascending integers, or unit if the fields are empty).
static Type.Key	Keys.tuple(List<? extends Type> argTypes)	Returns a key that identifies a TupleType.

Methods in net.hydromatic.morel.type with parameters of type Type.Key

Modifier and Type	Method	Description
(package private) DataType	TypeSystem.dataType(String name, Type.Key key, List<? extends Type> types, SortedMap<String,Type> tyCons)
private Type	TypeSystem.keyToType(Type.Key key)	Creates a type from a key.
Type	TypeSystem.typeFor(Type.Key key)	Gets a type that matches a key, creating if necessary.

Method parameters in net.hydromatic.morel.type with type arguments of type Type.Key

Modifier and Type	Method	Description
void	TypeSystem.DataTypeFixer.apply(Type type, Map<Type.Key,Type> typeMap)

Constructors in net.hydromatic.morel.type with parameters of type Type.Key

Constructor	Description
DataType(String name, Type.Key key, List<? extends Type> parameterTypes, SortedMap<String,Type> typeConstructors)	Creates a DataType.
DataType(Op op, String name, Type.Key key, List<? extends Type> parameterTypes, SortedMap<String,Type> typeConstructors)	Called only from DataType and TemporaryType constructor.