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

Packages that use Unifier.TermVisitor

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.TermVisitor in net.hydromatic.morel.compile

Classes in net.hydromatic.morel.compile that implement Unifier.TermVisitor

Modifier and Type	Class	Description
private static class	TypeMap.TermToTypeConverter	Visitor that converts type terms into actual types.

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

Methods in net.hydromatic.morel.util with parameters of type Unifier.TermVisitor

Modifier and Type	Method	Description
<R> R	Unifier.Sequence.accept(Unifier.TermVisitor<R> visitor)
<R> R	Unifier.Term.accept(Unifier.TermVisitor<R> visitor)
<R> R	Unifier.Variable.accept(Unifier.TermVisitor<R> visitor)