Uses of Class
net.hydromatic.morel.type.Binding

Packages that use Binding

Package	Description
net.hydromatic.morel	Standard ML interpreter, implemented in Java.
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.type	Type system.

Uses of Binding in net.hydromatic.morel

Fields in net.hydromatic.morel with type parameters of type Binding

Modifier and Type	Field	Description
protected final Map<String,Binding>	Main.Shell.bindingMap
private final Map<String,Binding>	Shell.SubShell.Use.bindings

Method parameters in net.hydromatic.morel with type arguments of type Binding

Modifier and Type	Method	Description
(package private) void	Shell.SubShell.extracted(@Nullable Map<String,Binding> outBindings)

Constructor parameters in net.hydromatic.morel with type arguments of type Binding

Modifier	Constructor	Description
(package private)	Shell(Main main, Environment env0, Consumer<String> echoLines, Consumer<String> outLines, Map<String,Binding> bindingMap)
(package private)	SubShell(Main main, Consumer<String> echoLines, Consumer<String> outLines, Map<String,Binding> outBindings, Environment env0)
(package private)	Use(Environment env, Map<String,Binding> bindings)

Uses of Binding in net.hydromatic.morel.ast

Fields in net.hydromatic.morel.ast with type parameters of type Binding

Modifier and Type	Field	Description
final com.google.common.collect.ImmutableList<Binding>	Core.FromStep.bindings
private final List<Binding>	FromBuilder.bindings

Methods in net.hydromatic.morel.ast that return types with arguments of type Binding

Modifier and Type	Method	Description
List<Binding>	FromBuilder.bindings()	Returns the bindings available after the most recent step.
static List<Binding>	CoreBuilder.lastBindings(List<? extends Core.FromStep> steps)

Method parameters in net.hydromatic.morel.ast with type arguments of type Binding

Modifier and Type	Method	Description
Core.Order	Core.Order.copy(List<Binding> bindings, List<Core.OrderItem> orderItems)
Core.Scan	Core.Scan.copy(List<Binding> bindings, Core.Pat pat, Core.Exp exp, Core.Exp condition)
Core.Skip	Core.Skip.copy(Core.Exp exp, List<Binding> bindings)
Core.Take	Core.Take.copy(Core.Exp exp, List<Binding> bindings)
Core.Where	Core.Where.copy(Core.Exp exp, List<Binding> bindings)
Core.Yield	Core.Yield.copy(List<Binding> bindings, Core.Exp exp)
private static boolean	FromBuilder.isTrivial(Core.Tuple tuple, List<Binding> bindings, @Nullable List<Binding> bindings2)	Returns whether tuple is something like "{i = i, j = j}".
Core.Order	CoreBuilder.order(List<Binding> bindings, Iterable<Core.OrderItem> orderItems)
Core.Scan	CoreBuilder.scan(Op op, List<Binding> bindings, Core.Pat pat, Core.Exp exp, Core.Exp condition)
Core.Skip	CoreBuilder.skip(List<Binding> bindings, Core.Exp exp)
Core.Take	CoreBuilder.take(List<Binding> bindings, Core.Exp exp)
private static FromBuilder.TupleType	FromBuilder.tupleType(Core.Tuple tuple, List<Binding> bindings, @Nullable List<Binding> bindings2)	Returns whether tuple is something like "{i = i, j = j}".
Core.Where	CoreBuilder.where(List<Binding> bindings, Core.Exp exp)
Core.Yield	CoreBuilder.yield_(List<Binding> bindings, Core.Exp exp)
FromBuilder	FromBuilder.yield_(boolean uselessIfLast, @Nullable List<Binding> bindings2, Core.Exp exp)	Creates a "yield" step.

Constructor parameters in net.hydromatic.morel.ast with type arguments of type Binding

