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.DataTypeKey	Key that identifies a datatype scheme.
private static class	Keys.ForallKey	Key of a forall type.
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.ProgressiveRecordKey
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(Type.Key type, Iterable<? extends Type.Key> args)	Returns a key that applies a polymorphic type to arguments.
static Keys.DataTypeKey	datatype(String name, List<? extends Type.Key> arguments, SortedMap<String,Type.Key> typeConstructors)	Returns a key that identifies a DataType.
(package private) static StringBuilder	describeRecordType(StringBuilder buf, int left, int right, SortedMap<String,Type.Key> argNameTypes, Op op)	Describes a record, progressive record, or tuple type.
static Type.Key	dummy()	Returns a key to the dummy type.
static Type.Key	fn(Type.Key paramType, Type.Key resultType)	Returns a key that identifies a FnType.
static Type.Key	forall(Type type, int parameterCount)	Returns a key that identifies a ForallType.
static Type.Key	list(Type.Key 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 List<Type.Key>	ordinals(int size)	Returns a list of keys for type variables 0 through size - 1.
static Type.Key	progressiveRecord(SortedMap<String,? extends Type.Key> argNameTypes)	Returns a key that identifies a ProgressiveRecordType.
static Type.Key	record(SortedMap<String,? extends Type.Key> 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 List<Type.Key>	toKeys(List<? extends Type> types)	Converts a list of types to a list of keys.
static SortedMap<String,Type.Key>	toKeys(SortedMap<String,? extends Type> nameTypes)	Converts a map of types to a map of keys.
static Type.Key	toProgressive(Type.Key key)	Converts a record key to a progressive record key, leaves other keys unchanged.
static Type.Key	tuple(List<? extends Type.Key> args)	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 Details

Keys

private Keys()

Method Details

name

public static Type.Key name(String name)

Returns a key that identifies types by name.

dummy

public static Type.Key dummy()

Returns a key to the dummy type.

ordinal

public static Type.Key ordinal(int ordinal)

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

ordinals

public static List<Type.Key> ordinals(int size)

Returns a list of keys for type variables 0 through size - 1.

See Also:

• TypeSystem.typeVariables(int)

apply

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

Returns a key that applies a polymorphic type to arguments.

record

public static Type.Key record(SortedMap<String,? extends Type.Key> 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.Key> args)

Returns a key that identifies a TupleType.

progressiveRecord

public static Type.Key progressiveRecord(SortedMap<String,? extends Type.Key> argNameTypes)

Returns a key that identifies a ProgressiveRecordType.

fn

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

Returns a key that identifies a FnType.

list

public static Type.Key list(Type.Key elementType)

Returns a key that identifies a ListType.

forall

public static Type.Key forall(Type type,
 int parameterCount)

Returns a key that identifies a ForallType.

datatype

public static Keys.DataTypeKey datatype(String name,
 List<? extends Type.Key> arguments,
 SortedMap<String,Type.Key> typeConstructors)

Returns a key that identifies a DataType.

toKeys

public static SortedMap<String,Type.Key> toKeys(SortedMap<String,? extends Type> nameTypes)

Converts a map of types to a map of keys.

toKeys

public static List<Type.Key> toKeys(List<? extends Type> types)

Converts a list of types to a list of keys.

describeRecordType

static StringBuilder describeRecordType(StringBuilder buf,
 int left,
 int right,
 SortedMap<String,Type.Key> argNameTypes,
 Op op)

Describes a record, progressive record, or tuple type.

toProgressive

public static Type.Key toProgressive(Type.Key key)

Converts a record key to a progressive record key, leaves other keys unchanged.