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 datatype of an element 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.
Core.Apply	CoreBuilder.call(TypeSystem typeSystem, BuiltIn builtIn, Type type, Pos pos, Core.Exp... args)	Calls a built-in function with one type parameter.
private static boolean	Core.Scan.canAssign(Type fromType, Type toType)	Returns whether you can assign a value of fromType to a variable of type toType.
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, @Nullable Core.Exp argument)
Core.Exp	CoreBuilder.extent(TypeSystem typeSystem, Type type, com.google.common.collect.RangeSet rangeSet)	Creates an extent.
Core.Exp	CoreBuilder.extent(TypeSystem typeSystem, Type type, Map<String,com.google.common.collect.ImmutableRangeSet> rangeSetMap)
Core.From	CoreBuilder.from(Type type, List<Core.FromStep> steps)
Core.Literal	CoreBuilder.functionLiteral(Type type, BuiltIn builtIn)	Creates a function literal.
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, ToIntFunction<String> 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, Supplier<String> 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.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)	Returns a copy of this pattern with a given type; or this pattern if the type is the same.

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

Modifier	Constructor	Description
(package private)	Aggregate(Type type, Core.Exp aggregate, @Nullable 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)	From(Type type, com.google.common.collect.ImmutableList<Core.FromStep> steps)
(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)	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 an AST node's data type.
private @Nullable Type	TypeResolver.getType(TypeResolver.TypeEnv env, Ast.Exp exp)
@Nullable Type	TypeMap.getTypeOpt(AstNode node)	Returns an AST node's data type, or null if no type is known.
@Nullable Type	TypeResolver.BindTypeEnv.getTypeOpt(String name)
@Nullable Type	TypeResolver.EmptyTypeEnv.getTypeOpt(String name)
@Nullable Type	TypeResolver.EnvironmentTypeEnv.getTypeOpt(String name)
@Nullable Type	TypeResolver.TypeEnv.getTypeOpt(String name)	Returns the datatype of a variable, 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.
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, Binding.Kind kind, Type type)
private static boolean	Pretty.canPrintTabular(Type type)	Can print a type in tabular format if it is a list of records.
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.
private Core.IdPat	Extents.Extent.createId(Type type, Core.Exp extent)
protected Supplier<Codes.RowSink>	Compiler.createRowSinkFactory(Compiler.Context cx0, Core.StepEnv stepEnv, List<Core.FromStep> steps, Type elementType)
private boolean	Pretty.customPrint(@NonNull StringBuilder buf, int indent, int[] lineEnd, int depth, Type type, Object o)	Tries to print a value using a custom formatter.
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(@NonNull StringBuilder buf, @NonNull Type type, @NonNull Object value)	Prints a value to a buffer.
private StringBuilder	Pretty.pretty1(@NonNull StringBuilder buf, int indent, int[] lineEnd, int depth, @NonNull Type type, @NonNull Object value, int leftPrec, int rightPrec)	Prints a value to a buffer.
private StringBuilder	Pretty.pretty2(@NonNull StringBuilder buf, int indent, int[] lineEnd, int depth, @NonNull Type type, @NonNull Object value, int leftPrec, int rightPrec)
private StringBuilder	Pretty.prettyCollectionType(StringBuilder buf, int[] lineEnd, int depth, Type type, Pretty.TypeVal typeVal, int leftPrec, int rightPrec, int indent2, String typeName)	Prints "list" and "bag" types in a similar way.
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(@NonNull StringBuilder buf, int indent, int[] lineEnd, int depth, @NonNull Type elementType, @NonNull List<Object> list)
private Type	CalciteCompiler.removeTypeVars(Type type)	Converts each type variable in a type to a dummy record type, {b: bool}.
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 Function<TypeSystem,Unifier.Term>	TypeResolver.TypeEnvHolder.typeToTerm(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, TriConsumer<String,Binding.Kind,Type> consumer)	Calls a consumer for each variable and its type.
private List<Unifier.Term>	TypeResolver.toTerms(Collection<? extends Type> types, TypeResolver.Subst subst)
private List<Unifier.Term>	TypeResolver.toTerms(List<? 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, @NonNull PrimitiveType preferredType, Function<TypeSystem,Type> typeFunction)
private	Resolver(TypeMap typeMap, NameGenerator nameGenerator, Map<Pair<Core.NamedPat,Type>,Core.NamedPat> variantIdMap, Map<String,Pair<Core.IdPat,List<Core.IdPat>>> resolvedOverloads, Environment env, @Nullable Session session, @Nullable Core.Exp current)

