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

Packages that use Unifier.Variable

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

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

Modifier and Type	Field	Description
(package private) Unifier.Variable	TypeResolver.PlusSubst.variable
(package private) Unifier.Variable	TypeResolver.TermVariable.variable

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

Modifier and Type	Field	Description
(package private) java.util.Map<Unifier.Variable,Unifier.Action>	TypeResolver.actionMap

Methods in net.hydromatic.morel.compile that return Unifier.Variable

Modifier and Type	Method	Description
(package private) Unifier.Variable	TypeResolver.EmptySubst.get(TypeVar typeVar)
(package private) Unifier.Variable	TypeResolver.PlusSubst.get(TypeVar typeVar)
(package private) abstract Unifier.Variable	TypeResolver.Subst.get(TypeVar typeVar)

Methods in net.hydromatic.morel.compile with parameters of type Unifier.Variable

Modifier and Type	Method	Description
private Ast.Exp	TypeResolver.comparison(TypeResolver.TypeEnv env, Ast.InfixCall call, Unifier.Variable v)	Registers an infix operator whose type is a given type and whose arguments are the same type.
private Ast.Exp	TypeResolver.deduceConsType(TypeResolver.TypeEnv env, Ast.InfixCall call, Unifier.Variable v)
private void	TypeResolver.deduceMatchListType(TypeResolver.TypeEnv env, java.util.List<Ast.Match> matchList, java.util.NavigableSet<java.lang.String> labelNames, Unifier.Variable argVariable, Unifier.Variable resultVariable)
private AstNode	TypeResolver.deduceMatchType(TypeResolver.TypeEnv env, Ast.Match match, java.util.Map<Ast.IdPat,Unifier.Term> termMap, Unifier.Variable argVariable, Unifier.Variable resultVariable)
private Ast.Pat	TypeResolver.deducePatType(TypeResolver.TypeEnv env, Ast.Pat pat, java.util.Map<Ast.IdPat,Unifier.Term> termMap, java.util.NavigableSet<java.lang.String> labelNames, Unifier.Variable v)	Derives a type term for a pattern, collecting the names of pattern variables.
private Ast.RecordSelector	TypeResolver.deduceRecordSelectorType(TypeResolver.TypeEnv env, Unifier.Variable vResult, Unifier.Variable vArg, Ast.RecordSelector recordSelector)
private Ast.Exp	TypeResolver.deduceType(TypeResolver.TypeEnv env, Ast.Exp node, Unifier.Variable v)
private AstNode	TypeResolver.deduceValBindType(TypeResolver.TypeEnv env, Ast.ValBind valBind, java.util.Map<Ast.IdPat,Unifier.Term> termMap, Unifier.Variable v)
private void	TypeResolver.equiv(Unifier.Term term, Unifier.Variable atom)
private Ast.Exp	TypeResolver.infix(TypeResolver.TypeEnv env, Ast.InfixCall call, Unifier.Variable v, Type type)	Registers an infix operator whose type is a given type.
private Ast.Exp	TypeResolver.infixOverloaded(TypeResolver.TypeEnv env, Ast.InfixCall call, Unifier.Variable v, Type defaultType)	Registers an infix or prefix operator whose type is the same as its arguments.
private Ast.Exp	TypeResolver.opOverloaded(TypeResolver.TypeEnv env, Ast.Exp call, Unifier.Variable v, Type defaultType)	Registers an infix or prefix operator whose type is the same as its arguments.
(package private) TypeResolver.Subst	TypeResolver.Subst.plus(TypeVar typeVar, Unifier.Variable variable)
private Ast.Exp	TypeResolver.prefixOverloaded(TypeResolver.TypeEnv env, Ast.PrefixCall call, Unifier.Variable v, Type defaultType)	Registers an infix or prefix operator whose type is the same as its arguments.
private <E extends AstNode> E	TypeResolver.reg(E node, Unifier.Variable variable, Unifier.Term term)
Type	TypeResolver.TermToTypeConverter.visit(Unifier.Variable variable)

