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
private Map<Unifier.Variable,Unifier.Action>	TypeResolver.actionMap
private List<Pair<Unifier.Variable,PrimitiveType>>	TypeResolver.preferredTypes

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 that return types with arguments of type Unifier.Variable

Modifier and Type	Method	Description
private Pair<TypeResolver.TypeEnv,Unifier.Variable>	TypeResolver.deduceStepType(TypeResolver.TypeEnv env, Ast.FromStep step, Unifier.Variable v, TypeResolver.TypeEnv env2, Map<Ast.Id,Unifier.Variable> fieldVars, List<Ast.FromStep> fromSteps)

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

Modifier and Type	Method	Description
private List<Ast.Match>	TypeResolver.deduceMatchListType(TypeResolver.TypeEnv env, List<Ast.Match> matchList, NavigableSet<String> labelNames, Unifier.Variable argVariable, Unifier.Variable resultVariable)
private Ast.Match	TypeResolver.deduceMatchType(TypeResolver.TypeEnv env, Ast.Match match, Map<Ast.IdPat,Unifier.Term> termMap, Unifier.Variable argVariable, Unifier.Variable resultVariable)
private Ast.Pat	TypeResolver.deducePatType(TypeResolver.TypeEnv env, Ast.Pat pat, Map<Ast.IdPat,Unifier.Term> termMap, NavigableSet<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 Pair<TypeResolver.TypeEnv,Unifier.Variable>	TypeResolver.deduceStepType(TypeResolver.TypeEnv env, Ast.FromStep step, Unifier.Variable v, TypeResolver.TypeEnv env2, Map<Ast.Id,Unifier.Variable> fieldVars, List<Ast.FromStep> fromSteps)
private Ast.Exp	TypeResolver.deduceType(TypeResolver.TypeEnv env, Ast.Exp node, Unifier.Variable v)
private AstNode	TypeResolver.deduceValBindType(TypeResolver.TypeEnv env, Ast.ValBind valBind, Map<Ast.IdPat,Unifier.Term> termMap, Unifier.Variable v, Unifier.Variable vPat)
private void	TypeResolver.equiv(Unifier.Term term, Unifier.Variable atom)
private Ast.Exp	TypeResolver.infix(TypeResolver.TypeEnv env, Ast.InfixCall call, Unifier.Variable v)	Registers an infix operator.
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.
(package private) TypeResolver.Subst	TypeResolver.Subst.plus(TypeVar typeVar, Unifier.Variable variable)
private Ast.Exp	TypeResolver.prefix(TypeResolver.TypeEnv env, Ast.PrefixCall call, Unifier.Variable v)	Registers a prefix operator.
private <E extends AstNode> E	TypeResolver.reg(E node, Unifier.Variable variable, Unifier.Term term)
Type	TypeMap.TermToTypeConverter.visit(Unifier.Variable variable)

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

Modifier and Type	Method	Description
private Pair<TypeResolver.TypeEnv,Unifier.Variable>	TypeResolver.deduceStepType(TypeResolver.TypeEnv env, Ast.FromStep step, Unifier.Variable v, TypeResolver.TypeEnv env2, Map<Ast.Id,Unifier.Variable> fieldVars, List<Ast.FromStep> fromSteps)
private Unifier.Term	TypeResolver.fieldRecord(Map<Ast.Id,Unifier.Variable> fieldVars)

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
Map<Unifier.Variable,Unifier.Term>	Unifier.Substitution.resultMap	The result of the unification algorithm proper.
private Map<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(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 Map<Unifier.Variable,Unifier.Term>	RobinsonUnifier.compose(Map<Unifier.Variable,Unifier.Term> s1, 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, Unifier.Substitution substitution, List<Unifier.TermTerm> termPairs)
private void	MartelliUnifier.act(Unifier.Variable variable, Unifier.Term term, List<Unifier.TermTerm> termPairs, Unifier.Substitution substitution, 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)
static Unifier.SubstitutionResult	Unifier.SubstitutionResult.create(Unifier.Variable v, Unifier.Term t)	Creates a substitution result with one (variable, term) entry.
void	Tracers.NullTracer.onCycle(Unifier.Variable variable, Unifier.Term term)
void	Tracers.PrintTracer.onCycle(Unifier.Variable variable, Unifier.Term term)
void	Unifier.Tracer.onCycle(Unifier.Variable variable, Unifier.Term term)
void	Tracers.NullTracer.onVariable(Unifier.Variable variable, Unifier.Term term)
void	Tracers.PrintTracer.onVariable(Unifier.Variable variable, Unifier.Term term)
void	Unifier.Tracer.onVariable(Unifier.Variable variable, Unifier.Term term)
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, List<Unifier.TermTerm> termPairs, Unifier.Substitution substitution, Map<Unifier.Variable,Unifier.Action> termActions, int depth)
Unifier.Term	Unifier.Sequence.apply(Map<Unifier.Variable,Unifier.Term> substitutions)
Unifier.Term	Unifier.Term.apply(Map<Unifier.Variable,Unifier.Term> substitutions)
Unifier.Term	Unifier.Variable.apply(Map<Unifier.Variable,Unifier.Term> substitutions)
void	Unifier.Sequence.checkCycle(Map<Unifier.Variable,Unifier.Term> map, Map<Unifier.Variable,Unifier.Variable> active)
void	Unifier.Term.checkCycle(Map<Unifier.Variable,Unifier.Term> map, Map<Unifier.Variable,Unifier.Variable> active)	Throws CycleException if expanding this term leads to a cycle.
void	Unifier.Variable.checkCycle(Map<Unifier.Variable,Unifier.Term> map, Map<Unifier.Variable,Unifier.Variable> active)
private static void	Unifier.checkCycles(Map<Unifier.Variable,Unifier.Term> map, Map<Unifier.Variable,Unifier.Variable> active)
(package private) static Map<Unifier.Variable,Unifier.Term>	RobinsonUnifier.compose(Map<Unifier.Variable,Unifier.Term> s1, Map<Unifier.Variable,Unifier.Term> s2)	Applies s1 to the elements of s2 and adds them into a single list.
static Unifier.SubstitutionResult	Unifier.SubstitutionResult.create(Map<Unifier.Variable,Unifier.Term> resultMap)	Creates a substitution result from a map.
private boolean	Unifier.Substitution.hasCycles(Map<Unifier.Variable,Unifier.Term> map)
(package private) static Unifier.Sequence	Unifier.sequenceApply(String operator, Map<Unifier.Variable,Unifier.Term> substitutions, Iterable<Unifier.Term> terms)
private void	MartelliUnifier.substituteList(List<Unifier.TermTerm> termPairs, Unifier.Tracer tracer, Map<Unifier.Variable,Unifier.Term> map)	Applies a mapping to all term pairs in a list, modifying them in place.
Unifier.Result	MartelliUnifier.unify(List<Unifier.TermTerm> termPairs, Map<Unifier.Variable,Unifier.Action> termActions, Unifier.Tracer tracer)
Unifier.Result	RobinsonUnifier.unify(List<Unifier.TermTerm> termPairs, Map<Unifier.Variable,Unifier.Action> termActions, Unifier.Tracer tracer)
abstract Unifier.Result	Unifier.unify(List<Unifier.TermTerm> termPairs, Map<Unifier.Variable,Unifier.Action> termActions, Unifier.Tracer tracer)

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

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