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

Packages that use TypeSystem

Package	Description
net.hydromatic.morel	Standard ML interpreter, implemented in Java.
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 TypeSystem in net.hydromatic.morel

Fields in net.hydromatic.morel declared as TypeSystem

Modifier and Type	Field	Description
(package private) TypeSystem	Main.typeSystem
private TypeSystem	Shell.SubShell.typeSystem

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

Constructor	Description
SubShell(int depth, int maxDepth, Shell.LineFn lineFn, boolean echo, TypeSystem typeSystem, Environment env, Consumer<String> outLines, Session session, File directory)

Uses of TypeSystem in net.hydromatic.morel.ast

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

Modifier and Type	Field	Description
private TypeSystem	FromBuilder.typeSystem
protected TypeSystem	Shuttle.typeSystem

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

Modifier and Type	Method	Description
Core.Exp	CoreBuilder.andAlso(TypeSystem typeSystem, Core.Exp a0, Core.Exp a1)
private Core.Apply	CoreBuilder.call(TypeSystem typeSystem, BuiltIn builtIn, Core.Exp... args)	Calls a built-in function.
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.Exp	Core.From.copy(TypeSystem typeSystem, Environment env, List<Core.FromStep> steps)
Core.ListPat	Core.ListPat.copy(TypeSystem typeSystem, List<Core.Pat> args)
Core.Pat	Core.RecordPat.copy(TypeSystem typeSystem, Set<String> argNames, List<Core.Pat> args)
Core.Tuple	Core.Tuple.copy(TypeSystem typeSystem, List<Core.Exp> args)
Core.TuplePat	Core.TuplePat.copy(TypeSystem typeSystem, List<Core.Pat> args)
Core.Exp	CoreBuilder.elem(TypeSystem typeSystem, Core.Exp a0, Core.Exp a1)
Core.Exp	CoreBuilder.equal(TypeSystem typeSystem, Core.Exp a0, Core.Exp a1)
Core.Exp	CoreBuilder.field(TypeSystem typeSystem, Core.Exp exp, int slot)	Creates a reference to the slotth field of an expression, "#slot exp".
Core.From	CoreBuilder.from(TypeSystem typeSystem, List<Core.FromStep> steps)	Derives the result type, then calls CoreBuilder.from(ListType, List).
FromBuilder	CoreBuilder.fromBuilder(TypeSystem typeSystem)	Creates a builder that will create a Core.From but does not validate.
FromBuilder	CoreBuilder.fromBuilder(TypeSystem typeSystem, @Nullable Environment env)	Creates a builder that will create a Core.From.
(package private) static Type	CoreBuilder.fromElementType(TypeSystem typeSystem, List<Core.FromStep> steps)	Returns the element type of a Core.From with the given steps.
Core.Literal	CoreBuilder.functionLiteral(TypeSystem typeSystem, BuiltIn builtIn)	Creates a function literal.
Core.Exp	CoreBuilder.greaterThan(TypeSystem typeSystem, Core.Exp a0, Core.Exp a1)
Core.Exp	CoreBuilder.implicitYieldExp(TypeSystem typeSystem, List<Core.FromStep> steps)	Returns what would be the yield expression if we created a Core.From from the given steps.
Core.Exp	CoreBuilder.lessThan(TypeSystem typeSystem, Core.Exp a0, Core.Exp a1)
Core.Exp	CoreBuilder.list(TypeSystem typeSystem, Type elementType, List<Core.Exp> args)	Creates a list.
Core.ListPat	CoreBuilder.listPat(TypeSystem typeSystem, List<Core.Pat> args)
Core.Exp	CoreBuilder.only(TypeSystem typeSystem, Pos pos, Core.Exp a0)
Core.Exp	CoreBuilder.orElse(TypeSystem typeSystem, Core.Exp a0, Core.Exp a1)
Core.Exp	CoreBuilder.record(TypeSystem typeSystem, Map<String,? extends Core.Exp> nameExps)	Creates a record.
Core.Pat	CoreBuilder.recordPat(TypeSystem typeSystem, Set<String> argNames, List<Core.Pat> args)
Core.RecordSelector	CoreBuilder.recordSelector(TypeSystem typeSystem, RecordLikeType recordType, int slot)
Core.RecordSelector	CoreBuilder.recordSelector(TypeSystem typeSystem, RecordLikeType recordType, String fieldName)
Core.Tuple	CoreBuilder.tuple(TypeSystem typeSystem, @Nullable RecordLikeType type, Iterable<? extends Core.Exp> args)	As CoreBuilder.tuple(RecordLikeType, Iterable), but derives type.
Core.TuplePat	CoreBuilder.tuplePat(TypeSystem typeSystem, List<Core.Pat> args)
Core.Yield	CoreBuilder.yield_(TypeSystem typeSystem, Core.Exp exp)	Derives bindings, then calls CoreBuilder.yield_(List, Core.Exp).

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