Uses of Type in net.hydromatic.morel.eval

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

Modifier and Type	Method	Description
(package private) Comparator	Comparators.ComparatorBuilder.comparatorFor(Type t2)
static Comparator	Comparators.comparatorFor(TypeSystem typeSystem, Type type)	Returns a comparator for a given type.
private Comparator	Comparators.ComparatorBuilder.comparatorFor1(Type type)
private Comparator	Comparators.ComparatorBuilder.comparatorFor2(Type type)
private Comparator<List>	Comparators.ComparatorBuilder.listComparator(Type elementType)
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.
Applicable	Codes.Comparer.withType(TypeSystem typeSystem, Type type)
Applicable	Codes.Typed.withType(TypeSystem typeSystem, Type type)

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(List<String> tablePath, org.apache.calcite.schema.Table table, TypeSystem typeSystem)
private Type	CalciteForeignValue.toType(org.apache.calcite.schema.SchemaPlus schema, 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.
private static Converters.C2m	Converters.C2m.forMorelCollection(Type type, org.apache.calcite.rel.type.RelDataTypeFactory typeFactory, boolean nullable, boolean recordList)
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	MultiType	Overloaded type.
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<BuiltIn.BuiltInType,Type>	TypeSystem.builtInTypes
final List<Type>	ParameterizedType.parameterTypes
(package private) final Map<Type.Key,Type>	TypeSystem.typeByKey
(package private) final Map<String,Type>	TypeSystem.typeByName
final List<Type>	MultiType.types
private Map<Integer,Type>	TypeUnifier.variables

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	DataType.arg(int i)
Type	ListType.arg(int i)
default Type	Type.arg(int i)	Returns the ith type parameter.
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	TypeSystem.bag(Type type)	Creates a "bag" type.
Type	TypeSystem.ForallHelper.bag(int i)	Creates type `i bag.
Type	TypeSystem.bagType(Type elementType)	Creates a bag type.
Type	MultiType.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> parameters, Map<String,Type.Key> tyCons)	Creates a data type scheme: a datatype if there are no type arguments (e.g
Type	TypeSystem.descending()	Returns the "descending" built-in data type.
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.lookup(BuiltIn.BuiltInType builtInType)	Looks up a built-in type.
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.order()	Returns the "order" built-in data type.
Type	TypeSystem.recordOrScalarType(Collection<Map.Entry<String,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.FnKey.toType(TypeSystem typeSystem)
Type	Keys.ForallKey.toType(TypeSystem typeSystem)
Type	Keys.ListKey.toType(TypeSystem typeSystem)
Type	Keys.MultiTypeKey.toType(TypeSystem typeSystem)
Type	Keys.NameKey.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.unqualified(Type type)	Removes any "forall" qualifier of a type, and renumbers the remaining type variables.
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()	Returns a map of the field types, keyed by field names.
SortedMap<String,Type>	RecordType.argNameTypes()
SortedMap<String,Type>	TupleType.argNameTypes()
default List<Type>	RecordLikeType.argTypes()	Returns a list of field types, ordered by field names.
List<Type>	TupleType.argTypes()
List<Type>	TypeSystem.dataTypes(List<Keys.DataTypeKey> keys)	Creates several data types simultaneously.
Map<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.
static @Nullable Map<Integer,Type>	TypeUnifier.unify(Type type1, Type type2)
default @Nullable Map<Integer,Type>	Type.unifyWith(Type type)

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)
Type	TypeSystem.bag(Type type)	Creates a "bag" type.
Type	TypeSystem.bagType(Type elementType)	Creates a bag type.
boolean	FnType.canCallArgOf(Type type)
boolean	ForallType.canCallArgOf(Type type)
default boolean	Type.canCallArgOf(Type type)	Whether this type is a function that can call an argument of given 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.
MultiType	TypeSystem.multi(Type... types)	Creates a multi-type from an array of types.
Type	TypeSystem.option(Type type)	Creates an "option" type.
private <E extends Comparable<E>> boolean	RangeExtent.populate(TypeSystem typeSystem, Type type, String path, Map<String,com.google.common.collect.ImmutableRangeSet> rangeSetMap, Consumer<E> consumer)	Populates a list (or other consumer) with all values of this type.
boolean	DataType.specializes(Type type)
boolean	ListType.specializes(Type type)
boolean	PrimitiveType.specializes(Type type)
boolean	RecordType.specializes(Type type)
boolean	TupleType.specializes(Type type)
default boolean	Type.specializes(Type type)	Whether this type is the same as, or a specialization of, a given type.
boolean	TypeVar.specializes(Type type)
private <E extends Comparable<E>> Iterable<E>	RangeExtent.toList(Type type, TypeSystem typeSystem)	Derives the collection of values in the range, or returns empty if the range is infinite.
(package private) boolean	TypeUnifier.tryUnify(Type type1, Type type2)
TupleType	TypeSystem.tupleType(Type argType0, Type... argTypes)	Creates a tuple type from an array of types.
static @Nullable Map<Integer,Type>	TypeUnifier.unify(Type type1, Type type2)
default @Nullable Map<Integer,Type>	Type.unifyWith(Type type)
Type	TypeSystem.unqualified(Type type)	Removes any "forall" qualifier of a type, and renumbers the remaining type variables.
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)
Type	MultiType.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, com.google.common.collect.ImmutableList<Type> argumentTypes, com.google.common.collect.ImmutableMap<String,Type.Key> tyCons)	Creates an algebraic type.
Type	TypeSystem.forallType(int typeCount, Function<TypeSystem.ForallHelper,Type> builder)	Creates a "forall" type.
MultiType	TypeSystem.multi(List<? extends Type> types)	Creates a multi-type.
ProgressiveRecordType	TypeSystem.progressiveRecordType(Collection<Map.Entry<String,Type>> argNameTypes)	Creates a progressive record type.
ProgressiveRecordType	TypeSystem.progressiveRecordType(SortedMap<String,Type> argNameTypes)	Creates a progressive record type.
Type	TypeSystem.recordOrScalarType(Collection<Map.Entry<String,Type>> argNameTypes)	Creates a record type, or returns a scalar type if argNameTypes has one entry.
RecordLikeType	TypeSystem.recordType(Collection<Map.Entry<String,Type>> argNameTypes)	Creates a record type.
RecordLikeType	TypeSystem.recordType(SortedMap<String,? extends Type> argNameTypes)	Creates a record type.
Type	ForallType.substitute(TypeSystem typeSystem, List<? extends Type> types)
(package private) Type.Key	Keys.DataTypeKey.substitute(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)
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(TypeSystem typeSystem, Type type, Map<String,com.google.common.collect.ImmutableRangeSet> rangeSetMap)	Creates a RangeExtent.

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

Modifier	Constructor	Description
protected	DataType(String name, String moniker, com.google.common.collect.ImmutableList<Type> arguments, com.google.common.collect.ImmutableMap<String,Type.Key> typeConstructors)	Creates a DataType.
(package private)	MultiType(Iterable<? extends Type> types)
(package private)	ProgressiveRecordType(SortedMap<String,Type> argNameTypes)	Creates a ProgressiveRecordType.
(package private)	RecordType(SortedMap<String,Type> argNameTypes)
(package private)	TupleType(List<? extends Type> argTypes)