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

Packages that use Unifier.Constraint

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

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

Modifier and Type	Field	Description
private final List<Unifier.Constraint>	TypeResolver.constraints

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

Methods in net.hydromatic.morel.util that return Unifier.Constraint

Modifier and Type	Method	Description
Unifier.Constraint	Unifier.constraint(Unifier.Variable arg, PairList<Unifier.Term,Unifier.Constraint.Action> termActions)	Creates a Constraint.
Unifier.Constraint	Unifier.constraint(Unifier.Variable arg, Unifier.Variable result, PairList<Unifier.Term,Unifier.Term> argResults)	Creates a constraint arising from a call to an overloaded function.

Constructors in net.hydromatic.morel.util with parameters of type Unifier.Constraint

Modifier	Constructor	Description
(package private)	MutableConstraint(Unifier.Constraint constraint)