Modifier	Constructor	Description
(package private)	FromStep(Op op, com.google.common.collect.ImmutableList<Binding> bindings)
(package private)	Group(com.google.common.collect.ImmutableList<Binding> bindings, com.google.common.collect.ImmutableSortedMap<Core.IdPat,Core.Exp> groupExps, com.google.common.collect.ImmutableSortedMap<Core.IdPat,Core.Aggregate> aggregates)
(package private)	Order(com.google.common.collect.ImmutableList<Binding> bindings, com.google.common.collect.ImmutableList<Core.OrderItem> orderItems)
(package private)	Scan(Op op, com.google.common.collect.ImmutableList<Binding> bindings, Core.Pat pat, Core.Exp exp, Core.Exp condition)
(package private)	Skip(com.google.common.collect.ImmutableList<Binding> bindings, Core.Exp exp)
(package private)	Take(com.google.common.collect.ImmutableList<Binding> bindings, Core.Exp exp)
(package private)	Where(com.google.common.collect.ImmutableList<Binding> bindings, Core.Exp exp)
(package private)	Yield(com.google.common.collect.ImmutableList<Binding> bindings, Core.Exp exp)

Uses of Binding in net.hydromatic.morel.compile

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

Modifier and Type	Field	Description
private final Binding	Environments.SubEnvironment.binding

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

Modifier and Type	Field	Description
private final List<Binding>	Compiles.PatternBinder.bindings
private final Map<Core.NamedPat,Binding>	Environments.MapEnvironment.map

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

Modifier and Type	Method	Description
abstract @Nullable Binding	Environment.getOpt(String name)	Returns the binding of name if bound, null if not.
abstract @Nullable Binding	Environment.getOpt(Core.NamedPat id)	Returns the binding of id if bound, null if not.
@Nullable Binding	Environments.EmptyEnvironment.getOpt(String name)
@Nullable Binding	Environments.EmptyEnvironment.getOpt(Core.NamedPat id)
@Nullable Binding	Environments.MapEnvironment.getOpt(String name)
@Nullable Binding	Environments.MapEnvironment.getOpt(Core.NamedPat id)
@Nullable Binding	Environments.SubEnvironment.getOpt(String name)
@Nullable Binding	Environments.SubEnvironment.getOpt(Core.NamedPat id)

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

Modifier and Type	Method	Description
final Map<String,Binding>	Environment.getValueMap()	Returns a map of the values and bindings.
private com.google.common.collect.ImmutableSortedMap<String,Binding>	Compiler.sortedBindingMap(Iterable<Binding> bindings)

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

Modifier and Type	Method	Description
protected Environment	Environment.bind(Binding binding)
protected Environment	Environments.SubEnvironment.bind(Binding binding)
protected EnvShuttle	EnvShuttle.bind(Binding binding)	Creates a shuttle the same as this but overriding a binding.
protected EnvVisitor	EnvVisitor.bind(Binding binding)	Creates a visitor the same as this but overriding a binding.
private Core.NamedPat	Resolver.getIdPat(Ast.Id id, Binding binding)	Converts an Id that is a reference to a variable into an IdPat that represents its declaration.

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

