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
final Type	Core.Aggregate.type
final Type	Core.Exp.type
final Type	Core.Pat.type

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

Modifier and Type	Method	Description
private 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)	Creates a Core.Apply.
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(Pos pos, Type type, Core.Exp exp, Iterable<? extends Core.Match> matchList)
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.Exp	CoreBuilder.extent(TypeSystem typeSystem, Type type, com.google.common.collect.RangeSet<Comparable> rangeSet)	Creates an extent.
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

Modifier	Constructor	Description
(package private)	Aggregate(Type type, Core.Exp aggregate, Core.Exp argument)
(package private)	Apply(Pos pos, Type type, Core.Exp fn, Core.Exp arg)
protected	AsPat(Type type, String name, int i, Core.Pat pat)
(package private)	Case(Pos pos, Type type, Core.Exp exp, com.google.common.collect.ImmutableList<Core.Match> matchList)
protected	ConPat(Op op, Type type, String tyCon, Core.Pat pat)	Mostly-private constructor.
(package private)	ConPat(Type type, String tyCon, Core.Pat pat)
(package private)	Exp(Pos pos, Op op, Type type)
(package private)	IdPat(Type type, String name, int i)
(package private)	ListPat(Type type, com.google.common.collect.ImmutableList<Core.Pat> args)
(package private)	Literal(Op op, Type type, Comparable value)	Creates a Literal.
(package private)	LiteralPat(Op op, Type type, Comparable value)
(package private)	NamedPat(Op op, Type type, String name, int i)
(package private)	Pat(Op op, Type type)
(package private)	TuplePat(Type type, com.google.common.collect.ImmutableList<Core.Pat> args)
(package private)	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) final Type	CalciteCompiler.VarData.type
(package private) final Type	Pretty.LabelVal.type
(package private) final Type	Pretty.TypedVal.type
(package private) final Type	Pretty.TypeVal.type

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

Modifier and Type	Field	Description
final Function<TypeSystem,Type>	BuiltIn.typeFunction	Derives a type, in a particular type system, for this constant or function.
private final 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)
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 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, int leftPrec, int rightPrec)	Prints a value to a buffer.
private StringBuilder	Pretty.pretty2(StringBuilder buf, int indent, int[] lineEnd, int depth, Type type, Object value, int leftPrec, int rightPrec)
private StringBuilder	Pretty.prettyType(StringBuilder buf, int indent, int[] lineEnd, int depth, Type type, Pretty.TypeVal typeVal, int leftPrec, int rightPrec)
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 static boolean	Resolver.subsumes(Type actualType, Type expectedType)	An actual type subsumes an expected type if it is equal or if progressive record types have been expanded.
private @Nullable 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)
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(TypeSystem typeSystem, BiConsumer<String,Type> consumer)	Calls a consumer for each variable and its type.
private List<Unifier.Term>	TypeResolver.toTerms(Iterable<? extends Type> types, TypeResolver.Subst subst)

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

Modifier	Constructor	Description
(package private)	LabelVal(String label, Type type)
(package private)	TypedVal(String name, Object o, Type type)
(package private)	TypeVal(String prefix, Type type)
(package private)	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

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

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) final Type	Converters.FieldConverter.mlType
(package private) final 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

Modifier	Constructor	Description
(package private)	C2m(org.apache.calcite.rel.type.RelDataType calciteType, Type morelType)
private	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
(package private) class	BaseType	Abstract implementation of Type.
class	DataType	Algebraic type.
enum	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.
enum	PrimitiveType	Primitive type.
class	ProgressiveRecordType	Progressive record type.
class	RecordType	Record type.
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
final Type	ListType.elementType
final Type	FnType.paramType
final Type	FnType.resultType
final Type	ForallType.type
(package private) final Type	Keys.ForallKey.type
final Type	RangeExtent.type

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

