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) final TypeSystem	Main.typeSystem
private final TypeSystem	Shell.SubShell.typeSystem

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

Modifier	Constructor	Description
(package private)	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 final TypeSystem	FromBuilder.typeSystem
protected final 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, Iterable<Core.Exp> exps)
Core.Exp	CoreBuilder.andAlso(TypeSystem typeSystem, Core.Exp a0, Core.Exp a1)
Core.Apply	CoreBuilder.apply(Pos pos, TypeSystem typeSystem, BuiltIn builtIn, Core.Exp arg0, Core.Exp arg1, Core.Exp... args)	Creates a Core.Apply with two or more arguments, packing the arguments into a tuple.
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.extent(TypeSystem typeSystem, Type type, com.google.common.collect.RangeSet<Comparable> rangeSet)	Creates an extent.
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.
private 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.greaterThanOrEqualTo(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.intersect(TypeSystem typeSystem, Iterable<Core.Exp> exps)
Core.Exp	CoreBuilder.intersect(TypeSystem typeSystem, Core.Exp a0, Core.Exp a1)
Core.Exp	CoreBuilder.lessThan(TypeSystem typeSystem, Core.Exp a0, Core.Exp a1)
Core.Exp	CoreBuilder.list(TypeSystem typeSystem, Core.Exp arg0, Core.Exp... args)	Creates a list with one or more elements.
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)
Pair<Core.Exp,List<Core.Exp>>	CoreBuilder.mergeExtents(TypeSystem typeSystem, List<? extends Core.Exp> exps, boolean intersect)
Core.Exp	CoreBuilder.notEqual(TypeSystem typeSystem, Core.Exp a0, Core.Exp a1)
Core.Exp	CoreBuilder.only(TypeSystem typeSystem, Pos pos, Core.Exp a0)
Core.Exp	CoreBuilder.orElse(TypeSystem typeSystem, Iterable<Core.Exp> exps)
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)
(package private) Core.Exp	CoreBuilder.simplify(TypeSystem typeSystem, Core.Exp exp)	Simplifies an expression.
Core.Tuple	CoreBuilder.tuple(TypeSystem typeSystem, Core.Exp... args)
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.Exp	CoreBuilder.union(TypeSystem typeSystem, Iterable<Core.Exp> exps)
Core.Exp	CoreBuilder.union(TypeSystem typeSystem, Core.Exp a0, Core.Exp a1)
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

Modifier	Constructor	Description
(package private)	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 final TypeSystem	Compiler.typeSystem
private final TypeSystem	Compiles.PatternBinder.typeSystem
(package private) final TypeSystem	EnvVisitor.typeSystem
private final TypeSystem	Extents.Extent.typeSystem
(package private) final TypeSystem	PatternCoverageChecker.typeSystem
private final TypeSystem	Pretty.typeSystem
final TypeSystem	TypeMap.typeSystem
private final TypeSystem	TypeResolver.typeSystem

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

Modifier and Type	Field	Description
private final Function<TypeSystem,Unifier.Term>	TypeResolver.BindTypeEnv.termFactory
final 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 Extents.Analysis	Extents.create(TypeSystem typeSystem, Core.Pat pat, SortedMap<Core.NamedPat,Core.Exp> boundPats, Core.Exp exp)
(package private) static TypeResolver.FieldExpander	TypeResolver.FieldExpander.create(TypeSystem typeSystem, Environment env)
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 datatype 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, @Nullable Session session, Map<String,ForeignValue> valueMap)	Creates a compilation environment, including built-ins and foreign values.
static Environment	Environments.env(TypeSystem typeSystem, @Nullable Session session, 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.
void	Environment.forEachType(TypeSystem typeSystem, BiConsumer<String,Type> consumer)	Calls a consumer for each variable and its type.
private static void	Environments.foreignBindings(TypeSystem typeSystem, Map<String,ForeignValue> map, List<Binding> bindings)
static Core.Exp	Extents.generator(TypeSystem typeSystem, Core.Pat pat, Core.Exp exp)	Returns an expression that generates the extent of a pattern.
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, 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.
private @Nullable Core.Exp	SuchThatShuttle.rewriteElem(TypeSystem typeSystem, UnaryOperator<Core.NamedPat> mapper, SortedMap<Core.NamedPat,Core.Exp> boundPats, Map<Core.IdPat,Core.Exp> scans, List<Core.Exp> filters, Core.Exp a0, Core.Exp a1, List<Core.Exp> exps2)
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

Modifier	Constructor	Description
private	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)
protected	EnvShuttle(TypeSystem typeSystem, Environment env)	Creates an EnvShuttle.
protected	EnvVisitor(TypeSystem typeSystem, Environment env, Deque<EnvVisitor.FromContext> fromStack)	Creates an EnvVisitor.
(package private)	Extent(TypeSystem typeSystem, Core.Pat pat, SortedMap<Core.NamedPat,Core.Exp> boundPats)
private	FieldExpander(TypeSystem typeSystem, Environment env, Deque<EnvVisitor.FromContext> fromStack)
private	Inliner(TypeSystem typeSystem, Environment env, Analyzer.Analysis analysis)	Private constructor.
(package private)	PatternBinder(TypeSystem typeSystem, List<Binding> bindings)
private	PatternCoverageChecker(TypeSystem typeSystem)	Creates a PatternCoverageChecker.
(package private)	Pretty(TypeSystem typeSystem, int lineWidth, int printLength, int printDepth, int stringDepth)
private	RefChecker(TypeSystem typeSystem, Environment env, Deque<EnvVisitor.FromContext> fromStack)
protected	ReferenceFinder(TypeSystem typeSystem, Environment env, Set<Core.NamedPat> set, Deque<EnvVisitor.FromContext> fromStack)
private	Relationalizer(TypeSystem typeSystem, Environment env)	Private constructor.
(package private)	SuchThatShuttle(TypeSystem typeSystem, Environment env)
(package private)	TypeMap(TypeSystem typeSystem, Map<AstNode,Unifier.Term> nodeTypeTerms, Unifier.Substitution substitution)
private	TypeResolver(TypeSystem typeSystem)

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

Modifier	Constructor	Description
(package private)	BindTypeEnv(String definedName, Function<TypeSystem,Unifier.Term> termFactory, TypeResolver.TypeEnv parent)
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)

Uses of TypeSystem in net.hydromatic.morel.eval

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

Modifier and Type	Method	Description
default File	File.discoverField(TypeSystem typeSystem, String fieldName)
File	Files.Directory.discoverField(TypeSystem typeSystem, String fieldName)
File	Files.UnknownFile.discoverField(TypeSystem typeSystem, String fieldName)
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
final 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

Modifier	Constructor	Description
(package private)	Compiled(String morelArgType, org.apache.calcite.rel.type.RelDataTypeFactory typeFactory, TypeSystem typeSystem)
(package private)	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 final TypeSystem	TypeShuttle.typeSystem

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

Modifier and Type	Method	Description
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)
default TypedValue	TypedValue.discoverField(TypeSystem typeSystem, String fieldName)	Tries to expand the type to include the given field name.
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)
DataType	Keys.DataTypeKey.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.
SortedMap<String,Type>	DataType.typeConstructors(TypeSystem typeSystem)

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

Modifier	Constructor	Description
protected	TypeShuttle(TypeSystem typeSystem)