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) final @Nullable Unifier.Variable	TypeResolver.Triple.c	Collection (list or bag) type; null if not a collection.
(package private) final Unifier.Variable	TypeResolver.Triple.v
private final Unifier.Variable	TypeResolver.Inst.vArg
(package private) final Unifier.Variable	TypeResolver.PlusSubst.variable
(package private) final Unifier.Variable	TypeResolver.TermVariable.variable
private final Unifier.Variable	TypeResolver.Inst.vFn
private final Unifier.Variable	TypeResolver.Inst.vResult

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

Modifier and Type	Field	Description
private final Map<Unifier.Variable,Unifier.Action>	TypeResolver.actionMap
private final PairList<Unifier.Variable,PrimitiveType>	TypeResolver.preferredTypes

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

Modifier and Type	Method	Description
private Unifier.Variable	TypeResolver.equiv(Unifier.Variable v, Unifier.Term term)	Declares that a term is equivalent to a variable.
private Unifier.Variable	TypeResolver.fieldVar(PairList<Ast.Id,Unifier.Variable> fieldVars)
(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)
private Unifier.Variable	TypeResolver.toVariable(Unifier.Term term)	Converts a term to a variable.

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

Modifier and Type	Method	Description
private void	TypeResolver.constrain(Unifier.Variable arg, Unifier.Variable result, PairList<Unifier.Term,Unifier.Term> argResults)	Registers that a type variable is equivalent to at least one of a list of terms.
private Ast.Exp	TypeResolver.deduceApplyFnType(TypeResolver.TypeEnv env, Ast.Exp fn, Unifier.Variable vFn, Unifier.Variable vArg, Unifier.Variable vResult)	Deduces the datatype of a function being applied to an argument.
private Ast.Apply	TypeResolver.deduceApplyType(TypeResolver.TypeEnv env, Ast.Apply apply, Unifier.Variable v)
private Ast.Case	TypeResolver.deduceCaseType(TypeResolver.TypeEnv env, Ast.Case case_, Unifier.Variable v)
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, BiConsumer<Ast.IdPat,Unifier.Term> termMap, Unifier.Variable argVariable, Unifier.Variable resultVariable)
private void	TypeResolver.deducePatType(TypeResolver.TypeEnv env, Ast.Pat pat, Consumer<TypeResolver.PatTerm> termMap, @Nullable NavigableSet<String> labelNames, Unifier.Variable v, UnaryOperator<Unifier.Term> accessor)	Derives a type term for a pattern, collecting the names of pattern variables.
private Ast.Query	TypeResolver.deduceQueryType(TypeResolver.TypeEnv env, Ast.Query query, Unifier.Variable v)
private Ast.RecordSelector	TypeResolver.deduceRecordSelectorType(TypeResolver.TypeEnv env, Ast.RecordSelector recordSelector, Unifier.Variable vArg, Unifier.Variable vResult)
private Ast.Exp	TypeResolver.deduceType(TypeResolver.TypeEnv env, Ast.Exp node, Unifier.Variable v)
private AstNode	TypeResolver.deduceValBindType(TypeResolver.TypeEnv env, Ast.ValBind valBind, PairList<Ast.IdPat,Unifier.Term> termMap, Unifier.Variable vPat)
private Ast.Exp	TypeResolver.deduceYieldType(TypeResolver.TypeEnv env, Ast.Exp node, Unifier.Variable v)	Deduces a yield expression's type.
private Unifier.Variable	TypeResolver.equiv(Unifier.Variable v, Unifier.Term term)	Declares that a term is equivalent to a variable.
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.
private void	TypeResolver.isListIfAllAreLists(List<Unifier.Term> args, Unifier.Variable c, Unifier.Variable v)	Adds a constraint that the terms in args are all a bag or list (of v); if all are lists then c is a list of v, otherwise c is a bag of v.
private void	TypeResolver.isListIfBothAreLists(Unifier.Term c0, Unifier.Variable v0, Unifier.Term c1, Unifier.Variable v1, Unifier.Variable c, Unifier.Variable v)	Adds a constraint that c0 is a bag or list (of v0), and c1 is a bag or list (of v1); if both are lists then c is a list of v, otherwise c is a bag of v.
private void	TypeResolver.isListOrBagMatchingInput(Unifier.Variable c1, Unifier.Variable v1, Unifier.Variable c2, Unifier.Variable v2)	Adds a constraint that c1 is a bag or list of v1; if it is a list then c2 is a list of v2, otherwise c2 is a bag of v2.
private void	TypeResolver.mayBeBagOrList(Unifier.Variable c, Unifier.Variable v)	Adds a constraint that c is a bag or list of v.
(package private) static TypeResolver.Triple	TypeResolver.Triple.of(TypeResolver.TypeEnv env, Unifier.Variable v, Unifier.Variable c)
(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)	Registers that an AST node maps to a type term and is equivalent to a variable.
(package private) static TypeResolver.Triple	TypeResolver.Triple.singleton(TypeResolver.TypeEnv env, Unifier.Variable v)	Represents a singleton, not a collection.
Type	TypeMap.TermToTypeConverter.visit(Unifier.Variable variable)
(package private) TypeResolver.Triple	TypeResolver.Triple.withV(Unifier.Variable v)

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

