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

Packages that use Type

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.foreign	Provides access to external data sources.
net.hydromatic.morel.type	Type system.

Uses of Type in net.hydromatic.morel.ast

Fields in net.hydromatic.morel.ast declared as Type

Modifier and Type	Field	Description
Type	Core.Aggregate.type
Type	Core.Exp.type
Type	Core.Pat.type

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

Modifier and Type	Method	Description
(package private) static Type	CoreBuilder.fromElementType(TypeSystem typeSystem, List<Core.FromStep> steps)	Returns the element type of a Core.From with the given steps.
Type	Core.Exp.type()	Returns the type.
Type	Core.Pat.type()	Returns the type.

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

Modifier and Type	Method	Description
Core.Aggregate	CoreBuilder.aggregate(Type type, Core.Exp aggregate, @Nullable Core.Exp argument)
Core.Apply	CoreBuilder.apply(Pos pos, Type type, Core.Exp fn, Core.Exp arg)
private Core.Exp	CoreBuilder.args(Type paramType, Core.Exp[] args)
Core.AsPat	CoreBuilder.asPat(Type type, String name, int i, Core.Pat pat)
Core.AsPat	CoreBuilder.asPat(Type type, String name, NameGenerator nameGenerator, Core.Pat pat)	Creates an AsPat with a given name, generating an ordinal to distinguish it from other declarations with the same name elsewhere in the program.
private Core.Apply	CoreBuilder.call(TypeSystem typeSystem, BuiltIn builtIn, Type type, Pos pos, Core.Exp... args)	Calls a built-in function with one type parameter.
Core.Case	CoreBuilder.caseOf(Type type, Core.Exp exp, Iterable<? extends Core.Match> matchList, Pos pos)
Core.ConPat	CoreBuilder.conPat(Type type, String tyCon, Core.Pat pat)
Core.ConPat	CoreBuilder.consPat(Type type, String tyCon, Core.Pat pat)
Core.Aggregate	Core.Aggregate.copy(Type type, Core.Exp aggregate, Core.Exp argument)
Core.IdPat	CoreBuilder.idPat(Type type, String name, int i)	Creates an IdPat with a given name and ordinal.
Core.IdPat	CoreBuilder.idPat(Type type, String name, NameGenerator nameGenerator)	Creates an IdPat with a given name, generating an ordinal to distinguish it from other declarations with the same name elsewhere in the program.
Core.IdPat	CoreBuilder.idPat(Type type, NameGenerator nameGenerator)	Creates an IdPat with a system-generated unique name.
Core.Exp	CoreBuilder.list(TypeSystem typeSystem, Type elementType, List<Core.Exp> args)	Creates a list.
Core.ListPat	CoreBuilder.listPat(Type type, Iterable<? extends Core.Pat> args)
Core.ListPat	CoreBuilder.listPat(Type type, Core.Pat... args)
Core.LiteralPat	CoreBuilder.literalPat(Op op, Type type, Comparable value)
Core.TuplePat	CoreBuilder.tuplePat(Type type, Iterable<? extends Core.Pat> args)
Core.TuplePat	CoreBuilder.tuplePat(Type type, Core.Pat... args)
Core.WildcardPat	CoreBuilder.wildcardPat(Type type)
Core.AsPat	Core.AsPat.withType(Type type)
Core.IdPat	Core.IdPat.withType(Type type)
abstract Core.NamedPat	Core.NamedPat.withType(Type type)

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

