Uses of Interface
net.hydromatic.morel.util.PairList

Packages that use PairList

Package	Description
net.hydromatic.morel.ast	Abstract syntax tree.
net.hydromatic.morel.compile	Validates programs (represented as AstNode), deduces their type, and compiles them into code that can be evaluated.
net.hydromatic.morel.eval	Evaluates expressions.
net.hydromatic.morel.util	Utilities.

Uses of PairList in net.hydromatic.morel.ast

Methods in net.hydromatic.morel.ast with parameters of type PairList

Modifier and Type	Method	Description
Ast.Group	Ast.Group.copy(PairList<Ast.Id,Ast.Exp> groupExps, List<Ast.Aggregate> aggregates)
Ast.Group	AstBuilder.group(Pos pos, PairList<Ast.Id,Ast.Exp> groupExps, List<Ast.Aggregate> aggregates)

Uses of PairList in net.hydromatic.morel.compile

Fields in net.hydromatic.morel.compile declared as PairList

Modifier and Type	Field	Description
(package private) final PairList<Core.IdPat,Core.Exp>	Extents.Extent.idPats	New variables introduced as scans over an existing relation (list of records).
private final PairList<Unifier.Variable,PrimitiveType>	TypeResolver.preferredTypes
(package private) final PairList<Set<Core.Pat>,Consumer<FromBuilder>>	SuchThatShuttle.DeferredStepList.steps
private final PairList<Ast.FromStep,TypeResolver.Triple>	TypeResolver.stepStack

Fields in net.hydromatic.morel.compile with type parameters of type PairList

Modifier and Type	Field	Description
(package private) final Map<Core.Pat,PairList<Core.Exp,Core.Exp>>	Extents.ExtentMap.map

Methods in net.hydromatic.morel.compile that return PairList

Modifier and Type	Method	Description
PairList<Core.Exp,Core.Exp>	Extents.ExtentMap.get(TypeSystem typeSystem, Core.Pat pat)
private @NonNull PairList<Core.Exp,Core.Exp>	Extents.ExtentMap.get_(TypeSystem typeSystem, Core.Pat pat)	Constructs an expression for the extent of a pattern.

Methods in net.hydromatic.morel.compile with parameters of type PairList

Modifier and Type	Method	Description
private static TypeResolver.TypeEnv	TypeResolver.bindAll(TypeResolver.TypeEnv env, PairList<Ast.IdPat,Unifier.Term> termMap)
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.
static Extents.Analysis	Extents.create(TypeSystem typeSystem, Core.Pat pat, SortedMap<Core.NamedPat,Core.Exp> boundPats, Iterable<? extends Core.FromStep> followingSteps, PairList<Core.IdPat,Core.Exp> idPats)	Analyzes the extent of a pattern in an expression and creates an Extents.Analysis.
private void	TypeResolver.deduceDatatypeBindType(Ast.DatatypeBind datatypeBind, PairList<String,Type.Key> tyCons)
private Ast.Decl	TypeResolver.deduceDataTypeDeclType(TypeResolver.TypeEnv env, Ast.DatatypeDecl datatypeDecl, PairList<Ast.IdPat,Unifier.Term> termMap)
private Ast.Decl	TypeResolver.deduceDeclType(TypeResolver.TypeEnv env, Ast.Decl node, PairList<Ast.IdPat,Unifier.Term> termMap)
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 Ast.Decl	TypeResolver.deduceOverDeclType(TypeResolver.TypeEnv env, Ast.OverDecl overDecl, PairList<Ast.IdPat,Unifier.Term> termMap)
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 AstNode	TypeResolver.deduceValBindType(TypeResolver.TypeEnv env, Ast.ValBind valBind, PairList<Ast.IdPat,Unifier.Term> termMap, Unifier.Variable vPat)
private Ast.Decl	TypeResolver.deduceValDeclType(TypeResolver.TypeEnv env, Ast.ValDecl valDecl, PairList<Ast.IdPat,Unifier.Term> termMap)
private Unifier.Variable	TypeResolver.fieldVar(PairList<Ast.Id,Unifier.Variable> fieldVars)
private void	SuchThatShuttle.FromVisitor.killTemporaryScans(PairList<Core.IdPat,Core.Exp> idPats)
(package private) static Pair<Core.Exp,Core.Exp>	Extents.reduceAnd(TypeSystem typeSystem, PairList<Core.Exp,Core.Exp> extentFilters)	Reduces a list of extent-filter pairs [e0, f0, e1, f1, ...] to an extent-filter pair [e0 intersect e1 ..., f0 andalso f1 ...].
(package private) static Pair<Core.Exp,Core.Exp>	Extents.reduceOr(TypeSystem typeSystem, PairList<Core.Exp,Core.Exp> extentFilters)	Reduces a list of extent-filter pairs [e0, f0, e1, f1, ...] to an extent-filter pair [e0 union e1 ..., f0 orelse f1 ...].
private Core.From	SuchThatShuttle.FromVisitor.rewrite1(Core.Scan scan, List<? extends Core.FromStep> laterSteps, PairList<Core.IdPat,Core.Exp> idPats)	Rewrites an unbounded scan to a from expression, using predicates in later steps to determine the ranges of variables.

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

