All Classes

Class	Description
AbstractImmutableList<E>	Base class for lists whose contents are constant after creation.
Applicable	A compiled expression that can be evaluated by applying to an argument.
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.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.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.Exp	Base class of expression ASTs.
Ast.Fn	Lambda expression.
Ast.From	From expression.
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.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.LetExp	"Let" expression.
Ast.List	List.
Ast.ListPat	List pattern, the pattern analog of the Ast.List 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.Pat	Base class for a pattern.
Ast.PrefixCall	Call to an 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.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.WildcardPat	Wildcard pattern.
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.
CalciteForeignValue	Value based on a Calcite schema.
CalciteForeignValue.EmptyDataContext	Data context that has no variables.
CalciteForeignValue.FieldConverter	Converts a field from Calcite to SML format.
Closure	Value that is sufficient for a function to bind its argument and evaluate its body.
Code	A compiled expression, that can be evaluated.
Codes	Helpers for Code.
Codes.TupleCode	A code that evaluates expressions and creates a tuple with the results.
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.ComparableSingletonList<E extends java.lang.Comparable<E>>	A comparable singleton list.
Compiler.LinkCode	A piece of code that is references another piece of code.
Compiles	Helpers for Compiler and TypeResolver.
ConsList<E>	List that consists of a head element and an immutable non-empty list.
DataType	Algebraic type.
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.SubEnvironment	Environment that inherits from a parent environment and adds one binding.
EvalEnv	Evaluation environment.
EvalEnvs	Helpers for EvalEnv.
EvalEnvs.MapEvalEnv	Evaluation environment that reads from a map.
EvalEnvs.MutableSubEvalEnv	Similar to EvalEnvs.SubEvalEnv but mutable.
EvalEnvs.SubEvalEnv	Evaluation environment that inherits from a parent environment and adds one binding.
FnType	The type of a function value.
ForallType	Universally quantified type.
ForeignValue	External value.
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.
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).
MutableEvalEnv	An evaluation environment whose last entry is mutable.
NamedType	Type that has a name.
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.
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.
RecordType	The type of a record value.
RelList	A list whose contents are computed by evaluating a relational expression.
RobinsonUnifier	Robinson's unification algorithm.
Shell	Command shell for ML, powered by JLine3.
Shuttle	Visits and transforms syntax trees.
Static	Utilities.
TailList<E>	A dynamic list that reads from a given point in a backing list.
TupleType	The type of a tuple value.
Type	Type.
TypeResolver	Resolves the type of an expression.
TypeResolver.BindTypeEnv	A type environment that consists of a type environment plus one binding.
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.TermToTypeConverter	Visitor that converts type terms into actual types.
TypeResolver.TermVariable	Pair consisting of a term and a variable.
TypeResolver.TypeEnv	Type environment.
TypeResolver.TypeMap	The result of type resolution, a map from AST nodes to types.
TypeSystem	A table that contains all types in use, indexed by their description (e.g.
TypeSystem.ForallHelper	Provides access to type variables from within a call to TypeSystem.forallType(int, Function).
TypeSystem.TemporaryType	Placeholder for a type that is being recursively defined.
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	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.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.