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

Packages that use Type.Key

Package	Description
net.hydromatic.morel.ast	Abstract syntax tree.
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.type	Type system.

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

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

Modifier and Type	Method	Description
Type.Key	Core.Pat.typeKey()	Returns the type's key.

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

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

Modifier and Type	Method	Description
Type.Key	BuiltIn.DataTypeHelper.get(int i)
(package private) Type.Key	TypeResolver.Foo.toTypeKey(Ast.Type type)	Converts an AST type into a type key.
static Type.Key	TypeResolver.toTypeKey(Ast.Type type)	Converts a type AST to a type key.

Methods in net.hydromatic.morel.compile that return types with arguments of type Type.Key

Modifier and Type	Method	Description
(package private) List<Type.Key>	TypeResolver.Foo.toTypeKeys(Iterable<? extends Ast.Type> types)

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

Modifier and Type	Method	Description
BuiltIn.DataTypeHelper	BuiltIn.DataTypeHelper.tyCon(String name, Type.Key typeKey)

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

Modifier and Type	Method	Description
private void	TypeResolver.deduceDatatypeBindType(Ast.DatatypeBind datatypeBind, SortedMap<String,Type.Key> tyCons)

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

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

Modifier and Type	Field	Description
(package private) static final Type.Key	Files.UnknownFile.PROGRESSIVE_UNIT	Key for the type "{...}", the progressive record with no (as yet known) fields.
(package private) static final Type.Key	Files.UnknownFile.PROGRESSIVE_UNIT_LIST	Key for the type "{...} list", the list of progressive records with no (as yet known) fields.
(package private) final Type.Key	Files.DataFile.typeKey

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

Modifier and Type	Method	Description
Type.Key	Files.DataFile.typeKey()
Type.Key	Files.Directory.typeKey()
Type.Key	Files.UnknownFile.typeKey()

Methods in net.hydromatic.morel.eval that return types with arguments of type Type.Key

Modifier and Type	Method	Description
(package private) PairList<String,Type.Key>	Files.FileType.deduceFields(BufferedReader r)
private static PairList<String,Type.Key>	Files.deduceFieldsCsv(BufferedReader r)

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

Modifier and Type	Method	Description
(package private) static Function<String,Object>	Files.parser(Type.Key type)	Creates a function that converts a string field value to the desired type.

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

Modifier	Constructor	Description
(package private)	DataFile(File file, Files.FileType fileType, Type.Key typeKey, PairList<Integer,Function<String,Object>> parsers)

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

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

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.

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

Modifier and Type	Field	Description
(package private) final Type.Key	Keys.ApplyKey.key

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

Modifier and Type	Field	Description
(package private) final com.google.common.collect.ImmutableSortedMap<String,Type.Key>	Keys.ProgressiveRecordKey.argNameTypes
(package private) final com.google.common.collect.ImmutableSortedMap<String,Type.Key>	Keys.RecordKey.argNameTypes
(package private) final com.google.common.collect.ImmutableList<Type.Key>	Keys.ApplyKey.args
(package private) final com.google.common.collect.ImmutableList<Type.Key>	Keys.OpKey.args
private final List<? extends Type.Key>	Keys.DataTypeKey.arguments
(package private) final Map<Type.Key,Type>	TypeSystem.typeByKey
private final Map<String,Pair<DataType,Type.Key>>	TypeSystem.typeConstructorByName
final SortedMap<String,Type.Key>	DataType.typeConstructors
private final SortedMap<String,Type.Key>	Keys.DataTypeKey.typeConstructors

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

Modifier and Type	Method	Description
static Type.Key	Keys.apply(Type.Key type, Iterable<? extends Type.Key> args)	Returns a key that applies a polymorphic type to arguments.
Type.Key	Keys.ApplyKey.copy(UnaryOperator<Type.Key> transform)
Type.Key	Keys.OpKey.copy(UnaryOperator<Type.Key> transform)
Type.Key	Keys.ProgressiveRecordKey.copy(UnaryOperator<Type.Key> transform)
Type.Key	Keys.RecordKey.copy(UnaryOperator<Type.Key> transform)
(package private) Type.Key	Type.Key.copy(UnaryOperator<Type.Key> transform)	Copies this key, applying a transform to constituent keys.
static Type.Key	Keys.dummy()	Returns a key to the dummy type.
static Type.Key	Keys.fn(Type.Key paramType, Type.Key resultType)	Returns a key that identifies a FnType.
static Type.Key	Keys.forall(Type type, int parameterCount)	Returns a key that identifies a ForallType.
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	ProgressiveRecordType.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.Key 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.progressiveRecord(SortedMap<String,? extends Type.Key> argNameTypes)	Returns a key that identifies a ProgressiveRecordType.
static Type.Key	Keys.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).
Type.Key	Keys.OrdinalKey.substitute(List<? extends Type> types)
(package private) Type.Key	Type.Key.substitute(List<? extends Type> types)	If this is a type variable ordinal, returns the ordinalth type in the list, otherwise this.
static Type.Key	Keys.toProgressive(Type.Key key)	Converts a record key to a progressive record key, leaves other keys unchanged.
static Type.Key	Keys.tuple(List<? extends Type.Key> args)	Returns a key that identifies a TupleType.
Type.Key	TypedValue.typeKey()	Key from which the type of this value can be constructed.

