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 that return Unifier.Sequence

Modifier and Type	Method	Description
private Unifier.Sequence	TypeResolver.tuple(java.util.List<Unifier.Term> types)

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

Modifier and Type	Method	Description
private static java.util.List<java.lang.String>	TypeResolver.fieldList(Unifier.Sequence sequence)
Type	TypeResolver.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 java.util.Map<java.lang.String,Unifier.Sequence>	Unifier.atomMap
private java.util.Map<java.lang.String,Unifier.Sequence>	Unifier.sequenceMap

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

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

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.
private Unifier.Result	RobinsonUnifier.sequenceUnify(Unifier.Sequence lhs, Unifier.Sequence rhs)
R	Unifier.TermVisitor.visit(Unifier.Sequence sequence)