Uses of Class
net.hydromatic.morel.util.Unifier

Packages that use Unifier

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

Fields in net.hydromatic.morel.compile declared as Unifier

Modifier and Type	Field	Description
private final Unifier	TypeResolver.unifier

Uses of Unifier in net.hydromatic.morel.util

Subclasses of Unifier in net.hydromatic.morel.util

Modifier and Type	Class	Description
class	MartelliUnifier	Unification algorithm due to Martelli, Montanari (1976) and Paterson, Wegman (1978).
class	RobinsonUnifier	Robinson's unification algorithm.