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

Packages that use Type

Package	Description
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.compile

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

Modifier and Type	Field	Description
(package private) Type	Pretty.TypedVal.type

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

Modifier and Type	Field	Description
java.util.function.Function<TypeSystem,Type>	BuiltIn.typeFunction	Derives a type, in a particular type system, for this constant or function.

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

Modifier and Type	Method	Description
Type	CompiledStatement.getType()
Type	TypeResolver.TypeMap.getType(AstNode node)	Returns a type of an AST node.
private Type	TypeResolver.TypeMap.termToType(Unifier.Term term)
private Type	TypeResolver.toType(Ast.Type type)
Type	TypeResolver.TermToTypeConverter.visit(Unifier.Sequence sequence)
Type	TypeResolver.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 java.util.List<Type>	TypeResolver.toTypes(java.util.List<Ast.Type> typeList)

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

Modifier and Type	Method	Description
void	TypeResolver.TypeEnvHolder.accept(java.lang.String name, Type type)
Environment	Environment.bind(java.lang.String name, Type type, java.lang.Object value)	Creates an environment that is the same as a given environment, plus one more variable.
private void	Compiler.compileTyCon(Environment env, Type dataType, Ast.TyCon tyCon, java.util.List<Binding> bindings)
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 Ast.Exp	TypeResolver.infixOverloaded(TypeResolver.TypeEnv env, Ast.InfixCall call, Unifier.Variable v, Type defaultType)	Registers an infix or prefix operator whose type is the same as its arguments.
private Ast.Exp	TypeResolver.opOverloaded(TypeResolver.TypeEnv env, Ast.Exp call, Unifier.Variable v, Type defaultType)	Registers an infix or prefix operator whose type is the same as its arguments.
private Ast.Exp	TypeResolver.prefixOverloaded(TypeResolver.TypeEnv env, Ast.PrefixCall call, Unifier.Variable v, Type defaultType)	Registers an infix or prefix operator whose type is the same as its arguments.
(package private) static java.lang.StringBuilder	Pretty.pretty(java.lang.StringBuilder buf, Type type, java.lang.Object value)	Prints a value to a buffer.
private static java.lang.StringBuilder	Pretty.pretty1(java.lang.StringBuilder buf, int indent, int[] lineEnd, int depth, Type type, java.lang.Object value)	Prints a value to a buffer.
private static java.lang.StringBuilder	Pretty.pretty2(java.lang.StringBuilder buf, int indent, int[] lineEnd, int depth, Type type, java.lang.Object value)
private Unifier.Term	TypeResolver.toTerm(Type type, TypeResolver.Subst subst)

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

Modifier and Type	Method	Description
static void	BuiltIn.forEachType(TypeSystem typeSystem, java.util.function.BiConsumer<java.lang.String,Type> consumer)	Calls a consumer once per value.
void	Environment.forEachType(java.util.function.BiConsumer<java.lang.String,Type> consumer)	Calls a consumer for each variable and its type.
private java.util.List<Unifier.Term>	TypeResolver.toTerms(java.lang.Iterable<? extends Type> types, TypeResolver.Subst subst)

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

Constructor	Description
TypedVal(java.lang.String name, java.lang.Object o, Type type)

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

Constructor	Description
BuiltIn(java.lang.String mlName, java.lang.String alias, java.util.function.Function<TypeSystem,Type> typeFunction)
BuiltIn(java.lang.String mlName, java.util.function.Function<TypeSystem,Type> typeFunction)

Uses of Type in net.hydromatic.morel.eval

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