Modifier and Type	Method	Description
static void	Compiles.acceptBinding(TypeSystem typeSystem, Core.Pat pat, List<Binding> bindings)	Visits a pattern, adding bindings to a list.
(package private) static Environment	Environments.bind(Environment env, Iterable<Binding> bindings)	Creates an environment that is a given environment plus bindings.
protected EnvShuttle	EnvShuttle.bind(List<Binding> bindingList)	Creates a shuttle the same as this but with overriding bindings.
protected EnvVisitor	EnvVisitor.bind(Iterable<Binding> bindingList)	Creates a visitor the same as this but with overriding bindings.
(package private) CalciteCompiler.RelContext	CalciteCompiler.RelContext.bindAll(Iterable<Binding> bindings)
(package private) Compiler.Context	Compiler.Context.bindAll(Iterable<Binding> bindings)
final Environment	Environment.bindAll(Iterable<Binding> bindings)	Creates an environment that is the same as this, plus the given bindings.
static void	Compiles.bindDataType(TypeSystem typeSystem, List<Binding> bindings, DataType dataType)
(package private) static Compiles.PatternBinder	Compiles.binding(TypeSystem typeSystem, List<Binding> bindings)
private com.google.common.collect.ImmutableList<String>	Compiler.bindingNames(List<Binding> bindings)
(package private) static void	Compiles.bindPattern(TypeSystem typeSystem, List<Binding> bindings, Core.DatatypeDecl datatypeDecl)
(package private) static void	Compiles.bindPattern(TypeSystem typeSystem, List<Binding> bindings, Core.NamedPat namedPat)
(package private) static void	Compiles.bindPattern(TypeSystem typeSystem, List<Binding> bindings, Core.Pat pat)
(package private) static void	Compiles.bindPattern(TypeSystem typeSystem, List<Binding> bindings, Core.ValDecl valDecl)	Richer than Compiles.bindPattern(TypeSystem, List, Core.Pat) because we have the expression.
protected Supplier<Codes.RowSink>	Compiler.createRowSinkFactory(Compiler.Context cx0, com.google.common.collect.ImmutableList<Binding> bindings, List<Core.FromStep> steps, Type elementType)
static void	BuiltIn.dataTypes(TypeSystem typeSystem, List<Binding> bindings)	Defines built-in datatype and eqtype instances, e.g.
private static void	BuiltIn.defineDataType(TypeSystem ts, List<Binding> bindings, String name, boolean internal, int varCount, UnaryOperator<BuiltIn.DataTypeHelper> transform)
private static void	Environments.foreignBindings(TypeSystem typeSystem, Map<String,ForeignValue> map, List<Binding> bindings)
private Resolver.ResolvedDecl	Resolver.resolve(Ast.Decl decl, List<Binding> bindings)
private Resolver.ResolvedDatatypeDecl	Resolver.resolveDatatypeDecl(Ast.DatatypeDecl decl, List<Binding> bindings)
private Resolver.ResolvedValDecl	Resolver.resolveValDecl(Ast.ValDecl valDecl, List<Binding> bindings)
private com.google.common.collect.ImmutableSortedMap<String,Binding>	Compiler.sortedBindingMap(Iterable<Binding> bindings)
(package private) abstract void	Environment.visit(Consumer<Binding> consumer)	Visits every variable binding in this environment.
(package private) void	Environments.EmptyEnvironment.visit(Consumer<Binding> consumer)
(package private) void	Environments.MapEnvironment.visit(Consumer<Binding> consumer)
(package private) void	Environments.SubEnvironment.visit(Consumer<Binding> consumer)
void	EnvVisitor.visitStep(Core.FromStep step, List<Binding> bindings)
final Resolver	Resolver.withEnv(Iterable<Binding> bindings)	Binds a Resolver to an environment that consists of the current environment plus some bindings.
private CalciteCompiler.RelContext	CalciteCompiler.yield_(CalciteCompiler.RelContext cx, List<Binding> bindings, Core.Exp exp)

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

Modifier	Constructor	Description
(package private)	SubEnvironment(Environment parent, Binding binding)

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

Modifier	Constructor	Description
(package private)	MapEnvironment(Environment parent, com.google.common.collect.ImmutableMap<Core.NamedPat,Binding> map)
(package private)	PatternBinder(TypeSystem typeSystem, List<Binding> bindings)

Uses of Binding in net.hydromatic.morel.eval

Method parameters in net.hydromatic.morel.eval with type arguments of type Binding

Modifier and Type	Method	Description
static Codes.RowSink	Codes.orderRowSink(Iterable<? extends Map.Entry<Code,Boolean>> codes, com.google.common.collect.ImmutableList<Binding> bindings, Codes.RowSink rowSink)	Creates a Codes.RowSink for a order clause.

Uses of Binding in net.hydromatic.morel.type

Methods in net.hydromatic.morel.type that return Binding

Modifier and Type	Method	Description
Binding	TypeSystem.bindTyCon(DataType dataType, String tyConName)	Creates a binding of a type constructor value.
static Binding	Binding.of(Core.NamedPat id)
static Binding	Binding.of(Core.NamedPat id, Object value)
static Binding	Binding.of(Core.NamedPat id, Core.Exp exp)
Binding	Binding.withParameter(boolean parameter)