Uses of Class
net.hydromatic.morel.type.TypeSystem

Packages that use TypeSystem

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 TypeSystem in net.hydromatic.morel.compile

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

Modifier and Type	Field	Description
(package private) TypeSystem	TypeResolver.TypeMap.typeSystem
(package private) TypeSystem	TypeResolver.typeSystem

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

Modifier and Type	Field	Description
private java.util.function.Function<TypeSystem,Unifier.Term>	TypeResolver.BindTypeEnv.termFactory
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 with parameters of type TypeSystem

Modifier and Type	Method	Description
private static java.lang.Iterable<Binding>	Compiles.bindings(TypeSystem typeSystem, java.util.Map<java.lang.String,ForeignValue> map)
static Environment	Compiles.createEnvironment(TypeSystem typeSystem, java.util.Map<java.lang.String,ForeignValue> valueMap)	Creates an environment containing the given foreign values.
static TypeResolver.Resolved	TypeResolver.deduceType(Environment env, Ast.Decl decl, TypeSystem typeSystem)	Deduces the type of a declaration.
static void	BuiltIn.forEachType(TypeSystem typeSystem, java.util.function.BiConsumer<java.lang.String,Type> consumer)	Calls a consumer once per value.
Unifier.Term	TypeResolver.BindTypeEnv.get(TypeSystem typeSystem, java.lang.String name)
Unifier.Term	TypeResolver.EmptyTypeEnv.get(TypeSystem typeSystem, java.lang.String name)
Unifier.Term	TypeResolver.TypeEnv.get(TypeSystem typeSystem, java.lang.String name)
private static CompiledStatement	Compiles.prepareDecl(TypeSystem typeSystem, Environment env, Ast.Decl decl)	Validates and compiles an declaration, and compiles it to code that can be evaluated by the interpreter.
static CompiledStatement	Compiles.prepareStatement(TypeSystem typeSystem, Environment env, AstNode statement)	Validates and compiles a statement (expression or declaration), and compiles it to code that can be evaluated by the interpreter.

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

Modifier and Type	Method	Description
TypeResolver.TypeEnv	TypeResolver.BindTypeEnv.bind(java.lang.String name, java.util.function.Function<TypeSystem,Unifier.Term> termFactory)
TypeResolver.TypeEnv	TypeResolver.EmptyTypeEnv.bind(java.lang.String name, java.util.function.Function<TypeSystem,Unifier.Term> termFactory)
TypeResolver.TypeEnv	TypeResolver.TypeEnv.bind(java.lang.String name, java.util.function.Function<TypeSystem,Unifier.Term> termFactory)

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

Constructor	Description
TypeMap(TypeSystem typeSystem, java.util.Map<AstNode,Unifier.Term> nodeTypeTerms, Unifier.Substitution substitution)
TypeResolver(TypeSystem typeSystem)

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

Constructor	Description
BindTypeEnv(java.lang.String definedName, java.util.function.Function<TypeSystem,Unifier.Term> termFactory, TypeResolver.TypeEnv parent)
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 TypeSystem in net.hydromatic.morel.eval

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

Modifier and Type	Method	Description
static Environment	Codes.env(TypeSystem typeSystem, Environment environment)	Creates a compilation environment.

Uses of TypeSystem in net.hydromatic.morel.foreign

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

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)

Uses of TypeSystem in net.hydromatic.morel.type

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

Modifier and Type	Field	Description
private TypeSystem	TypeSystem.TemporaryType.typeSystem

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

Modifier and Type	Method	Description
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)
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)

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

Constructor	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.
TemporaryType(TypeSystem typeSystem, java.lang.String name)