Modifier and Type	Method	Description
(package private) void	Extents.Extent.g3(Map<Core.Pat,PairList<Core.Exp,Core.Exp>> map, Core.Exp filter)

Constructors in net.hydromatic.morel.compile with parameters of type PairList

Modifier	Constructor	Description
(package private)	Extent(TypeSystem typeSystem, Core.Pat pat, SortedMap<Core.NamedPat,Core.Exp> boundPats, PairList<Core.IdPat,Core.Exp> idPats)

Uses of PairList in net.hydromatic.morel.eval

Fields in net.hydromatic.morel.eval declared as PairList

Modifier and Type	Field	Description
(package private) final PairList<Integer,Function<String,Object>>	Files.DataFile.parsers

Methods in net.hydromatic.morel.eval that return PairList

Modifier and Type	Method	Description
(package private) PairList<String,Type.Key>	Files.FileType.deduceFields(BufferedReader r)
private static PairList<String,Type.Key>	Files.deduceFieldsCsv(BufferedReader r)

Constructors in net.hydromatic.morel.eval with parameters of type PairList

Modifier	Constructor	Description
(package private)	DataFile(File file, Files.FileType fileType, Type.Key typeKey, PairList<Integer,Function<String,Object>> parsers)

Uses of PairList in net.hydromatic.morel.util

Subinterfaces of PairList in net.hydromatic.morel.util

Modifier and Type	Interface	Description
interface	ImmutablePairList<T,U>	Immutable list of pairs.

Classes in net.hydromatic.morel.util that implement PairList

Modifier and Type	Class	Description
(package private) static class	PairLists.AbstractPairList<T,U>	Base class for all implementations of PairList.
(package private) static class	PairLists.ArrayImmutablePairList<T,U>	Immutable list of pairs backed by an array.
(package private) static class	PairLists.EmptyImmutablePairList<T,U>	Empty immutable list of pairs.
(package private) static class	PairLists.MapPairList<T,U>	List of pairs backed by a map.
(package private) static class	PairLists.MutablePairList<T,U>	Mutable version of PairList.
(package private) static class	PairLists.SingletonImmutablePairList<T,U>	Immutable list that contains one pair.

Fields in net.hydromatic.morel.util declared as PairList

Modifier and Type	Field	Description
(package private) final PairList<Unifier.Term,Unifier.Constraint.Action>	MartelliUnifier.MutableConstraint.termActions
final PairList<Unifier.Term,Unifier.Constraint.Action>	Unifier.Constraint.termActions

Methods in net.hydromatic.morel.util that return PairList

Modifier and Type	Method	Description
static <T, U> PairList<T,U>	PairList.backedBy(List<@Nullable Object> list)	Creates a PairList backed by a given list.
PairList<T,U>	PairList.Builder.build()	Builds the PairList.
static <T, U> PairList<T,U>	ImmutablePairList.copyOf(T t, U u, Object... rest)	Creates an ImmutablePairList with one or more entries.
static <T, U> PairList<T,U>	PairList.copyOf(Iterable<? extends Map.Entry<T,U>> list)	Creates a PairList whose contents are a copy of a given collection of pairs.
static <T, U> PairList<T,U>	PairList.copyOf(T t, U u, Object... rest)	Creates a PairList with one or more entries.
static <T, U> PairList<T,U>	PairList.of()	Creates an empty PairList.
static <T, U> PairList<T,U>	PairList.of(Map<T,U> map)	Creates a PairList from a Map.
static <T, U> PairList<T,U>	PairList.of(T t, U u)	Creates a singleton PairList.
static <T, U> PairList<T,U>	PairList.viewOf(Map<T,U> map)	Creates a PairList that is a view of a Map.
static <T, U> PairList<T,U>	PairList.withCapacity(int initialCapacity)	Creates an empty PairList with a specified initial capacity.

Methods in net.hydromatic.morel.util with parameters of type PairList

Modifier and Type	Method	Description
default boolean	PairList.addAll(int index, PairList<T,U> list2)	Adds to this list, at a given index, the contents of another PairList.
default boolean	PairList.addAll(PairList<T,U> list2)	Adds to this list the contents of another PairList.
boolean	PairLists.MutablePairList.addAll(int index, PairList<T,U> list2)
boolean	PairLists.MutablePairList.addAll(PairList<T,U> list2)
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.

Constructors in net.hydromatic.morel.util with parameters of type PairList

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.