Constructor	Description
Aggregate(Type type, Core.Exp aggregate, Core.Exp argument)
Apply(Pos pos, Type type, Core.Exp fn, Core.Exp arg)
AsPat(Type type, String name, int i, Core.Pat pat)
Case(Pos pos, Type type, Core.Exp exp, com.google.common.collect.ImmutableList<Core.Match> matchList)
ConPat(Op op, Type type, String tyCon, Core.Pat pat)	Mostly-private constructor.
ConPat(Type type, String tyCon, Core.Pat pat)
Exp(Pos pos, Op op, Type type)
IdPat(Type type, String name, int i)
ListPat(Type type, com.google.common.collect.ImmutableList<Core.Pat> args)
Literal(Op op, Type type, Comparable value)	Creates a Literal.
LiteralPat(Op op, Type type, Comparable value)
NamedPat(Op op, Type type, String name, int i)
Pat(Op op, Type type)
TuplePat(Type type, com.google.common.collect.ImmutableList<Core.Pat> args)
WildcardPat(Type type)

Uses of Type in net.hydromatic.morel.compile

Fields in net.hydromatic.morel.compile declared as Type

Modifier and Type	Field	Description
(package private) Type	CalciteCompiler.VarData.type
(package private) Type	Pretty.TypedVal.type
Type	TypeResolver.DatatypeBindWorkspace.type

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

Modifier and Type	Field	Description
(package private) SortedMap<String,Type>	TypeResolver.DatatypeBindWorkspace.tyCons
Function<TypeSystem,Type>	BuiltIn.typeFunction	Derives a type, in a particular type system, for this constant or function.
private Map<Pair<Core.NamedPat,Type>,Core.NamedPat>	Resolver.variantIdMap	Contains variable declarations whose type at the point they are used is different (more specific) than in their declaration.

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

Modifier and Type	Method	Description
Type	CompiledStatement.getType()
Type	TypeMap.getType(AstNode node)	Returns the type of an AST node.
Type	TypeMap.getTypeOpt(AstNode node)	Returns the type of an AST node, or null if no type is known.
private Type	CalciteCompiler.removeTypeVars(Type type)	Converts each type variable in a type to a dummy record type, {b: bool}.
(package private) Type	TypeMap.termToType(Unifier.Term term)
private Type	TypeResolver.toType(Ast.Type type)
static Type	TypeResolver.toType(Ast.Type type, TypeSystem typeSystem)	Converts a type AST to a type.
private static Type	Pretty.unqualified(Type type)
Type	TypeMap.TermToTypeConverter.visit(Unifier.Sequence sequence)
Type	TypeMap.TermToTypeConverter.visit(Unifier.Variable variable)

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

Modifier and Type	Method	Description
private List<Type>	TypeResolver.toTypes(List<Ast.Type> typeList)

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