Methods in net.hydromatic.morel.type that return types with arguments of type Type.Key

Modifier and Type	Method	Description
Pair<DataType,Type.Key>	TypeSystem.lookupTyCon(String tyConName)
static List<Type.Key>	Keys.ordinals(int size)	Returns a list of keys for type variables 0 through size - 1.
(package private) static com.google.common.collect.ImmutableSortedMap<String,Type.Key>	TupleType.toArgNameTypeKeys(List<? extends Type> argTypes)	Given a list of types [t1, t2, ..., tn] returns a sorted map ["1" : t1.key, "2" : t2.key, ...
static List<Type.Key>	Keys.toKeys(List<? extends Type> types)	Converts a list of types to a list of keys.
static SortedMap<String,Type.Key>	Keys.toKeys(SortedMap<String,? extends Type> nameTypes)	Converts a map of types to a map of keys.

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

Modifier and Type	Method	Description
static Type.Key	Keys.apply(Type.Key type, Iterable<? extends Type.Key> args)	Returns a key that applies a polymorphic type to arguments.
static Type.Key	Keys.fn(Type.Key paramType, Type.Key resultType)	Returns a key that identifies a FnType.
static Type.Key	Keys.list(Type.Key elementType)	Returns a key that identifies a ListType.
static Type.Key	Keys.toProgressive(Type.Key key)	Converts a record key to a progressive record key, leaves other keys unchanged.
Type	TypeSystem.typeFor(Type.Key key)	Gets a type that matches a key, creating if necessary.
(package private) static StringBuilder	TypeSystem.unparse(StringBuilder builder, Type.Key type, int left, int right)

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

Modifier and Type	Method	Description
static Type.Key	Keys.apply(Type.Key type, Iterable<? extends Type.Key> args)	Returns a key that applies a polymorphic type to arguments.
Type.Key	Keys.ApplyKey.copy(UnaryOperator<Type.Key> transform)
Type.Key	Keys.OpKey.copy(UnaryOperator<Type.Key> transform)
Type.Key	Keys.ProgressiveRecordKey.copy(UnaryOperator<Type.Key> transform)
Type.Key	Keys.RecordKey.copy(UnaryOperator<Type.Key> transform)
(package private) Type.Key	Type.Key.copy(UnaryOperator<Type.Key> transform)	Copies this key, applying a transform to constituent keys.
static Keys.DataTypeKey	Keys.datatype(String name, List<? extends Type.Key> arguments, SortedMap<String,Type.Key> typeConstructors)	Returns a key that identifies a DataType.
static Keys.DataTypeKey	Keys.datatype(String name, List<? extends Type.Key> arguments, SortedMap<String,Type.Key> typeConstructors)	Returns a key that identifies a DataType.
(package private) DataType	TypeSystem.dataType(String name, List<? extends Type> argumentTypes, SortedMap<String,Type.Key> tyCons)	Creates an algebraic type.
Type	TypeSystem.dataTypeScheme(String name, List<TypeVar> parameters, SortedMap<String,Type.Key> tyCons)	Creates a data type scheme: a datatype if there are no type arguments (e.g.
(package private) static StringBuilder	Keys.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	Keys.progressiveRecord(SortedMap<String,? extends Type.Key> argNameTypes)	Returns a key that identifies a ProgressiveRecordType.
static Type.Key	Keys.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 Type.Key	Keys.tuple(List<? extends Type.Key> args)	Returns a key that identifies a TupleType.
List<Type>	TypeSystem.typesFor(Iterable<? extends Type.Key> keys)	Converts a list of keys to a list of types.
SortedMap<String,Type>	TypeSystem.typesFor(Map<String,? extends Type.Key> keys)	Converts a map of keys to a map of types.
(package private) static StringBuilder	TypeSystem.unparseList(StringBuilder builder, Op op, int left, int right, Collection<? extends Type.Key> argTypes)

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

Modifier	Constructor	Description
(package private)	ApplyKey(Type.Key key, com.google.common.collect.ImmutableList<Type.Key> args)

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

Modifier	Constructor	Description
(package private)	ApplyKey(Type.Key key, com.google.common.collect.ImmutableList<Type.Key> args)
(package private)	DataType(String name, String moniker, List<? extends Type> arguments, SortedMap<String,Type.Key> typeConstructors)	Creates a DataType.
protected	DataType(Op op, String name, String moniker, List<? extends Type> arguments, SortedMap<String,Type.Key> typeConstructors)	Called only from DataType constructor.
(package private)	DataTypeKey(String name, List<? extends Type.Key> arguments, SortedMap<String,Type.Key> typeConstructors)
(package private)	DataTypeKey(String name, List<? extends Type.Key> arguments, SortedMap<String,Type.Key> typeConstructors)
(package private)	OpKey(Op op, List<Type.Key> args)
(package private)	ProgressiveRecordKey(com.google.common.collect.ImmutableSortedMap<String,Type.Key> argNameTypes)
(package private)	RecordKey(com.google.common.collect.ImmutableSortedMap<String,Type.Key> argNameTypes)