Package net.hydromatic.morel.type

Class Keys

java.lang.Object

net.hydromatic.morel.type.Keys

public class Keys
extends Object

Type keys.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
private static class	Keys.ApplyKey	Key of a type that applies a parameterized type to specific type arguments.
static class	Keys.DataTypeDef	Information from which a data type can be created.
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.

Constructor Summary

Constructors

Modifier	Constructor	Description
private	Keys()

Method Summary

Modifier and Type	Method	Description
static Type.Key	apply(ParameterizedType type, Iterable<? extends Type> argTypes)	Returns a key that identifies an ApplyType.
static Type.Key	apply(ParameterizedType type, Type... argTypes)	Returns a key that identifies an ApplyType, with an array of types.
static Type.Key	datatype(String name)	Returns a key that identifies a DataType.
static Keys.DataTypeDef	dataTypeDef(String name, List<? extends Type> parameterTypes, SortedMap<String,Type> tyCons, boolean scheme)	Returns a definition of a DataType.
static Type.Key	fn(Type paramType, Type resultType)	Returns a key that identifies a FnType.
static Type.Key	forall(Type type, List<TypeVar> parameterTypes)	Returns a key that identifies a ForallType.
static Type.Key	forallTypeApply(ForallType forallType, List<? extends Type> argTypes)	Returns a key that identifies a ForallType with monomorphic types substituted for its type parameters.
static Type.Key	list(Type elementType)	Returns a key that identifies a ListType.
static Type.Key	name(String name)	Returns a key that identifies types by name.
static Type.Key	ordinal(int ordinal)	Returns a key that identifies types (especially type variables) by ordinal.
static Type.Key	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	tuple(List<? extends Type> argTypes)	Returns a key that identifies a TupleType.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Keys

private Keys()

Method Detail

name

public static Type.Key name(String name)

Returns a key that identifies types by name.

ordinal

public static Type.Key ordinal(int ordinal)

Returns a key that identifies types (especially type variables) by ordinal.

apply

public static Type.Key apply(ParameterizedType type,
                             Type... argTypes)

Returns a key that identifies an ApplyType, with an array of types.

apply

public static Type.Key apply(ParameterizedType type,
                             Iterable<? extends Type> argTypes)

Returns a key that identifies an ApplyType.

record

public static Type.Key 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).

tuple

public static Type.Key tuple(List<? extends Type> argTypes)

Returns a key that identifies a TupleType.

fn

public static Type.Key fn(Type paramType,
                          Type resultType)

Returns a key that identifies a FnType.

list

public static Type.Key list(Type elementType)

Returns a key that identifies a ListType.

forall

public static Type.Key forall(Type type,
                              List<TypeVar> parameterTypes)

Returns a key that identifies a ForallType.

datatype

public static Type.Key datatype(String name)

Returns a key that identifies a DataType.

forallTypeApply

public static Type.Key forallTypeApply(ForallType forallType,
                                       List<? extends Type> argTypes)

Returns a key that identifies a ForallType with monomorphic types substituted for its type parameters.

dataTypeDef

public static Keys.DataTypeDef dataTypeDef(String name,
                                           List<? extends Type> parameterTypes,
                                           SortedMap<String,Type> tyCons,
                                           boolean scheme)

Returns a definition of a DataType.