Modifier and Type	Method	Description
void	TypeResolver.TypeEnvHolder.accept(String name, Type type)
private Applicable	Compiler.compileApplicable(Compiler.Context cx, Core.Exp fn, Type argType, Pos pos)	Compiles a function value to an Applicable, if possible, or returns null.
protected Supplier<Codes.RowSink>	Compiler.createRowSinkFactory(Compiler.Context cx0, com.google.common.collect.ImmutableList<Binding> bindings, List<Core.FromStep> steps, Type elementType)
Core.Exp	Macro.expand(TypeSystem typeSystem, Environment env, Type argType)
protected Code	CalciteCompiler.finishCompileApply(Compiler.Context cx, Applicable fnValue, Code argCode, Type argType)
protected Code	CalciteCompiler.finishCompileApply(Compiler.Context cx, Code fnCode, Code argCode, Type argType)
protected Code	Compiler.finishCompileApply(Compiler.Context cx, Applicable fnValue, Code argCode, Type argType)
protected Code	Compiler.finishCompileApply(Compiler.Context cx, Code fnCode, Code argCode, Type argType)
protected Code	CalciteCompiler.finishCompileLet(Compiler.Context cx, List<Code> matchCodes_, Code resultCode_, Type resultType)
protected Code	Compiler.finishCompileLet(Compiler.Context cx, List<Code> matchCodes, Code resultCode, Type resultType)
private Ast.Exp	TypeResolver.infix(TypeResolver.TypeEnv env, Ast.InfixCall call, Unifier.Variable v, Type type)	Registers an infix operator whose type is a given type.
private org.apache.calcite.rex.RexNode	CalciteCompiler.morelApply(CalciteCompiler.RelContext cx, Type type, Type argType, org.apache.calcite.rex.RexNode fn, org.apache.calcite.rex.RexNode arg)
(package private) StringBuilder	Pretty.pretty(StringBuilder buf, Type type, Object value)	Prints a value to a buffer.
private StringBuilder	Pretty.pretty1(StringBuilder buf, int indent, int[] lineEnd, int depth, Type type, Object value)	Prints a value to a buffer.
private StringBuilder	Pretty.pretty2(StringBuilder buf, int indent, int[] lineEnd, int depth, Type type, List<? extends Type> argTypes, Object value)
private StringBuilder	Pretty.printList(StringBuilder buf, int indent, int[] lineEnd, int depth, Type elementType, List<Object> list)
private Type	CalciteCompiler.removeTypeVars(Type type)	Converts each type variable in a type to a dummy record type, {b: bool}.
private Applicable	Compiler.toApplicable(Compiler.Context cx, Object o, Type argType, Pos pos)
private Core.Pat	Resolver.toCore(Ast.Pat pat, Type targetType)
private Core.Pat	Resolver.toCore(Ast.Pat pat, Type type, Type targetType)	Converts a pattern to Core.
(package private) Code	CalciteCompiler.toRel4(Environment env, Code code, Type type)
private Unifier.Term	TypeResolver.toTerm(Type type, TypeResolver.Subst subst)
BuiltIn.DataTypeHelper	BuiltIn.DataTypeHelper.tyCon(String name, Type type)
private static Type	Pretty.unqualified(Type type)

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

Modifier and Type	Method	Description
static void	BuiltIn.forEach(TypeSystem typeSystem, BiConsumer<BuiltIn,Type> consumer)	Calls a consumer once per value.
static void	BuiltIn.forEachStructure(TypeSystem typeSystem, BiConsumer<BuiltIn.Structure,Type> consumer)	Calls a consumer once per structure.
void	Environment.forEachType(BiConsumer<String,Type> consumer)	Calls a consumer for each variable and its type.
private StringBuilder	Pretty.pretty2(StringBuilder buf, int indent, int[] lineEnd, int depth, Type type, List<? extends Type> argTypes, Object value)
private List<Unifier.Term>	TypeResolver.toTerms(Iterable<? extends Type> types, TypeResolver.Subst subst)

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

Constructor	Description
TypedVal(String name, Object o, Type type)
VarData(Type type, int offset, org.apache.calcite.rel.type.RelDataType rowType)

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

Constructor	Description
BuiltIn(@Nullable String structure, String mlName, @Nullable String alias, Function<TypeSystem,Type> typeFunction)
BuiltIn(@Nullable String structure, String mlName, @Nullable String alias, Function<TypeSystem,Type> typeFunction, @Nullable PrimitiveType preferredType)
BuiltIn(@Nullable String structure, String mlName, Function<TypeSystem,Type> typeFunction)
BuiltIn(@Nullable String structure, String mlName, PrimitiveType preferredType, Function<TypeSystem,Type> typeFunction)
Resolver(TypeMap typeMap, NameGenerator nameGenerator, Map<Pair<Core.NamedPat,Type>,Core.NamedPat> variantIdMap, Environment env)

Uses of Type in net.hydromatic.morel.eval

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

Modifier and Type	Method	Description
private static Core.Exp	Codes.sysEnv(TypeSystem typeSystem, Environment env, Type argType)
static Applicable	Codes.tyCon(Type dataType, String name)	Returns an applicable that constructs an instance of a datatype.

Uses of Type in net.hydromatic.morel.foreign

Fields in net.hydromatic.morel.foreign declared as Type

Modifier and Type	Field	Description
(package private) Type	Converters.FieldConverter.mlType
(package private) Type	Converters.C2m.morelType