Constructor	Description
FromBuilder(TypeSystem typeSystem, @Nullable Environment env)	Use CoreBuilder.fromBuilder(net.hydromatic.morel.type.TypeSystem, net.hydromatic.morel.compile.Environment).
Shuttle(TypeSystem typeSystem)	Creates a Shuttle.

Uses of TypeSystem in net.hydromatic.morel.compile

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

Modifier and Type	Field	Description
protected TypeSystem	Compiler.typeSystem
private TypeSystem	Compiles.PatternBinder.typeSystem
(package private) TypeSystem	EnvVisitor.typeSystem
(package private) TypeSystem	PatternCoverageChecker.typeSystem
private TypeSystem	Pretty.typeSystem
TypeSystem	TypeMap.typeSystem
private TypeSystem	TypeResolver.typeSystem

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

Modifier and Type	Field	Description
private Function<TypeSystem,Unifier.Term>	TypeResolver.BindTypeEnv.termFactory
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
static void	Compiles.acceptBinding(TypeSystem typeSystem, Core.Pat pat, List<Binding> bindings)	Visits a pattern, adding bindings to a list.
static Analyzer.Analysis	Analyzer.analyze(TypeSystem typeSystem, Environment env, AstNode node)	Analyzes an expression.
static void	Compiles.bindDataType(TypeSystem typeSystem, List<Binding> bindings, DataType dataType)
(package private) static Compiles.PatternBinder	Compiles.binding(TypeSystem typeSystem, List<Binding> bindings)
(package private) static void	Compiles.bindPattern(TypeSystem typeSystem, List<Binding> bindings, Core.DatatypeDecl datatypeDecl)
(package private) static void	Compiles.bindPattern(TypeSystem typeSystem, List<Binding> bindings, Core.NamedPat namedPat)
(package private) static void	Compiles.bindPattern(TypeSystem typeSystem, List<Binding> bindings, Core.Pat pat)
(package private) static void	Compiles.bindPattern(TypeSystem typeSystem, List<Binding> bindings, Core.ValDecl valDecl)	Richer than Compiles.bindPattern(TypeSystem, List, Core.Pat) because we have the expression.
private static void	Compiles.checkPatternCoverage(TypeSystem typeSystem, Core.Case kase, Consumer<CompileException> errorConsumer, Consumer<CompileException> warningConsumer)
private static void	Compiles.checkPatternCoverage(TypeSystem typeSystem, Core.Decl decl, Consumer<CompileException> warningConsumer)	Checks for exhaustive and redundant patterns, and throws if there are errors/warnings.
static void	BuiltIn.dataTypes(TypeSystem typeSystem, List<Binding> bindings)	Defines built-in datatype and eqtype instances, e.g.
static TypeResolver.Resolved	TypeResolver.deduceType(Environment env, Ast.Decl decl, TypeSystem typeSystem)	Deduces the type of a declaration.
private static void	BuiltIn.defineDataType(TypeSystem ts, List<Binding> bindings, String name, boolean internal, int varCount, UnaryOperator<BuiltIn.DataTypeHelper> transform)
private static void	BuiltIn.defineEqType(TypeSystem ts, String name, int varCount)
private static Environment	Environments.env(Environment environment, TypeSystem typeSystem, Map<String,ForeignValue> valueMap)	Creates a compilation environment, including built-ins and foreign values.
static Environment	Environments.env(TypeSystem typeSystem, Map<String,ForeignValue> valueMap)	Creates an environment containing built-ins and the given foreign values.
Core.Exp	Macro.expand(TypeSystem typeSystem, Environment env, Type argType)
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.
private static void	Environments.foreignBindings(TypeSystem typeSystem, Map<String,ForeignValue> map, List<Binding> bindings)
Unifier.Term	TypeResolver.BindTypeEnv.get(TypeSystem typeSystem, String name, Function<String,RuntimeException> exceptionFactory)
Unifier.Term	TypeResolver.EmptyTypeEnv.get(TypeSystem typeSystem, String name, Function<String,RuntimeException> exceptionFactory)
Unifier.Term	TypeResolver.TypeEnv.get(TypeSystem typeSystem, String name, Function<String,RuntimeException> exceptionFactory)
(package private) static boolean	PatternCoverageChecker.isCoveredBy(TypeSystem typeSystem, List<Core.Pat> prevPatList, Core.Pat pat)	Returns whether every possible value that could be matched by pattern pat would already have been matched by one or more of prevPatList.
(package private) static boolean	PatternCoverageChecker.isExhaustive(TypeSystem typeSystem, List<Core.Pat> patList)	Returns whether a list of patterns covers every possible value.
private static Analyzer	Analyzer.of(TypeSystem typeSystem, Environment env)	Creates an Analyzer.
static Inliner	Inliner.of(TypeSystem typeSystem, Environment env, Analyzer.Analysis analysis)	Creates an Inliner.
static RefChecker	RefChecker.of(TypeSystem typeSystem, Environment env)	Creates a reference checker.
static Relationalizer	Relationalizer.of(TypeSystem typeSystem, Environment env)	Creates a Relationalizer.
private static CompiledStatement	Compiles.prepareDecl(TypeSystem typeSystem, Session session, Environment env, @Nullable Calcite calcite, Ast.Decl decl, boolean isDecl, Consumer<CompileException> warningConsumer, Tracer tracer)	Validates and compiles a declaration, and compiles it to code that can be evaluated by the interpreter.
static CompiledStatement	Compiles.prepareStatement(TypeSystem typeSystem, Session session, Environment env, AstNode statement, @Nullable Calcite calcite, Consumer<CompileException> warningConsumer, Tracer tracer)	Validates and compiles a statement (expression or declaration), and compiles it to code that can be evaluated by the interpreter.
static Type	TypeResolver.toType(Ast.Type type, TypeSystem typeSystem)	Converts a type AST to a type.

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

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

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

