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

Packages that use Unifier.Sequence

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

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

Modifier and Type	Method	Description
(package private) static List<String>	TypeResolver.fieldList(Unifier.Sequence sequence)
Type	TypeMap.TermToTypeConverter.visit(Unifier.Sequence sequence)

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

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

Modifier and Type	Field	Description
private final Map<String,Unifier.Sequence>	Unifier.atomMap
private final Map<String,Unifier.Sequence>	Unifier.sequenceMap

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

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.Sequence	Unifier.apply(String operator, Unifier.Term... args)	Creates a sequence, or returns an existing one with the same terms.
(package private) static Unifier.Sequence	Unifier.sequenceApply(String operator, Map<Unifier.Variable,Unifier.Term> substitutions, Iterable<Unifier.Term> terms)

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

Modifier and Type	Method	Description
private boolean	Unifier.Sequence.equalsShallow(Unifier.Sequence sequence)	Compares whether two sequences have the same terms.
void	Tracers.NullTracer.onConflict(Unifier.Sequence left, Unifier.Sequence right)
void	Tracers.PrintTracer.onConflict(Unifier.Sequence left, Unifier.Sequence right)
void	Unifier.Tracer.onConflict(Unifier.Sequence left, Unifier.Sequence right)
void	Tracers.NullTracer.onSequence(Unifier.Sequence left, Unifier.Sequence right)
void	Tracers.PrintTracer.onSequence(Unifier.Sequence left, Unifier.Sequence right)
void	Unifier.Tracer.onSequence(Unifier.Sequence left, Unifier.Sequence right)
private Unifier.Result	RobinsonUnifier.sequenceUnify(Unifier.Sequence lhs, Unifier.Sequence rhs)
R	Unifier.TermVisitor.visit(Unifier.Sequence sequence)