Methods in net.hydromatic.morel.foreign that return Type

Modifier and Type	Method	Description
static Type	Converters.fieldType(org.apache.calcite.rel.type.RelDataTypeField field)
private Type	CalciteForeignValue.toType(org.apache.calcite.schema.SchemaPlus schema, TypeSystem typeSystem)
private Type	CalciteForeignValue.toType(org.apache.calcite.schema.Table table, TypeSystem typeSystem)
Type	CalciteForeignValue.type(TypeSystem typeSystem)
Type	ForeignValue.type(TypeSystem typeSystem)

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

Modifier and Type	Method	Description
Code	Calcite.code(Environment env, org.apache.calcite.rel.RelNode rel, Type type)	Creates a Code that evaluates a Calcite relational expression, converting it to Morel list type type.
(package private) static Converters.C2m	Converters.C2m.forMorel(Type type, org.apache.calcite.rel.type.RelDataTypeFactory typeFactory, boolean nullable, boolean recordList)	Creates a converter for a given Morel type, in the process deducing the corresponding Calcite type.
static <E> Function<E,Object>	Converters.forType(org.apache.calcite.rel.type.RelDataType fromType, Type type)
static Function<org.apache.calcite.linq4j.Enumerable<Object[]>,List<Object>>	Converters.fromEnumerable(org.apache.calcite.rel.RelNode rel, Type type)
(package private) static Converter<Object[]>	Converters.ofField2(Iterator<org.apache.calcite.rel.type.RelDataTypeField> fields, AtomicInteger ordinal, Type type)
(package private) static Converter<Object[]>	Converters.ofField3(org.apache.calcite.rel.type.RelDataTypeField field, AtomicInteger ordinal, Type type)
static Function<Object,Object>	Converters.toCalcite(Type type, org.apache.calcite.rel.type.RelDataTypeFactory typeFactory)	Returns a function that converts from Morel objects to Calcite objects.
static Function<Object,org.apache.calcite.linq4j.Enumerable<Object[]>>	Converters.toCalciteEnumerable(Type type, org.apache.calcite.rel.type.RelDataTypeFactory typeFactory)	Returns a function that converts from Morel objects to an Enumerable over Calcite rows.
static org.apache.calcite.rel.type.RelDataType	Converters.toCalciteType(Type type, org.apache.calcite.rel.type.RelDataTypeFactory typeFactory)
static Function<Object,Object>	Converters.toMorel(Type type, org.apache.calcite.rel.type.RelDataTypeFactory typeFactory)	Returns a function that converts from Calcite objects to Morel objects.

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

Modifier and Type	Method	Description
(package private) static Converter<Object[]>	Converters.ofRow3(Iterator<org.apache.calcite.rel.type.RelDataTypeField> fields, AtomicInteger ordinal, org.apache.calcite.linq4j.Enumerator<Type> types)

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

Constructor	Description
C2m(org.apache.calcite.rel.type.RelDataType calciteType, Type morelType)
FieldConverter(Type mlType)

Uses of Type in net.hydromatic.morel.type

Subinterfaces of Type in net.hydromatic.morel.type

Modifier and Type	Interface	Description
interface	NamedType	Type that has a name.
interface	RecordLikeType	A type that has named fields, as a record type does.

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