Constructor	Description
Analyzer(TypeSystem typeSystem, Environment env, Map<Core.NamedPat,Analyzer.MutableUse> map, Deque<EnvVisitor.FromContext> fromStack)	Private constructor.
CalciteCompiler(TypeSystem typeSystem, Calcite calcite)
Compiler(TypeSystem typeSystem)
EnvShuttle(TypeSystem typeSystem, Environment env)	Creates an EnvShuttle.
EnvVisitor(TypeSystem typeSystem, Environment env, Deque<EnvVisitor.FromContext> fromStack)	Creates an EnvVisitor.
Inliner(TypeSystem typeSystem, Environment env, Analyzer.Analysis analysis)	Private constructor.
PatternBinder(TypeSystem typeSystem, List<Binding> bindings)
PatternCoverageChecker(TypeSystem typeSystem)	Creates a PatternCoverageChecker.
Pretty(TypeSystem typeSystem, int lineWidth, int printLength, int printDepth, int stringDepth)
RefChecker(TypeSystem typeSystem, Environment env, Deque<EnvVisitor.FromContext> fromStack)
ReferenceFinder(TypeSystem typeSystem, Environment env, Set<Core.NamedPat> set, Deque<EnvVisitor.FromContext> fromStack)
Relationalizer(TypeSystem typeSystem, Environment env)	Private constructor.
TypeMap(TypeSystem typeSystem, 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(String definedName, Function<TypeSystem,Unifier.Term> termFactory, TypeResolver.TypeEnv parent)
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)

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.
private static Core.Exp	Codes.sysEnv(TypeSystem typeSystem, Environment env, Type argType)

Uses of TypeSystem in net.hydromatic.morel.foreign

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

Modifier and Type	Field	Description
TypeSystem	CalciteFunctions.Context.typeSystem

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

Modifier and Type	Method	Description
(package private) static CalciteFunctions.MorelTableFunction.Compiled	CalciteFunctions.MorelTableFunction.Compiled.create(String ml, String typeJson, org.apache.calcite.rel.type.RelDataTypeFactory typeFactory, Environment env, TypeSystem typeSystem, Session session)
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)

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

Constructor	Description
Compiled(String morelArgType, org.apache.calcite.rel.type.RelDataTypeFactory typeFactory, TypeSystem typeSystem)
Compiled(Environment env, TypeSystem typeSystem, org.apache.calcite.rel.type.RelDataTypeFactory typeFactory, String ml, String typeJson)
Context(Session session, Environment env, TypeSystem typeSystem, org.apache.calcite.rel.type.RelDataTypeFactory typeFactory)

Uses of TypeSystem in net.hydromatic.morel.type

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

Modifier and Type	Field	Description
private TypeSystem	TypeShuttle.typeSystem

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

Modifier and Type	Method	Description
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)
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)
DataType	Keys.DataTypeDef.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)
DataType	Type.Def.toType(TypeSystem typeSystem)
Type	Type.Key.toType(TypeSystem typeSystem)

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

Constructor	Description
TypeShuttle(TypeSystem typeSystem)