Uses of Interface
net.hydromatic.morel.util.Unifier.Term

Packages that use Unifier.Term

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

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

Modifier and Type	Field	Description
(package private) final Unifier.Term	TypeResolver.TermVariable.term

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

Modifier and Type	Field	Description
private final Map<AstNode,Unifier.Term>	TypeResolver.map
private final Map<AstNode,Unifier.Term>	TypeMap.nodeTypeTerms
private final Function<TypeSystem,Unifier.Term>	TypeResolver.BindTypeEnv.termFactory

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

Modifier and Type	Method	Description
private Unifier.Term	TypeResolver.fieldRecord(Map<Ast.Id,Unifier.Variable> fieldVars)
Unifier.Term	TypeResolver.BindTypeEnv.get(TypeSystem typeSystem, String name, Function<String,RuntimeException> exceptionFactory)
Unifier.Term	TypeResolver.EmptyTypeEnv.get(TypeSystem typeSystem, String name, Function<String,RuntimeException> exceptionFactory)
Unifier.Term	TypeResolver.TypeEnv.get(TypeSystem typeSystem, String name, Function<String,RuntimeException> exceptionFactory)
private Unifier.Term	TypeResolver.record(NavigableMap<String,? extends Unifier.Term> labelTypes)
private Unifier.Term	TypeResolver.toTerm(PrimitiveType type)
private Unifier.Term	TypeResolver.toTerm(Type type, TypeResolver.Subst subst)
private Unifier.Term	TypeResolver.tuple(List<Unifier.Term> types)

Methods in net.hydromatic.morel.compile that return types with arguments of type Unifier.Term

Modifier and Type	Method	Description
private List<Unifier.Term>	TypeResolver.toTerms(Iterable<? extends Type> types, TypeResolver.Subst subst)

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

Modifier and Type	Method	Description
default TypeResolver.TypeEnv	TypeResolver.TypeEnv.bind(String name, Unifier.Term term)
private void	TypeResolver.equiv(Unifier.Term term, Unifier.Term term2)
private void	TypeResolver.equiv(Unifier.Term term, Unifier.Variable atom)
private <E extends AstNode> E	TypeResolver.reg(E node, Unifier.Variable variable, Unifier.Term term)
(package private) Type	TypeMap.termToType(Unifier.Term term)

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

Modifier and Type	Method	Description
TypeResolver.TypeEnv	TypeResolver.BindTypeEnv.bind(String name, Function<TypeSystem,Unifier.Term> termFactory)
TypeResolver.TypeEnv	TypeResolver.EmptyTypeEnv.bind(String name, Function<TypeSystem,Unifier.Term> termFactory)
TypeResolver.TypeEnv	TypeResolver.TypeEnv.bind(String name, Function<TypeSystem,Unifier.Term> termFactory)
private static TypeResolver.TypeEnv	TypeResolver.bindAll(TypeResolver.TypeEnv env, Map<Ast.IdPat,Unifier.Term> termMap)
private Ast.Decl	TypeResolver.deduceDataTypeDeclType(TypeResolver.TypeEnv env, Ast.DatatypeDecl datatypeDecl, Map<Ast.IdPat,Unifier.Term> termMap)
private Ast.Decl	TypeResolver.deduceDeclType(TypeResolver.TypeEnv env, Ast.Decl node, Map<Ast.IdPat,Unifier.Term> termMap)
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 AstNode	TypeResolver.deduceValBindType(TypeResolver.TypeEnv env, Ast.ValBind valBind, Map<Ast.IdPat,Unifier.Term> termMap, Unifier.Variable v, Unifier.Variable vPat)
private Ast.Decl	TypeResolver.deduceValDeclType(TypeResolver.TypeEnv env, Ast.ValDecl valDecl, Map<Ast.IdPat,Unifier.Term> termMap)
private Unifier.Term	TypeResolver.record(NavigableMap<String,? extends Unifier.Term> labelTypes)
private Unifier.Term	TypeResolver.tuple(List<Unifier.Term> types)

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

Modifier	Constructor	Description
private	TermVariable(Unifier.Term term, Unifier.Variable variable)

Constructor parameters in net.hydromatic.morel.compile with type arguments of type Unifier.Term

Modifier	Constructor	Description
(package private)	BindTypeEnv(String definedName, Function<TypeSystem,Unifier.Term> termFactory, TypeResolver.TypeEnv parent)
(package private)	TypeMap(TypeSystem typeSystem, Map<AstNode,Unifier.Term> nodeTypeTerms, Unifier.Substitution substitution)

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

Classes in net.hydromatic.morel.util that implement Unifier.Term

Modifier and Type	Class	Description
static final class	Unifier.Sequence	A sequence of terms.
static final class	Unifier.Variable	A variable that represents a symbol or a sequence; unification's task is to find the substitutions for such variables.

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

Modifier and Type	Field	Description
(package private) final Unifier.Term	Unifier.TermTerm.left
(package private) final Unifier.Term	Unifier.TermTerm.right

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

Modifier and Type	Field	Description
final Map<Unifier.Variable,Unifier.Term>	Unifier.Substitution.resultMap	The result of the unification algorithm proper.
final List<Unifier.Term>	Unifier.Sequence.terms

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

Modifier and Type	Method	Description
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)
Unifier.Term	Unifier.atom(String name)	Creates an atom, or returns an existing one with the same name.
Unifier.Term	Unifier.Substitution.resolve(Unifier.Term term)

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

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.Term

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)
Unifier.Sequence	Unifier.apply(String operator, Unifier.Term... args)	Creates a sequence, or returns an existing one with the same terms.
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.onDelete(Unifier.Term left, Unifier.Term right)
void	Tracers.PrintTracer.onDelete(Unifier.Term left, Unifier.Term right)
void	Unifier.Tracer.onDelete(Unifier.Term left, Unifier.Term right)
void	Tracers.NullTracer.onSubstitute(Unifier.Term left, Unifier.Term right, Unifier.Term left2, Unifier.Term right2)
void	Tracers.PrintTracer.onSubstitute(Unifier.Term left, Unifier.Term right, Unifier.Term left2, Unifier.Term right2)
void	Unifier.Tracer.onSubstitute(Unifier.Term left, Unifier.Term right, Unifier.Term left2, Unifier.Term right2)
void	Tracers.NullTracer.onSwap(Unifier.Term left, Unifier.Term right)
void	Tracers.PrintTracer.onSwap(Unifier.Term left, Unifier.Term right)
void	Unifier.Tracer.onSwap(Unifier.Term left, Unifier.Term right)
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)
Unifier.Term	Unifier.Substitution.resolve(Unifier.Term term)
Unifier.Substitution	Unifier.substitution(Unifier.Term... varTerms)	Creates a substitution.
Unifier.Result	RobinsonUnifier.unify(Unifier.Term lhs, Unifier.Term rhs)

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

Modifier and Type	Method	Description
Unifier.Sequence	Unifier.apply(String operator, Iterable<? extends Unifier.Term> args)	Creates a sequence, or returns an existing one with the same terms.
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)
(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.

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

Modifier	Constructor	Description
	TermTerm(Unifier.Term left, Unifier.Term right)

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

Modifier	Constructor	Description
(package private)	Sequence(String operator, List<Unifier.Term> terms)
(package private)	Substitution(Map<Unifier.Variable,Unifier.Term> resultMap)
private	SubstitutionResult(Map<Unifier.Variable,Unifier.Term> resultMap)