Modifier and Type	Class	Description
class	ApplyType	Type that is a polymorphic type applied to a set of types.
(package private) class	BaseType	Abstract implementation of Type.
class	DataType	Algebraic type.
class	DummyType	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.
class	FnType	The type of a function value.
class	ForallType	Universally quantified type.
class	ListType	The type of a list value.
class	ParameterizedType	Base class for types that accept type parameters.
class	PrimitiveType	Primitive type.
class	RecordType	The type of a record value.
class	TemporaryType	Placeholder for a type that is being recursively defined.
class	TupleType	The type of a tuple value.
class	TypeVar	Type variable (e.g.

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

Modifier and Type	Field	Description
Type	ListType.elementType
Type	FnType.paramType
Type	FnType.resultType
Type	ForallType.type
(package private) Type	Keys.ForallKey.type

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

Modifier and Type	Field	Description
(package private) com.google.common.collect.ImmutableSortedMap<String,Type>	Keys.RecordKey.argNameTypes
SortedMap<String,Type>	RecordType.argNameTypes
(package private) com.google.common.collect.ImmutableList<Type>	Keys.ApplyKey.argTypes
(package private) com.google.common.collect.ImmutableList<Type>	Keys.ForallTypeApplyKey.argTypes
(package private) com.google.common.collect.ImmutableList<Type>	Keys.OpKey.argTypes
List<Type>	TupleType.argTypes
(package private) Map<String,Type>	TypeSystem.internalTypeByName
List<Type>	ParameterizedType.parameterTypes
(package private) SortedMap<String,Type>	Keys.DataTypeDef.tyCons
(package private) Map<Type.Key,Type>	TypeSystem.typeByKey
(package private) Map<String,Type>	TypeSystem.typeByName
private Map<String,Pair<DataType,Type>>	TypeSystem.typeConstructorByName
SortedMap<String,Type>	DataType.typeConstructors
com.google.common.collect.ImmutableList<Type>	ApplyType.types
(package private) List<Type>	Keys.DataTypeDef.types

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

Modifier and Type	Method	Description
Type	TypeSystem.apply(Type type, List<Type> types)
Type	TypeSystem.apply(Type type, Type... types)
Type	PrimitiveType.argType(int i)
Type	RecordLikeType.argType(int i)	Returns the type of the ith field, or throws.
Type	RecordType.argType(int i)
Type	TupleType.argType(int i)
Type	ApplyType.copy(TypeSystem typeSystem, UnaryOperator<Type> transform)
Type	Type.copy(TypeSystem typeSystem, UnaryOperator<Type> transform)	Copies this type, applying a given transform to component types, and returning the original type if the component types are unchanged.
Type	TypeVar.copy(TypeSystem typeSystem, UnaryOperator<Type> transform)
Type	TypeSystem.dataTypeScheme(String name, List<TypeVar> typeParameters, SortedMap<String,Type> tyCons)	Creates a data type scheme: a datatype if there are no type arguments (e.g.
Type	TypeSystem.ensureClosed(Type type)	Converts a type into a ForallType if it has free type variables.
Type	TypeSystem.fnType(Type paramType, Type type1, Type type2, Type... moreTypes)	Creates a multi-step function type.
Type	TypeSystem.forallType(int typeCount, Function<TypeSystem.ForallHelper,Type> builder)	Creates a "forall" type.
private Type	TypeSystem.keyToType(Type.Key key)	Creates a type from a key.
Type	TypeSystem.lookup(String name)	Looks up a type by name.
Type	TypeSystem.lookupInternal(String name)	Looks up an internal type by name.
Type	TypeSystem.lookupOpt(String name)	Looks up a type by name, returning null if not found.
Type	TypeSystem.ForallHelper.option(int i)	Creates type `i option.
Type	TypeSystem.option(Type type)	Creates an "option" type.
Type	TypeSystem.recordOrScalarType(SortedMap<String,? extends Type> argNameTypes)	Creates a record type, or returns a scalar type if argNameTypes has one entry.
Type	DataType.substitute(TypeSystem typeSystem, List<? extends Type> types, TypeSystem.Transaction transaction)
default Type	Type.substitute(TypeSystem typeSystem, List<? extends Type> types, TypeSystem.Transaction transaction)	Returns a copy of this type, specialized by substituting type parameters.
Type	TypeVar.substitute(TypeSystem typeSystem, List<? extends Type> types, TypeSystem.Transaction transaction)
protected Type	DataType.substitute2(TypeSystem typeSystem, List<? extends Type> types, TypeSystem.Transaction transaction)	Second part of the implementation of DataType.substitute(TypeSystem, List, TypeSystem.Transaction), called if there is not already a type of the given description.
protected Type	TemporaryType.substitute2(TypeSystem typeSystem, List<? extends Type> types, TypeSystem.Transaction transaction)
Type	Keys.ApplyKey.toType(TypeSystem typeSystem)
Type	Keys.DataTypeKey.toType(TypeSystem typeSystem)
Type	Keys.ForallKey.toType(TypeSystem typeSystem)
Type	Keys.ForallTypeApplyKey.toType(TypeSystem typeSystem)
Type	Keys.NameKey.toType(TypeSystem typeSystem)
Type	Keys.OpKey.toType(TypeSystem typeSystem)
Type	Keys.OrdinalKey.toType(TypeSystem typeSystem)
Type	Keys.RecordKey.toType(TypeSystem typeSystem)
Type	Type.Key.toType(TypeSystem typeSystem)
Type	TypeSystem.typeFor(Type.Key key)	Gets a type that matches a key, creating if necessary.
Type	TypeSystem.ForallHelper.vector(int i)	Creates type `i vector.
Type	TypeSystem.vector(Type type)	Creates a "vector" type.
Type	TypeShuttle.visit(ApplyType applyType)
Type	TypeShuttle.visit(DataType dataType)
Type	TypeShuttle.visit(TypeVar typeVar)
private Type	TypeSystem.wrap(DataType dataType, Type type)

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

Modifier and Type	Method	Description
SortedMap<String,Type>	PrimitiveType.argNameTypes()
SortedMap<String,Type>	RecordLikeType.argNameTypes()
SortedMap<String,Type>	RecordType.argNameTypes()
SortedMap<String,Type>	TupleType.argNameTypes()
(package private) com.google.common.collect.ImmutableSortedMap<String,Type>	TypeSystem.copyTypeConstructors(SortedMap<String,Type> typeConstructors, UnaryOperator<Type> transform)
List<Type>	TypeSystem.dataTypes(List<Keys.DataTypeDef> defs)	Creates several data types simultaneously.
private List<Type>	TypeSystem.dataTypes(List<Keys.DataTypeDef> defs, TypeSystem.DataTypeFixer fixer)
Ord<Type>	RecordType.lookupField(String fieldName)	Returns the index of a given field, or -1.
Pair<DataType,Type>	TypeSystem.lookupTyCon(String tyConName)
(package private) static com.google.common.collect.ImmutableSortedMap<String,Type>	TupleType.toArgNameTypes(List<? extends Type> argTypes)	Given a list of types [t1, t2, ..., tn] returns a sorted map ["1" : t1, "2" : t2, ...

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

Modifier and Type	Method	Description
static Type.Key	Keys.apply(ParameterizedType type, Type... argTypes)	Returns a key that identifies an ApplyType, with an array of types.
Type	TypeSystem.apply(Type type, List<Type> types)
Type	TypeSystem.apply(Type type, Type... types)
void	TypeSystem.DataTypeFixer.apply(Type type, Map<Type.Key,Type> typeMap)
Type	TypeSystem.ensureClosed(Type type)	Converts a type into a ForallType if it has free type variables.
static Type.Key	Keys.fn(Type paramType, Type resultType)	Returns a key that identifies a FnType.
FnType	TypeSystem.fnType(Type paramType, Type resultType)	Creates a function type.
Type	TypeSystem.fnType(Type paramType, Type type1, Type type2, Type... moreTypes)	Creates a multi-step function type.
static Type.Key	Keys.forall(Type type, List<TypeVar> parameterTypes)	Returns a key that identifies a ForallType.
ForallType	TypeSystem.forallType(List<TypeVar> typeVars, Type type)	Creates a "for all" type.
static Type.Key	Keys.list(Type elementType)	Returns a key that identifies a ListType.
ListType	TypeSystem.listType(Type elementType)	Creates a list type.
Type	TypeSystem.option(Type type)	Creates an "option" type.
(package private) void	TypeSystem.TransactionImpl.put(String moniker, Type type)
TupleType	TypeSystem.tupleType(Type argType0, Type... argTypes)	Creates a tuple type from an array of types.
(package private) static StringBuilder	TypeSystem.unparse(StringBuilder builder, Type type, int left, int right)
Type	TypeSystem.vector(Type type)	Creates a "vector" type.
private Type	TypeSystem.wrap(DataType dataType, Type type)

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

Modifier and Type	Method	Description
static Type.Key	Keys.apply(ParameterizedType type, Iterable<? extends Type> argTypes)	Returns a key that identifies an ApplyType.
Type	TypeSystem.apply(Type type, List<Type> types)
void	TypeSystem.DataTypeFixer.apply(Type type, Map<Type.Key,Type> typeMap)
(package private) static String	ParameterizedType.computeMoniker(String name, List<? extends Type> typeVars)
Type	ApplyType.copy(TypeSystem typeSystem, UnaryOperator<Type> transform)
DataType	DataType.copy(TypeSystem typeSystem, UnaryOperator<Type> transform)
DummyType	DummyType.copy(TypeSystem typeSystem, UnaryOperator<Type> transform)
FnType	FnType.copy(TypeSystem typeSystem, UnaryOperator<Type> transform)
ForallType	ForallType.copy(TypeSystem typeSystem, UnaryOperator<Type> transform)
ListType	ListType.copy(TypeSystem typeSystem, UnaryOperator<Type> transform)
PrimitiveType	PrimitiveType.copy(TypeSystem typeSystem, UnaryOperator<Type> transform)
RecordType	RecordType.copy(TypeSystem typeSystem, UnaryOperator<Type> transform)
TemporaryType	TemporaryType.copy(TypeSystem typeSystem, UnaryOperator<Type> transform)
TupleType	TupleType.copy(TypeSystem typeSystem, UnaryOperator<Type> transform)
Type	Type.copy(TypeSystem typeSystem, UnaryOperator<Type> transform)	Copies this type, applying a given transform to component types, and returning the original type if the component types are unchanged.
Type	TypeVar.copy(TypeSystem typeSystem, UnaryOperator<Type> transform)
(package private) com.google.common.collect.ImmutableSortedMap<String,Type>	TypeSystem.copyTypeConstructors(SortedMap<String,Type> typeConstructors, UnaryOperator<Type> transform)
(package private) com.google.common.collect.ImmutableSortedMap<String,Type>	TypeSystem.copyTypeConstructors(SortedMap<String,Type> typeConstructors, UnaryOperator<Type> transform)
(package private) DataType	TypeSystem.dataType(String name, Type.Key key, List<? extends Type> types, SortedMap<String,Type> tyCons)
(package private) DataType	TypeSystem.dataType(String name, Type.Key key, List<? extends Type> types, SortedMap<String,Type> tyCons)
static Keys.DataTypeDef	Keys.dataTypeDef(String name, List<? extends Type> parameterTypes, SortedMap<String,Type> tyCons, boolean scheme)	Returns a definition of a DataType.
static Keys.DataTypeDef	Keys.dataTypeDef(String name, List<? extends Type> parameterTypes, SortedMap<String,Type> tyCons, boolean scheme)	Returns a definition of a DataType.
Type	TypeSystem.dataTypeScheme(String name, List<TypeVar> typeParameters, SortedMap<String,Type> tyCons)	Creates a data type scheme: a datatype if there are no type arguments (e.g.
Type	TypeSystem.forallType(int typeCount, Function<TypeSystem.ForallHelper,Type> builder)	Creates a "forall" type.
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.
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).
Type	TypeSystem.recordOrScalarType(SortedMap<String,? extends Type> argNameTypes)	Creates a record type, or returns a scalar type if argNameTypes has one entry.
RecordLikeType	TypeSystem.recordType(SortedMap<String,? extends Type> argNameTypes)	Creates a record type.
private static void	TypeSystem.setTypeConstructors(DataType dataType, com.google.common.collect.ImmutableSortedMap<String,Type> typeConstructors)	Sets the DataType.typeConstructors field of a newly constructed DataType.
Type	DataType.substitute(TypeSystem typeSystem, List<? extends Type> types, TypeSystem.Transaction transaction)
default Type	Type.substitute(TypeSystem typeSystem, List<? extends Type> types, TypeSystem.Transaction transaction)	Returns a copy of this type, specialized by substituting type parameters.
Type	TypeVar.substitute(TypeSystem typeSystem, List<? extends Type> types, TypeSystem.Transaction transaction)
protected Type	DataType.substitute2(TypeSystem typeSystem, List<? extends Type> types, TypeSystem.Transaction transaction)	Second part of the implementation of DataType.substitute(TypeSystem, List, TypeSystem.Transaction), called if there is not already a type of the given description.
protected Type	TemporaryType.substitute2(TypeSystem typeSystem, List<? extends Type> types, TypeSystem.Transaction transaction)
TemporaryType	TypeSystem.temporaryType(String name, List<? extends Type> parameterTypes, TypeSystem.Transaction transaction_, boolean withScheme)	Creates a temporary type.
(package private) static com.google.common.collect.ImmutableSortedMap<String,Type>	TupleType.toArgNameTypes(List<? extends Type> argTypes)	Given a list of types [t1, t2, ..., tn] returns a sorted map ["1" : t1, "2" : t2, ...
static Type.Key	Keys.tuple(List<? extends Type> argTypes)	Returns a key that identifies a TupleType.
RecordLikeType	TypeSystem.tupleType(List<? extends Type> argTypes)	Creates a tuple type.
(package private) static StringBuilder	TypeSystem.unparseList(StringBuilder builder, Op op, int left, int right, Collection<? extends Type> argTypes)

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

Constructor	Description
FnType(Type paramType, Type resultType)
ForallKey(Type type, com.google.common.collect.ImmutableList<TypeVar> parameterTypes)
ForallType(com.google.common.collect.ImmutableList<TypeVar> typeVars, Type type)
ListType(Type elementType)

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

Constructor	Description
ApplyKey(ParameterizedType type, com.google.common.collect.ImmutableList<Type> argTypes)
ApplyType(ParameterizedType type, com.google.common.collect.ImmutableList<Type> types)
DataType(String name, Type.Key key, List<? extends Type> parameterTypes, SortedMap<String,Type> typeConstructors)	Creates a DataType.
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.
DataType(Op op, String name, Type.Key key, List<? extends Type> parameterTypes, SortedMap<String,Type> typeConstructors)	Called only from DataType and TemporaryType constructor.
DataTypeDef(String name, com.google.common.collect.ImmutableList<Type> types, com.google.common.collect.ImmutableSortedMap<String,Type> tyCons, boolean scheme)
DataTypeDef(String name, com.google.common.collect.ImmutableList<Type> types, com.google.common.collect.ImmutableSortedMap<String,Type> tyCons, boolean scheme)
ForallTypeApplyKey(ForallType forallType, com.google.common.collect.ImmutableList<Type> argTypes)
OpKey(Op op, com.google.common.collect.ImmutableList<Type> argTypes)
ParameterizedType(Op op, String name, String moniker, List<? extends Type> parameterTypes)	Creates a ParameterizedType.
RecordKey(com.google.common.collect.ImmutableSortedMap<String,Type> argNameTypes)
RecordType(com.google.common.collect.ImmutableSortedMap<String,Type> argNameTypes)
TemporaryType(String name, List<? extends Type> parameterTypes)
TupleType(com.google.common.collect.ImmutableList<Type> argTypes)