Modifier and Type	Method	Description
static Applicable	Codes.tyCon(Type dataType, java.lang.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	CalciteForeignValue.FieldConverter.mlType

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

Modifier and Type	Method	Description
private Type	CalciteForeignValue.toType(org.apache.calcite.schema.Table table, TypeSystem typeSystem)
Type	CalciteForeignValue.type(TypeSystem typeSystem)
Type	ForeignValue.type(TypeSystem typeSystem)

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

Constructor	Description
FieldConverter(Type mlType, int ordinal)

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.

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	PrimitiveType	Primitive type.
class	RecordType	The type of a record value.
class	TupleType	The type of a tuple value.
static class	TypeSystem.TemporaryType	Placeholder for a type that is being recursively defined.
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	ApplyType.type
Type	Binding.type
Type	ForallType.type

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

Modifier and Type	Field	Description
java.util.SortedMap<java.lang.String,Type>	RecordType.argNameTypes
java.util.List<Type>	TupleType.argTypes
private java.util.Map<java.lang.String,Type>	TypeSystem.typeByName
private java.util.Map<java.lang.String,Pair<DataType,Type>>	TypeSystem.typeConstructorByName
java.util.SortedMap<java.lang.String,Type>	DataType.typeConstructors
com.google.common.collect.ImmutableList<Type>	ApplyType.types

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

Modifier and Type	Method	Description
Type	TypeSystem.apply(Type type, java.util.List<Type> types)
Type	ApplyType.copy(TypeSystem typeSystem, java.util.function.Function<Type,Type> transform)
Type	DataType.copy(TypeSystem typeSystem, java.util.function.Function<Type,Type> transform)
Type	DummyType.copy(TypeSystem typeSystem, java.util.function.Function<Type,Type> transform)
Type	FnType.copy(TypeSystem typeSystem, java.util.function.Function<Type,Type> transform)
Type	ForallType.copy(TypeSystem typeSystem, java.util.function.Function<Type,Type> transform)
Type	ListType.copy(TypeSystem typeSystem, java.util.function.Function<Type,Type> transform)
Type	PrimitiveType.copy(TypeSystem typeSystem, java.util.function.Function<Type,Type> transform)
Type	RecordType.copy(TypeSystem typeSystem, java.util.function.Function<Type,Type> transform)
Type	TupleType.copy(TypeSystem typeSystem, java.util.function.Function<Type,Type> transform)
Type	Type.copy(TypeSystem typeSystem, java.util.function.Function<Type,Type> transform)	Copies this type, applying a given transform to component types, and returning the original type if the component types are unchanged.
Type	TypeSystem.TemporaryType.copy(TypeSystem typeSystem, java.util.function.Function<Type,Type> transform)
Type	TypeVar.copy(TypeSystem typeSystem, java.util.function.Function<Type,Type> transform)
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, java.util.function.Function<TypeSystem.ForallHelper,Type> builder)	Creates a "forall" type.
Type	TypeSystem.forallType(java.lang.Iterable<TypeVar> typeVars, Type type)	Creates a "forall" type.
Type	TypeSystem.lookup(java.lang.String name)	Looks up a type by name.
Type	TypeSystem.lookupOpt(java.lang.String name)	Looks up a type by name, returning null if not found.
Type	TypeSystem.recordType(java.util.SortedMap<java.lang.String,? extends Type> argNameTypes)	Creates a record type.
Type	TypeSystem.tupleType(java.util.List<? extends Type> argTypes)	Creates a tuple type.
Type	TypeSystem.tupleType(Type... argTypes)	Creates a tuple type from an array of types.

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

Modifier and Type	Method	Description
private com.google.common.collect.ImmutableSortedMap<java.lang.String,Type>	DataType.copyTypes(TypeSystem typeSystem, java.util.SortedMap<java.lang.String,Type> typeConstructors, java.util.function.Function<Type,Type> transform)
Pair<DataType,Type>	TypeSystem.lookupTyCon(java.lang.String tyConName)

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

Modifier and Type	Method	Description
Type	TypeSystem.apply(Type type, java.util.List<Type> types)
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.
Type	TypeSystem.forallType(java.lang.Iterable<TypeVar> typeVars, Type type)	Creates a "forall" type.
ListType	TypeSystem.listType(Type elementType)	Creates a list type.
Type	TypeSystem.tupleType(Type... argTypes)	Creates a tuple type from an array of types.
private static java.lang.StringBuilder	TypeSystem.unparse(java.lang.StringBuilder builder, Type type, int left, int right)

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

