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
(package private) java.util.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, java.util.List<Unifier.TermTerm> termPairs, java.util.Map<Unifier.Variable,Unifier.Action> termActions, int depth)
Unifier.Result	MartelliUnifier.unify(java.util.List<Unifier.TermTerm> termPairs, java.util.Map<Unifier.Variable,Unifier.Action> termActions)
Unifier.Result	RobinsonUnifier.unify(java.util.List<Unifier.TermTerm> termPairs, java.util.Map<Unifier.Variable,Unifier.Action> termActions)
abstract Unifier.Result	Unifier.unify(java.util.List<Unifier.TermTerm> termPairs, java.util.Map<Unifier.Variable,Unifier.Action> termActions)