Modifier and Type	Method	Description
private TypeResolver.Triple	TypeResolver.deduceGroupStepType(TypeResolver.TypeEnv env, Ast.Group group, TypeResolver.Triple p, PairList<Ast.Id,Unifier.Variable> fieldVars, List<Ast.FromStep> fromSteps)
private TypeResolver.Triple	TypeResolver.deduceScanStepType(Ast.Scan scan, TypeResolver.Triple p, PairList<Ast.Id,Unifier.Variable> fieldVars, List<Ast.FromStep> fromSteps)
private TypeResolver.Triple	TypeResolver.deduceStepType(TypeResolver.TypeEnv env, Ast.FromStep step, TypeResolver.Triple p, PairList<Ast.Id,Unifier.Variable> fieldVars, List<Ast.FromStep> fromSteps)
private Unifier.Variable	TypeResolver.fieldVar(PairList<Ast.Id,Unifier.Variable> fieldVars)

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

Modifier	Constructor	Description
(package private)	Inst(String name, Unifier.Variable vFn, Unifier.Variable vArg, Unifier.Variable vResult)
(package private)	PlusSubst(TypeResolver.Subst parent, TypeVar typeVar, Unifier.Variable variable)
private	TermVariable(Unifier.Term term, Unifier.Variable variable)
private	Triple(TypeResolver.TypeEnv env, Unifier.Variable v, Unifier.Variable c)

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

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

Modifier and Type	Field	Description
final Unifier.Variable	Unifier.Constraint.arg
(package private) Unifier.Variable	MartelliUnifier.MutableConstraint.result
(package private) final Unifier.Variable	MartelliUnifier.MutableConstraint.v

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