Modifier and Type	Method	Description
Type	TypeSystem.apply(Type type, java.util.List<Type> types)
(package private) static java.lang.String	DataType.computeDescription(java.util.Map<java.lang.String,Type> tyCons)
Type	ApplyType.copy(TypeSystem typeSystem, java.util.function.Function<Type,Type> transform)
Type	ApplyType.copy(TypeSystem typeSystem, java.util.function.Function<Type,Type> transform)
Type	DataType.copy(TypeSystem typeSystem, java.util.function.Function<Type,Type> transform)
Type	DataType.copy(TypeSystem typeSystem, java.util.function.Function<Type,Type> transform)
Type	DummyType.copy(TypeSystem typeSystem, java.util.function.Function<Type,Type> transform)
Type	DummyType.copy(TypeSystem typeSystem, java.util.function.Function<Type,Type> transform)
Type	FnType.copy(TypeSystem typeSystem, java.util.function.Function<Type,Type> transform)
Type	FnType.copy(TypeSystem typeSystem, java.util.function.Function<Type,Type> transform)
Type	ForallType.copy(TypeSystem typeSystem, java.util.function.Function<Type,Type> transform)
Type	ForallType.copy(TypeSystem typeSystem, java.util.function.Function<Type,Type> transform)
Type	ListType.copy(TypeSystem typeSystem, java.util.function.Function<Type,Type> transform)
Type	ListType.copy(TypeSystem typeSystem, java.util.function.Function<Type,Type> transform)
Type	PrimitiveType.copy(TypeSystem typeSystem, java.util.function.Function<Type,Type> transform)
Type	PrimitiveType.copy(TypeSystem typeSystem, java.util.function.Function<Type,Type> transform)
Type	RecordType.copy(TypeSystem typeSystem, java.util.function.Function<Type,Type> transform)
Type	RecordType.copy(TypeSystem typeSystem, java.util.function.Function<Type,Type> transform)
Type	TupleType.copy(TypeSystem typeSystem, java.util.function.Function<Type,Type> transform)
Type	TupleType.copy(TypeSystem typeSystem, java.util.function.Function<Type,Type> transform)
Type	Type.copy(TypeSystem typeSystem, java.util.function.Function<Type,Type> transform)	Copies this type, applying a given transform to component types, and returning the original type if the component types are unchanged.
Type	Type.copy(TypeSystem typeSystem, java.util.function.Function<Type,Type> transform)	Copies this type, applying a given transform to component types, and returning the original type if the component types are unchanged.
Type	TypeSystem.TemporaryType.copy(TypeSystem typeSystem, java.util.function.Function<Type,Type> transform)
Type	TypeSystem.TemporaryType.copy(TypeSystem typeSystem, java.util.function.Function<Type,Type> transform)
Type	TypeVar.copy(TypeSystem typeSystem, java.util.function.Function<Type,Type> transform)
Type	TypeVar.copy(TypeSystem typeSystem, java.util.function.Function<Type,Type> transform)
private com.google.common.collect.ImmutableSortedMap<java.lang.String,Type>	DataType.copyTypes(TypeSystem typeSystem, java.util.SortedMap<java.lang.String,Type> typeConstructors, java.util.function.Function<Type,Type> transform)
private com.google.common.collect.ImmutableSortedMap<java.lang.String,Type>	DataType.copyTypes(TypeSystem typeSystem, java.util.SortedMap<java.lang.String,Type> typeConstructors, java.util.function.Function<Type,Type> transform)
private com.google.common.collect.ImmutableSortedMap<java.lang.String,Type>	DataType.copyTypes(TypeSystem typeSystem, java.util.SortedMap<java.lang.String,Type> typeConstructors, java.util.function.Function<Type,Type> transform)
DataType	TypeSystem.dataType(java.lang.String name, java.util.List<TypeVar> typeVars, java.util.Map<java.lang.String,Type> tyCons)	Creates a data type.
Type	TypeSystem.forallType(int typeCount, java.util.function.Function<TypeSystem.ForallHelper,Type> builder)	Creates a "forall" type.
Type	TypeSystem.recordType(java.util.SortedMap<java.lang.String,? extends Type> argNameTypes)	Creates a record type.
Type	TypeSystem.tupleType(java.util.List<? extends Type> argTypes)	Creates a tuple type.
private static java.lang.StringBuilder	TypeSystem.unparseList(java.lang.StringBuilder builder, Op op, int left, int right, java.util.List<? extends Type> argTypes)

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

Constructor	Description
ApplyType(Type type, com.google.common.collect.ImmutableList<Type> types, java.lang.String description)
Binding(java.lang.String name, Type type, java.lang.Object value)
FnType(java.lang.String description, Type paramType, Type resultType)
ForallType(java.lang.String description, com.google.common.collect.ImmutableList<TypeVar> typeVars, Type type)
ListType(java.lang.String description, Type elementType)

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

Constructor	Description
ApplyType(Type type, com.google.common.collect.ImmutableList<Type> types, java.lang.String description)
DataType(TypeSystem typeSystem, java.lang.String name, java.lang.String description, java.util.List<TypeVar> typeVars, java.util.SortedMap<java.lang.String,Type> typeConstructors)	Creates a DataType.
RecordType(java.lang.String description, com.google.common.collect.ImmutableSortedMap<java.lang.String,Type> argNameTypes)
TupleType(java.lang.String description, com.google.common.collect.ImmutableList<Type> argTypes)