Constructors in net.hydromatic.morel.compile with parameters of type Unifier.Variable

Constructor	Description
PlusSubst(TypeResolver.Subst parent, TypeVar typeVar, Unifier.Variable variable)
TermVariable(Unifier.Term term, Unifier.Variable variable)

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

Fields in net.hydromatic.morel.util with type parameters of type Unifier.Variable

Modifier and Type	Field	Description
java.util.Map<Unifier.Variable,Unifier.Term>	Unifier.Substitution.resultMap	The result of the unification algorithm proper.
private java.util.Map<java.lang.String,Unifier.Variable>	Unifier.variableMap

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

Modifier and Type	Method	Description
Unifier.Variable	Unifier.variable()	Creates a new variable, with a new name.
Unifier.Variable	Unifier.variable(java.lang.String name)	Creates a variable, or returns an existing one with the same name.

Methods in net.hydromatic.morel.util that return types with arguments of type Unifier.Variable

Modifier and Type	Method	Description
(package private) static java.util.Map<Unifier.Variable,Unifier.Term>	RobinsonUnifier.compose(java.util.Map<Unifier.Variable,Unifier.Term> s1, java.util.Map<Unifier.Variable,Unifier.Term> s2)	Applies s1 to the elements of s2 and adds them into a single list.

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

Modifier and Type	Method	Description
void	Unifier.Action.accept(Unifier.Variable variable, Unifier.Term term, java.util.List<Unifier.TermTerm> termPairs)
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)
int	Unifier.Variable.compareTo(Unifier.Variable o)
boolean	Unifier.Sequence.contains(Unifier.Variable variable)
boolean	Unifier.Term.contains(Unifier.Variable variable)
boolean	Unifier.Variable.contains(Unifier.Variable variable)
R	Unifier.TermVisitor.visit(Unifier.Variable variable)

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

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.Term	Unifier.Sequence.apply(java.util.Map<Unifier.Variable,Unifier.Term> substitutions)
Unifier.Term	Unifier.Term.apply(java.util.Map<Unifier.Variable,Unifier.Term> substitutions)
Unifier.Term	Unifier.Variable.apply(java.util.Map<Unifier.Variable,Unifier.Term> substitutions)
void	Unifier.Sequence.checkCycle(java.util.Map<Unifier.Variable,Unifier.Term> map, java.util.Map<Unifier.Variable,Unifier.Variable> active)
void	Unifier.Term.checkCycle(java.util.Map<Unifier.Variable,Unifier.Term> map, java.util.Map<Unifier.Variable,Unifier.Variable> active)	Throws CycleException if expanding this term leads to a cycle.
void	Unifier.Variable.checkCycle(java.util.Map<Unifier.Variable,Unifier.Term> map, java.util.Map<Unifier.Variable,Unifier.Variable> active)
private static void	Unifier.checkCycles(java.util.Map<Unifier.Variable,Unifier.Term> map, java.util.Map<Unifier.Variable,Unifier.Variable> active)
(package private) static java.util.Map<Unifier.Variable,Unifier.Term>	RobinsonUnifier.compose(java.util.Map<Unifier.Variable,Unifier.Term> s1, java.util.Map<Unifier.Variable,Unifier.Term> s2)	Applies s1 to the elements of s2 and adds them into a single list.
private boolean	Unifier.Substitution.hasCycles(java.util.Map<Unifier.Variable,Unifier.Term> map)
(package private) static Unifier.Sequence	Unifier.sequenceApply(java.lang.String operator, java.util.Map<Unifier.Variable,Unifier.Term> substitutions, java.lang.Iterable<Unifier.Term> terms)
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)

Constructor parameters in net.hydromatic.morel.util with type arguments of type Unifier.Variable

Constructor	Description
Substitution(java.util.Map<Unifier.Variable,Unifier.Term> resultMap)