Uses of Interface
net.hydromatic.morel.util.Unifier.Action

Packages that use Unifier.Action

Package	Description
net.hydromatic.morel.compile	Validates programs (represented as AstNode), deduces their type, and compiles them into code that can be evaluated.
net.hydromatic.morel.util	Utilities.

Uses of Unifier.Action in net.hydromatic.morel.compile

Fields in net.hydromatic.morel.compile with type parameters of type Unifier.Action

Modifier and Type	Field	Description
private final Map<Unifier.Variable,Unifier.Action>	TypeResolver.actionMap

Uses of Unifier.Action in net.hydromatic.morel.util

Method parameters in net.hydromatic.morel.util with type arguments of type Unifier.Action

Modifier and Type	Method	Description
private void	MartelliUnifier.act(Unifier.Variable variable, Unifier.Term term, List<Unifier.TermTerm> termPairs, Unifier.Substitution substitution, Map<Unifier.Variable,Unifier.Action> termActions, int depth)
Unifier.Result	MartelliUnifier.unify(List<Unifier.TermTerm> termPairs, Map<Unifier.Variable,Unifier.Action> termActions, Unifier.Tracer tracer)
Unifier.Result	RobinsonUnifier.unify(List<Unifier.TermTerm> termPairs, Map<Unifier.Variable,Unifier.Action> termActions, Unifier.Tracer tracer)
abstract Unifier.Result	Unifier.unify(List<Unifier.TermTerm> termPairs, Map<Unifier.Variable,Unifier.Action> termActions, Unifier.Tracer tracer)