Modifier and Type	Field	Description
final SortedMap<String,Type>	RecordType.argNameTypes
final List<Type>	TupleType.argTypes
final List<Type>	DataType.arguments
(package private) final Map<String,Type>	TypeSystem.internalTypeByName
final List<Type>	ParameterizedType.parameterTypes
(package private) final Map<Type.Key,Type>	TypeSystem.typeByKey
(package private) final Map<String,Type>	TypeSystem.typeByName

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	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> parameters, SortedMap<String,Type.Key> 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.
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	ForallType.substitute(TypeSystem typeSystem, List<? extends Type> types)
default Type	Type.substitute(TypeSystem typeSystem, List<? extends Type> types)	Returns a copy of this type, specialized by substituting type parameters.
Type	TypeVar.substitute(TypeSystem typeSystem, List<? extends Type> types)
Type	Keys.ApplyKey.toType(TypeSystem typeSystem)
Type	Keys.ForallKey.toType(TypeSystem typeSystem)
Type	Keys.NameKey.toType(TypeSystem typeSystem)
Type	Keys.OpKey.toType(TypeSystem typeSystem)
Type	Keys.OrdinalKey.toType(TypeSystem typeSystem)
Type	Keys.ProgressiveRecordKey.toType(TypeSystem typeSystem)
Type	Keys.RecordKey.toType(TypeSystem typeSystem)
abstract Type	Type.Key.toType(TypeSystem typeSystem)	Converts this key to a type, and ensures that it is registered in the type system.
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(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()
List<Type>	TypeSystem.dataTypes(List<Keys.DataTypeKey> keys)	Creates several data types simultaneously.
SortedMap<String,Type>	DataType.typeConstructors(TypeSystem typeSystem)
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.

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

Modifier and Type	Method	Description
Type	TypeSystem.apply(Type type, List<Type> types)
Type	TypeSystem.apply(Type type, Type... types)
private com.google.common.collect.DiscreteDomain<? extends Comparable>	RangeExtent.discreteDomain(Type type)
Type	TypeSystem.ensureClosed(Type type)	Converts a type into a ForallType if it has free type variables.
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, int parameterCount)	Returns a key that identifies a ForallType.
ForallType	TypeSystem.forallType(int typeCount, Type type)	Creates a "for all" type.
ListType	TypeSystem.listType(Type elementType)	Creates a list type.
Type	TypeSystem.option(Type type)	Creates an "option" type.
private Iterable	RangeExtent.toIterable(Type type, com.google.common.collect.Range range)	Returns the collection of values in the range.
private Iterable	RangeExtent.toIterable(Type type, com.google.common.collect.RangeSet<?> rangeSet)	Returns the collection of values in the range.
TupleType	TypeSystem.tupleType(Type argType0, Type... argTypes)	Creates a tuple type from an array of types.
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
Type	TypeSystem.apply(Type type, List<Type> types)
(package private) static String	ParameterizedType.computeMoniker(String name, List<? extends Type> typeVars)
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)
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) DataType	TypeSystem.dataType(String name, List<? extends Type> argumentTypes, SortedMap<String,Type.Key> tyCons)	Creates an algebraic type.
Type	TypeSystem.forallType(int typeCount, Function<TypeSystem.ForallHelper,Type> builder)	Creates a "forall" type.
ProgressiveRecordType	TypeSystem.progressiveRecordType(SortedMap<String,? extends Type> argNameTypes)	Creates a progressive record type.
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.
Type	ForallType.substitute(TypeSystem typeSystem, List<? extends Type> types)
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.
default Type	Type.substitute(TypeSystem typeSystem, List<? extends Type> types)	Returns a copy of this type, specialized by substituting type parameters.
Type	TypeVar.substitute(TypeSystem typeSystem, List<? extends Type> types)
(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.
RecordLikeType	TypeSystem.tupleType(List<? extends Type> argTypes)	Creates a tuple type.

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

Modifier	Constructor	Description
(package private)	FnType(Type paramType, Type resultType)
(package private)	ForallKey(Type type, int parameterCount)
(package private)	ForallType(int parameterCount, Type type)
(package private)	ListType(Type elementType)
	RangeExtent(com.google.common.collect.RangeSet rangeSet, Type type)	Creates a RangeExtent.

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

Modifier	Constructor	Description
(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)	ProgressiveRecordType(SortedMap<String,Type> argNameTypes)	Creates a ProgressiveRecordType.
(package private)	RecordType(SortedMap<String,Type> argNameTypes)
(package private)	TupleType(List<? extends Type> argTypes)