Modifier and Type	Field	Description
private final BiConsumer<Unifier.Variable,Unifier.Term>	Tracers.ConfigurableTracerImpl.cycleHandler
(package private) final Map<Unifier.Variable,Unifier.Term>	MartelliUnifier.Work.result
final Map<Unifier.Variable,Unifier.Term>	Unifier.Substitution.resultMap	The result of the unification algorithm proper.
private final BiConsumer<Unifier.Variable,Unifier.Term>	Tracers.ConfigurableTracerImpl.variableHandler
private final 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(int ordinal)	Creates a variable, or returns an existing one with the same ordinal.
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, BiConsumer<Unifier.Term,Unifier.Term> termPairs)
private void	MartelliUnifier.act(Unifier.Variable variable, Unifier.Term term, MartelliUnifier.Work work, Unifier.Substitution substitution, Map<Unifier.Variable,Unifier.Action> termActions, Set<Unifier.Variable> set)
private void	MartelliUnifier.act2(Unifier.Variable variable, Unifier.Term term, MartelliUnifier.Work work, Unifier.Substitution substitution, Map<Unifier.Variable,Unifier.Action> termActions, Set<Unifier.Variable> set)
Unifier.Term	Unifier.Sequence.apply1(Unifier.Variable variable, Unifier.Term term)
Unifier.Term	Unifier.Term.apply1(Unifier.Variable variable, Unifier.Term term)	Applies a single-variable substitution to this term.
Unifier.Term	Unifier.Variable.apply1(Unifier.Variable variable, Unifier.Term term)
int	Unifier.Variable.compareTo(Unifier.Variable o)
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.
boolean	Unifier.Sequence.contains(Unifier.Variable variable)
boolean	Unifier.Term.contains(Unifier.Variable variable)	Returns whether this term references a given 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.ConfigurableTracerImpl.onCycle(Unifier.Variable variable, Unifier.Term term)
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.ConfigurableTracerImpl.onVariable(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)
private void	MartelliUnifier.Work.sub(Unifier.Variable variable, Unifier.Term term, ArrayQueue<Unifier.TermTerm> queue, MartelliUnifier.Kind kind)
private @Nullable Unifier.Failure	MartelliUnifier.Work.subConstraint(Unifier.Variable variable, Unifier.Term term)
private @Nullable Unifier.Failure	MartelliUnifier.Work.substituteList(Unifier.Variable variable, Unifier.Term term)	Applies a mapping to all term pairs in a list, modifying them in place.
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, MartelliUnifier.Work work, Unifier.Substitution substitution, Map<Unifier.Variable,Unifier.Action> termActions, Set<Unifier.Variable> set)
private void	MartelliUnifier.act(Unifier.Variable variable, Unifier.Term term, MartelliUnifier.Work work, Unifier.Substitution substitution, Map<Unifier.Variable,Unifier.Action> termActions, Set<Unifier.Variable> set)
private void	MartelliUnifier.act2(Unifier.Variable variable, Unifier.Term term, MartelliUnifier.Work work, Unifier.Substitution substitution, Map<Unifier.Variable,Unifier.Action> termActions, Set<Unifier.Variable> set)
private void	MartelliUnifier.act2(Unifier.Variable variable, Unifier.Term term, MartelliUnifier.Work work, Unifier.Substitution substitution, Map<Unifier.Variable,Unifier.Action> termActions, Set<Unifier.Variable> set)
Unifier.Term	Unifier.Sequence.apply(Map<Unifier.Variable,Unifier.Term> substitutions)
Unifier.Term	Unifier.Term.apply(Map<Unifier.Variable,Unifier.Term> substitutions)	Applies a substitution to this term.
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)
@NonNull Unifier.Result	MartelliUnifier.unify(List<Unifier.TermTerm> termPairs, Map<Unifier.Variable,Unifier.Action> termActions, List<Unifier.Constraint> constraints, Unifier.Tracer tracer)
@NonNull Unifier.Result	RobinsonUnifier.unify(List<Unifier.TermTerm> termPairs, Map<Unifier.Variable,Unifier.Action> termActions, List<Unifier.Constraint> constraints, Unifier.Tracer tracer)
abstract @NonNull Unifier.Result	Unifier.unify(List<Unifier.TermTerm> termPairs, Map<Unifier.Variable,Unifier.Action> termActions, List<Unifier.Constraint> constraints, Unifier.Tracer tracer)
Tracers.ConfigurableTracer	Tracers.ConfigurableTracer.withCycleHandler(BiConsumer<Unifier.Variable,Unifier.Term> handler)	Sets handler for Unifier.Tracer.onCycle(Variable, Term).
Tracers.ConfigurableTracer	Tracers.ConfigurableTracerImpl.withCycleHandler(BiConsumer<Unifier.Variable,Unifier.Term> cycleHandler)
Tracers.ConfigurableTracer	Tracers.ConfigurableTracer.withVariableHandler(BiConsumer<Unifier.Variable,Unifier.Term> handler)	Sets handler for Unifier.Tracer.onVariable(Variable, Term).
Tracers.ConfigurableTracer	Tracers.ConfigurableTracerImpl.withVariableHandler(BiConsumer<Unifier.Variable,Unifier.Term> variableHandler)

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

Modifier	Constructor	Description
(package private)	Constraint(Unifier.Variable arg, PairList<Unifier.Term,Unifier.Constraint.Action> termActions)	Creates a Constraint.
(package private)	MutableConstraint(Unifier.Variable arg, PairList<Unifier.Term,Unifier.Constraint.Action> termActions)	Creates a MutableConstraint.

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

Modifier	Constructor	Description
(package private)	Substitution(Map<Unifier.Variable,Unifier.Term> resultMap)
private	SubstitutionResult(Map<Unifier.Variable,Unifier.Term> resultMap)
(package private)	Work(Unifier.Tracer tracer, List<Unifier.TermTerm> termPairs, List<Unifier.Constraint> constraints, Map<Unifier.Variable,Unifier.Term> result)