Uses of Package
net.hydromatic.morel.util

Packages that use net.hydromatic.morel.util

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.type	Type system.
net.hydromatic.morel.util	Utilities.

Classes in net.hydromatic.morel.util used by net.hydromatic.morel

Class	Description
MorelException	Interface implemented by all exceptions in Morel.
Pair	Pair of objects.

Classes in net.hydromatic.morel.util used by net.hydromatic.morel.ast

Class	Description
Pair	Pair of objects.

Classes in net.hydromatic.morel.util used by net.hydromatic.morel.compile

Class	Description
MorelException	Interface implemented by all exceptions in Morel.
Pair	Pair of objects.
Sat	Boolean satisfiability.
Sat.Term	Base class for all terms (variables, and, or, not).
Sat.Variable	Variable.
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.Sequence	A sequence of terms.
Unifier.Substitution	Map from variables to terms.
Unifier.Term	Term (variable, symbol or node).
Unifier.TermVisitor	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.

Classes in net.hydromatic.morel.util used by net.hydromatic.morel.eval

Class	Description
MorelException	Interface implemented by all exceptions in Morel.
Pair	Pair of objects.

Classes in net.hydromatic.morel.util used by net.hydromatic.morel.type

Class	Description
Ord	Pair of an element and an ordinal.
Pair	Pair of objects.

Classes in net.hydromatic.morel.util used by net.hydromatic.morel.util

Class	Description
AbstractImmutableList	Base class for lists whose contents are constant after creation.
ComparableSingletonList	A comparable singleton list.
Folder	Enable creating right-deep trees.
MapList	Read-only list that generates elements between 0 and size - 1 by applying a function.
Ord	Pair of an element and an ordinal.
Ord.IntObjObjConsumer	Consumer that receives an ordinal, a key, and a value.
Ord.OrdList	List of Ord backed by a list of elements.
Pair	Pair of objects.
Pair.PairWithOrdinalConsumer	Represents an operation that accepts two input arguments and an ordinal, and returns no result.
Sat.Node	Term that has a variable number of arguments ("and" or "or").
Sat.Op	Operator (or type of term), with its left and right precedence and print name.
Sat.Term	Base class for all terms (variables, and, or, not).
Sat.Variable	Variable.
Tracers.NullTracer	Implementation of Unifier.Tracer that does nothing.
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	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.