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.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 Map<String,Binding>	Main.Shell.bindingMap
private 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

Constructor	Description
Shell(Main main, Environment env0, Consumer<String> outLines, Map<String,Binding> bindingMap)
SubShell(Main main, Consumer<String> outLines, Map<String,Binding> outBindings, Environment env0)
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
com.google.common.collect.ImmutableList<Binding>	Core.FromStep.bindings
private 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.
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.Where	Core.Where.copy(Core.Exp exp, List<Binding> bindings)
Core.Yield	Core.Yield.copy(List<Binding> bindings, Core.Exp exp)
private boolean	FromBuilder.isTrivial(Core.Tuple tuple, @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)
private FromBuilder.TupleType	FromBuilder.tupleType(Core.Tuple tuple, @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

Constructor	Description
FromStep(Op op, com.google.common.collect.ImmutableList<Binding> bindings)
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)
Order(com.google.common.collect.ImmutableList<Binding> bindings, com.google.common.collect.ImmutableList<Core.OrderItem> orderItems)
Scan(Op op, com.google.common.collect.ImmutableList<Binding> bindings, Core.Pat pat, Core.Exp exp, Core.Exp condition)
Where(com.google.common.collect.ImmutableList<Binding> bindings, Core.Exp exp)
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 Binding	Environments.SubEnvironment.binding

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

Modifier and Type	Field	Description
private List<Binding>	Compiles.PatternBinder.bindings
private 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
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 Analyzer	Analyzer.bind(Binding binding)
protected Environment	Environment.bind(Binding binding)
protected Environment	Environments.SubEnvironment.bind(Binding binding)
protected abstract EnvShuttle	EnvShuttle.bind(Binding binding)	Creates a shuttle the same as this but overriding a binding.
protected abstract EnvVisitor	EnvVisitor.bind(Binding binding)	Creates a shuttle the same as this but overriding a binding.
protected EnvShuttle	Inliner.bind(Binding binding)
protected EnvVisitor	RefChecker.bind(Binding binding)
protected EnvShuttle	Relationalizer.bind(Binding binding)
protected Resolver.ReferenceFinder	Resolver.ReferenceFinder.bind(Binding 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.
protected Analyzer	Analyzer.bind(List<Binding> bindingList)
(package private) static Environment	Environments.bind(Environment env, Iterable<Binding> bindings)	Creates an environment that is a given environment plus bindings.
protected abstract EnvShuttle	EnvShuttle.bind(List<Binding> bindingList)	Creates a shuttle the same as this but with overriding bindings.
protected abstract EnvVisitor	EnvVisitor.bind(List<Binding> bindingList)	Creates a shuttle the same as this but with overriding bindings.
protected Inliner	Inliner.bind(List<Binding> bindingList)
protected EnvVisitor	RefChecker.bind(List<Binding> bindingList)
protected Relationalizer	Relationalizer.bind(List<Binding> bindingList)
protected Resolver.ReferenceFinder	Resolver.ReferenceFinder.bind(List<Binding> bindingList)
(package private) CalciteCompiler.RelContext	CalciteCompiler.RelContext.bindAll(Iterable<Binding> bindings)
(package private) Compiler.Context	Compiler.Context.bindAll(Iterable<Binding> bindings)
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)
Resolver	Resolver.withEnv(Iterable<Binding> bindings)	Binds a Resolver to an environment that consists of the current environment plus some bindings.

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

Constructor	Description
SubEnvironment(Environment parent, Binding binding)

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

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

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)