All Classes

Class	Description
AbstractImmutableList<E>	Base class for lists whose contents are constant after creation.
Analyzer	Shuttle that counts how many times each expression is used.
Analyzer.Analysis	Result of an analysis.
Analyzer.MutableUse	Work space where the uses of a binding are counted.
Analyzer.Use	How a binding (assignment of a value to a variable) is used.
Applicable	A compiled expression that can be evaluated by applying to an argument.
Applicable2<R,A0,A1>	Applicable whose argument is a 3-tuple.
Applicable3<R,A0,A1,A2>	Applicable whose argument is a 3-tuple.
ApplicableImpl	Abstract implementation of Applicable that describes itself with a constant name.
ApplyType	Type that is a polymorphic type applied to a set of types.
Ast	Various sub-classes of AST nodes.
Ast.Aggregate	Call to an aggregate function in a compute clause.
Ast.AnnotatedExp	Parse tree node of an expression annotated with a type.
Ast.AnnotatedPat	Pattern that is a pattern annotated with a type.
Ast.Apply	Application of a function to its argument.
Ast.AsPat	Layered pattern.
Ast.Case	Case expression.
Ast.CompositeType	Not really a type, just a way for the parser to represent the type arguments to a type constructor.
Ast.Compute	A compute clause in a from expression.
Ast.Con0Pat	Type constructor pattern with no argument.
Ast.ConPat	Type constructor pattern with an argument.
Ast.DatatypeBind	Parse tree node of a datatype binding.
Ast.DatatypeDecl	Parse tree node of a datatype declaration.
Ast.Decl	Base class for declarations.
Ast.Direction	Sort order.
Ast.Exp	Base class of expression ASTs.
Ast.Fn	Lambda expression.
Ast.From	From expression.
Ast.FromStep	A step in a from expression - where, group or order.
Ast.FunBind	One of the branches (separated by 'and') in a 'fun' function declaration.
Ast.FunctionType	Function type.
Ast.FunDecl	Parse tree node of a function declaration.
Ast.FunMatch	One of the branches (separated by '|') in a 'fun' function declaration.
Ast.Group	A group clause in a from expression.
Ast.Id	Parse tree node of an identifier.
Ast.IdPat	Named pattern, the pattern analog of the Ast.Id expression.
Ast.If	"If ...
Ast.InfixCall	Call to an infix operator.
Ast.InfixPat	Pattern build from an infix operator applied to two patterns.
Ast.Let	"Let" expression.
Ast.ListExp	List expression.
Ast.ListPat	List pattern, the pattern analog of the Ast.ListExp expression.
Ast.Literal	Parse tree node of a literal (constant).
Ast.LiteralPat	Literal pattern, the pattern analog of the Ast.Literal expression.
Ast.Match	Match.
Ast.NamedType	Parse tree for a named type (e.g.
Ast.Order	An order clause in a from expression.
Ast.OrderItem	An item in an order clause.
Ast.Pat	Base class for a pattern.
Ast.PrefixCall	Call to a prefix operator.
Ast.Record	Record.
Ast.RecordPat	Record pattern.
Ast.RecordSelector	Parse tree node of a record selector.
Ast.RecordType	Parse tree node of a record type.
Ast.Scan	A scan (e.g.
Ast.Tuple	Tuple.
Ast.TuplePat	Tuple pattern, the pattern analog of the Ast.Tuple expression.
Ast.TupleType	Tuple type.
Ast.TyCon	Type constructor.
Ast.Type	Base class for parse tree nodes that represent types.
Ast.TyVar	Parse tree node of a type variable.
Ast.ValBind	Value bind.
Ast.ValDecl	Parse tree node of a value declaration.
Ast.Where	A where clause in a from expression.
Ast.WildcardPat	Wildcard pattern.
Ast.Yield	A yield clause in a from expression.
AstBuilder	Builds parse tree nodes.
AstNode	Abstract syntax tree node.
AstWriter	Context for writing an AST out as a string.
BaseType	Abstract implementation of Type.
Binding	Binding of a name to a type and a value.
BuiltIn	Built-in constants and functions.
BuiltIn.DataTypeHelper	Callback used when defining a datatype.
BuiltIn.Structure	Built-in structure.
Calcite	Runtime context.
Calcite.CalciteCode	Evaluates a Calcite relational expression, converting it to Morel list type type.
Calcite.CalciteMap	Extension to Calcite context that remembers the foreign value for each name.
Calcite.DecorrelateProgram	Copied from Programs.
Calcite.EmptyDataContext	Data context that has no variables.
CalciteCompiler	Compiles an expression to code that can be evaluated.
CalciteCompiler.RelCode	Extension to Code that can also provide a translation to relational algebra.
CalciteCompiler.RelContext	Translation context.
CalciteCompiler.VarData	How a Morel variable maps onto the columns returned from a Join.
CalciteForeignValue	Value based on a Calcite schema.
CalciteFunctions	Calcite table-valued user-defined function that evaluates a Morel expression and returns the result as a relation.
CalciteFunctions.Arg	Operand to a user-defined function.
CalciteFunctions.Context	Execution context.
CalciteFunctions.MorelApplyFunction	Calcite user-defined function that applies a Morel function (or closure) to an argument.
CalciteFunctions.MorelApplyFunction.Compiled	Compiled state.
CalciteFunctions.MorelScalarFunction	Calcite user-defined function that evaluates a Morel string and returns a scalar value.
CalciteFunctions.MorelScalarFunction.Compiled	Compiled state.
CalciteFunctions.MorelTableFunction	Calcite user-defined function that evaluates a Morel string and returns a table.
CalciteFunctions.MorelTableFunction.Compiled	Compiled state.
Closure	Value that is sufficient for a function to bind its argument and evaluate its body.
Closure.EvalEnvHolder	Callback for Closure.bindRecurse(Core.Pat, Object, BiConsumer) that modifies an environment.
Code	A compiled expression, that can be evaluated.
Codes	Helpers for Code.
Codes.AndAlsoCode	Code that implements Codes.andAlso(Code, Code).
Codes.ApplyCode	Applies an Applicable to a Code.
Codes.ApplyCode2	Applies an Applicable2 to two Code arguments.
Codes.ApplyCode3	Applies an Applicable3 to three Code arguments.
Codes.ApplyCodeCode	Applies a Code to a Code.
Codes.BuiltInExn	Definitions of Morel built-in exceptions.
Codes.CollectRowSink	Implementation of Codes.RowSink that the last step of a from writes into.
Codes.ConstantCode	Code that implements a constant.
Codes.GetCode	Code that retrieves the value of a variable from the environment.
Codes.GetTupleCode	Code that retrieves, as a tuple, the value of several variables from the environment.
Codes.GroupRowSink	Implementation of Codes.RowSink for a group clause.
Codes.InteractUse	Implements BuiltIn.INTERACT_USE.
Codes.Let1Code	Code that implements Codes.let(List, Code) with one argument.
Codes.LetCode	Code that implements Codes.let(List, Code) with multiple arguments.
Codes.ListHd	Implements BuiltIn.LIST_HD.
Codes.ListLast	Implements BuiltIn.LIST_LAST.
Codes.ListNth	Implements BuiltIn.LIST_NTH and BuiltIn.VECTOR_SUB.
Codes.ListTabulate	Implements BuiltIn.LIST_TABULATE.
Codes.ListTake	Implements BuiltIn.LIST_TAKE.
Codes.ListTl	Implements BuiltIn.LIST_TL.
Codes.MorelRuntimeException	Java exception that wraps an exception thrown by the Morel runtime.
Codes.OptionValOf	Implements BuiltIn.OPTION_VAL_OF.
Codes.OrderRowSink	Implementation of Codes.RowSink for an order clause.
Codes.OrElseCode	Code that implements Codes.orElse(Code, Code).
Codes.Positioned	An Applicable whose position can be changed.
Codes.RealCheckFloat	Implements BuiltIn.REAL_CHECK_FLOAT.
Codes.RealCompare	Implements BuiltIn.REAL_COMPARE.
Codes.RealSign	Implements BuiltIn.REAL_COMPARE.
Codes.RelationalOnly	Implements BuiltIn.RELATIONAL_ONLY.
Codes.RowSink	Accepts rows produced by a supplier as part of a from clause.
Codes.ScanRowSink	Implementation of Codes.RowSink for a join clause.
Codes.StringConcat	Implements BuiltIn.STRING_CONCAT.
Codes.StringConcatWith	Implements BuiltIn.STRING_CONCAT_WITH.
Codes.StringExtract	Implements BuiltIn.STRING_SUB.
Codes.StringSub	Implements BuiltIn.STRING_SUB.
Codes.StringSubstring	Implements BuiltIn.STRING_SUBSTRING.
Codes.TupleCode	A code that evaluates expressions and creates a tuple with the results.
Codes.VectorUpdate	Implements BuiltIn.VECTOR_UPDATE.
Codes.WhereRowSink	Implementation of Codes.RowSink for a where clause.
Codes.WrapRelList	A Code that evaluates a Code and if the result is a RelList, wraps it in a different kind of list.
Codes.YieldRowSink	Implementation of Codes.RowSink for a yield step.
ComparableSingletonList<E extends Comparable<E>>	A comparable singleton list.
CompiledStatement	Statement that has been compiled and is ready to be run from the REPL.
CompileException	An error occurred during compilation.
Compiler	Compiles an expression to code that can be evaluated.
Compiler.Action	Something that needs to happen when a declaration is evaluated.
Compiler.Context	Compilation context.
Compiler.LinkCode	A piece of code that is references another piece of code.
Compiler.MatchCode	Code that implements Compiler.compileMatchList(Context, List).
Compiles	Helpers for Compiler and TypeResolver.
Compiles.PatternBinder	Visitor that adds a Binding each time it see an Core.IdPat or Core.AsPat.
ConsList<E>	List that consists of a head element and an immutable non-empty list.
Converter<E>	Converts from a Calcite row to a Morel value (often a record).
Converters	Utilities for Converter.
Converters.C2m	Converter from Calcite types to Morel types.
Converters.FieldConverter	Converts a field from Calcite to Morel format.
Converters.RecordConverter	Converter that creates a record.
Core	Core expressions.
Core.Aggregate	Call to an aggregate function in a compute clause.
Core.Apply	Application of a function to its argument.
Core.AsPat	Layered pattern.
Core.BaseNode	Abstract base class of Core nodes.
Core.BindingConsumer	Consumer of bindings.
Core.Case	Case expression.
Core.Con0Pat	Type constructor pattern with no argument.
Core.ConPat	Type constructor pattern with an argument.
Core.DatatypeDecl	Datatype declaration.
Core.Decl	Base class for declarations.
Core.Exp	Base class of core expressions.
Core.Fn	Lambda expression.
Core.From	From expression.
Core.FromStep	A step in a from expression - where, group or order.
Core.Group	A group clause in a from expression.
Core.Id	Reference to a variable.
Core.IdPat	Named pattern.
Core.Let	"Let" expression.
Core.ListPat	List pattern.
Core.Literal	Code of a literal (constant).
Core.LiteralPat	Literal pattern, the pattern analog of the Core.Literal expression.
Core.Local	"Local" expression.
Core.Match	Match.
Core.NamedPat	Base class for named patterns (Core.IdPat and Core.AsPat).
Core.NonRecValDecl	Non-recursive value declaration.
Core.Order	An order clause in a from expression.
Core.OrderItem	An item in an order clause.
Core.Pat	Base class for a pattern.
Core.RecordPat	Record pattern.
Core.RecordSelector	Record selector function.
Core.RecValDecl	Recursive value declaration.
Core.Scan	A join or v in listExpr or v = expr clause in a from expression.
Core.Tuple	Tuple expression.
Core.TuplePat	Tuple pattern, the pattern analog of the Core.Tuple expression.
Core.ValDecl	Abstract (recursive or non-recursive) value declaration.
Core.Where	A where clause in a from expression.
Core.WildcardPat	Wildcard pattern.
Core.Wrapper	Wraps a value as a Comparable, and stores the global expression from which the value was derived.
Core.Yield	Step that computes an expression.
CoreBuilder	Builds parse tree nodes.
DataSet	Data set for testing.
DataType	Algebraic type.
Describable	Can be visited by a Describer.
Describer	Describes a plan (tree of Code or Applicable objects).
Describer.Detail	Provided as a callback while describing a node.
DescriberImpl	Implementation of .Describer.
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.
Environment	Environment for validation/compilation.
Environments	Helpers for Environment.
Environments.EmptyEnvironment	Empty environment.
Environments.MapEnvironment	Environment that keeps bindings in a map.
Environments.SubEnvironment	Environment that inherits from a parent environment and adds one binding.
EnvShuttle	Shuttle that keeps an environment of what variables are in scope.
EnvVisitor	Shuttle that keeps an environment of what variables are in scope.
EnvVisitor.FromContext	Where we are in an iteration through the steps of a from.
EvalEnv	Evaluation environment.
EvalEnvs	Helpers for EvalEnv.
EvalEnvs.ArraySubEvalEnv	Similar to MutableEvalEnv but binds several names.
EvalEnvs.MapEvalEnv	Evaluation environment that reads from a map.
EvalEnvs.MutableArraySubEvalEnv	Similar to MutableEvalEnv but binds several names; extends EvalEnvs.ArraySubEvalEnv adding mutability.
EvalEnvs.MutablePatSubEvalEnv	Evaluation environment that binds several slots based on a pattern.
EvalEnvs.MutableSubEvalEnv	Similar to EvalEnvs.SubEvalEnv but mutable.
EvalEnvs.PatSubEvalEnv	Immutable copy of EvalEnvs.MutablePatSubEvalEnv.
EvalEnvs.SubEvalEnv	Evaluation environment that inherits from a parent environment and adds one binding.
FnType	The type of a function value.
Folder<E>	Enable creating right-deep trees.
Folder.End<E>	Sub-class of Folder that marks the end of a list.
ForallType	Universally quantified type.
ForeignValue	External value.
FromBuilder	Builds a Core.From.
FromBuilder.TupleType	Category of expression passed to "yield".
Inliner	Shuttle that inlines constant values.
Keys	Type keys.
Keys.ApplyKey	Key of a type that applies a parameterized type to specific type arguments.
Keys.DataTypeDef	Information from which a data type can be created.
Keys.DataTypeKey	Key that identifies a datatype scheme.
Keys.ForallKey	Key of a forall type.
Keys.ForallTypeApplyKey	Key that applies several type arguments to a datatype scheme.
Keys.NameKey	Key that identifies a type by name.
Keys.OpKey	Key of a type that applies a built-in type constructor to specific type arguments.
Keys.OrdinalKey	Key that identifies a type by ordinal.
Keys.RecordKey	Key of a record type.
ListType	The type of a list value.
Macro	A function that is 'called' at compile time, and generates an expanded parse tree.
Main	Standard ML REPL.
Main.BufferingReader	Reader that snoops which characters have been read and saves them in a buffer until Main.BufferingReader.flush() is called.
Main.Shell	Shell (or sub-shell created via net.hydromatic.morel.compile.BuiltIn#INTERACT_USE) that can execute commands and handle errors.
Main.SubShell	Shell that is created via the net.hydromatic.morel.compile.BuiltIn#INTERACT_USE) command.
MapList<E>	Read-only list that generates elements between 0 and size - 1 by applying a function.
MartelliUnifier	Unification algorithm due to Martelli, Montanari (1976) and Paterson, Wegman (1978).
MorelException	Interface implemented by all exceptions in Morel.
MutableEvalEnv	An evaluation environment whose last entry is mutable.
NamedType	Type that has a name.
NameGenerator	Generates unique names.
Op	Sub-types of AstNode.
Ord<E>	Pair of an element and an ordinal.
Ord.IntObjObjConsumer<K,V>	Consumer that receives an ordinal, a key, and a value.
Ord.OrdArrayList<E>	List of Ord backed by an array of elements.
Ord.OrdList<E>	List of Ord backed by a list of elements.
Ord.OrdRandomAccessList<E>	List of Ord backed by a random-access list of elements.
Pair<T1,T2>	Pair of objects.
Pair.AdjacentIterator<E>	Iterator that returns consecutive pairs of elements from an underlying iterator.
Pair.FirstAndIterator<E>	Iterator that returns the first element of a collection paired with every other element.
Pair.LeftIterator<L,R>	Iterator that returns the left field of each pair.
Pair.MutableZipList<K,V>	A mutable list of pairs backed by a pair of mutable lists.
Pair.PairWithOrdinalConsumer<K,V>	Represents an operation that accepts two input arguments and an ordinal, and returns no result.
Pair.RightIterator<L,R>	Iterator that returns the right field of each pair.
Pair.ZipIterator<L,R>	Iterator that pairs elements from two iterators.
Pair.ZipList<K,V>	Unmodifiable list of pairs, backed by a pair of lists.
ParameterizedType	Base class for types that accept type parameters.
PatternCoverageChecker	Checks whether patterns are exhaustive and/or redundant.
PatternCoverageChecker.DataTypeSlot	Payload of a Sat.Variable that is an algebraic type.
PatternCoverageChecker.ElideList<E>	List that removes one particular element from a backing list.
PatternCoverageChecker.Path	Identifies a point in a nested pattern.
PatternCoverageChecker.SubPath	Path that is a child of a given parent path.
Pos	Position of a parse-tree node.
Pretty	Prints values.
Pretty.NamedVal	Wrapper that indicates that a value should be printed "name = value".
Pretty.TypedVal	Wrapper that indicates that a value should be printed "val name = value : type".
PrimitiveType	Primitive type.
Prop	Property.
RecordLikeType	A type that has named fields, as a record type does.
RecordType	The type of a record value.
RefChecker	Validates expressions, making sure that every Core.Id exists in the environment.
Relationalizer	Shuttle that converts calls to BuiltIn.LIST_FILTER and BuiltIn.LIST_MAP into Core.From expressions.
RelList	A list whose contents are computed by evaluating a relational expression.
Resolver	Converts AST expressions to Core expressions.
Resolver.Init	Helper for initialization.
Resolver.PatExp	Pattern and expression.
Resolver.ReferenceFinder	Visitor that finds all references to unbound variables in an expression.
Resolver.ResolvedDatatypeDecl	Resolved datatype declaration.
Resolver.ResolvedDecl	Resolved declaration.
RobinsonUnifier	Robinson's unification algorithm.
Sat	Boolean satisfiability.
Sat.And	"And" term.
Sat.Assignment	Assignment of a variable to a value.
Sat.Node	Term that has a variable number of arguments ("and" or "or").
Sat.Not	"Not" term.
Sat.Op	Operator (or type of term), with its left and right precedence and print name.
Sat.Or	"Or" term.
Sat.Term	Base class for all terms (variables, and, or, not).
Sat.Variable	Variable.
Session	Session environment.
Session.Shell	Callback to implement "use" command.
Session.Shells	Various implementations of Session.Shell.
Shell	Command shell for ML, powered by JLine3.
Shell.Config	Shell configuration.
Shell.ConfigImpl	Implementation of Shell.Config.
Shell.LineFn	Abstraction of a terminal's line reader.
Shell.LineType	Type of line from Shell.LineFn.
Shell.ReaderLineFn	Implementation of Shell.LineFn that reads from a reader.
Shell.SubShell	Simplified shell that works in both interactive mode (where input and output is a terminal) and batch mode (where input is a file, and output is to an array of lines).
Shell.TerminalLineFn	Implementation of Shell.LineFn that reads from JLine's terminal.
Shuttle	Visits and transforms syntax trees.
Static	Utilities.
TailList<E>	A dynamic list that reads from a given point in a backing list.
TemporaryType	Placeholder for a type that is being recursively defined.
ThreadLocals	Utilities for ThreadLocal.
Tracer	Called on various events during compilation.
Tracers	Utilities for Tracer.
Tracers	Implementations of Unifier.Tracer.
Tracers.DelegatingTracer	Tracer that delegates to an underlying tracer.
Tracers.EmptyTracer	Tracer that does nothing.
Tracers.NullTracer	Implementation of Unifier.Tracer that does nothing.
Tracers.PrintTracer	Implementation of Unifier.Tracer that writes to a given PrintWriter.
TupleType	The type of a tuple value.
Type	Type.
Type.Def	Definition of a type.
Type.Key	Structural identifier of a type.
TypeMap	The result of type resolution, a map from AST nodes to types.
TypeMap.TermToTypeConverter	Visitor that converts type terms into actual types.
TypeResolver	Resolves the type of an expression.
TypeResolver.BindTypeEnv	A type environment that consists of a type environment plus one binding.
TypeResolver.DatatypeBindWorkspace	Workspace used while handling several datatype binds simultaneously.
TypeResolver.EmptySubst	Empty substitution.
TypeResolver.EmptyTypeEnv	Empty type environment.
TypeResolver.PlusSubst	Substitution that adds one (type, variable) assignment to a parent substitution.
TypeResolver.Resolved	Result of validating a declaration.
TypeResolver.Subst	Substitution.
TypeResolver.TermVariable	Pair consisting of a term and a variable.
TypeResolver.TypeEnv	Type environment.
TypeResolver.TypeException	Error while deducing type.
TypeShuttle	Visitor over Type objects that returns types.
TypeSystem	A table that contains all types in use, indexed by their description (e.g.
TypeSystem.DataTypeFixer	Replaces temporary data types with real data types, using the supplied map.
TypeSystem.ForallHelper	Provides access to type variables from within a call to TypeSystem.forallType(int, Function).
TypeSystem.Transaction	Holds temporary changes to the type system.
TypeSystem.VariableCollector	Visitor that finds all TypeVar instances within a Type.
TypeVar	Type variable (e.g.
TypeVisitor<R>	Visitor over Type objects.
Unifier	Given pairs of terms, finds a substitution to minimize those pairs of terms.
Unifier.Action	Called by the unifier when a Term's type becomes known.
Unifier.CycleException	Control flow exception, thrown by Unifier.Term.checkCycle(Map, Map) if it finds a cycle in a substitution map.
Unifier.Failure	Result indicating that unification was not possible.
Unifier.Result	Result of attempting unification.
Unifier.Sequence	A sequence of terms.
Unifier.Substitution	Map from variables to terms.
Unifier.SubstitutionResult	The results of a successful unification.
Unifier.Term	Term (variable, symbol or node).
Unifier.TermTerm	A pair of terms.
Unifier.TermVisitor<R>	Visitor for terms.
Unifier.Tracer	Called on various events during unification.
Unifier.Variable	A variable that represents a symbol or a sequence; unification's task is to find the substitutions for such variables.
Unit	A placeholder value for the "unit" type.
Visitor	Visits syntax trees.