Uses of Class
net.hydromatic.morel.compile.TypeResolver.Triple

Packages that use TypeResolver.Triple

Package	Description
net.hydromatic.morel.compile	Validates programs (represented as AstNode), deduces their type, and compiles them into code that can be evaluated.

Uses of TypeResolver.Triple in net.hydromatic.morel.compile

Fields in net.hydromatic.morel.compile with type parameters of type TypeResolver.Triple

Modifier and Type	Field	Description
private final PairList<Ast.FromStep,TypeResolver.Triple>	TypeResolver.stepStack

Methods in net.hydromatic.morel.compile that return TypeResolver.Triple

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)
(package private) static TypeResolver.Triple	TypeResolver.Triple.of(TypeResolver.TypeEnv env, Unifier.Variable v, Unifier.Variable c)
(package private) static TypeResolver.Triple	TypeResolver.Triple.singleton(TypeResolver.TypeEnv env, Unifier.Variable v)	Represents a singleton, not a collection.
(package private) TypeResolver.Triple	TypeResolver.Triple.withEnv(TypeResolver.TypeEnv env)
(package private) TypeResolver.Triple	TypeResolver.Triple.withV(Unifier.Variable v)

Methods in net.hydromatic.morel.compile with parameters of type TypeResolver.Triple

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)