Uses of Package
net.hydromatic.morel.util

Packages that use net.hydromatic.morel.util

Package	Description
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.ast

Class	Description
Pair	Pair of objects.

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

Class	Description
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	The results of a successful unification.
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
Pair	Pair of objects.

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

Class	Description
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.
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.
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	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.