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 final com.google.common.collect.Multimap<String,Binding>	Main.Shell.bindingMap	Contains the environment created by previous commands in this shell.
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, com.google.common.collect.Multimap<String,Binding> bindingMap)
(package private)	SubShell(Main main, Consumer<String> echoLines, Consumer<String> outLines, com.google.common.collect.Multimap<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.StepEnv.bindings
private final List<Binding>	FromBuilder.bindings

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

Modifier and Type	Method	Description
static Core.StepEnv	Core.StepEnv.atom(Binding binding)	Creates a StepEnv that is an atom.

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

Modifier and Type	Method	Description
static Core.StepEnv	Core.StepEnv.of(List<Binding> bindings, boolean atom)	Creates a StepEnv.

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

Modifier	Constructor	Description
private	StepEnv(List<Binding> bindings, boolean atom)

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 com.google.common.collect.ImmutableMultimap<Core.IdPat,Binding>	Environments.MapEnvironment.instanceMap
private final Map<Core.NamedPat,Binding>	Environments.MapEnvironment.map

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

Modifier and Type	Method	Description
final @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(Core.NamedPat id)
@Nullable Binding	Environments.MapEnvironment.getOpt(Core.NamedPat id)
@Nullable Binding	Environments.SubEnvironment.getOpt(Core.NamedPat id)
abstract @Nullable Binding	Environment.getOpt2(Core.NamedPat id)	Alternative version of Environment.getOpt(Core.NamedPat).
@Nullable Binding	Environments.EmptyEnvironment.getOpt2(Core.NamedPat id)
@Nullable Binding	Environments.MapEnvironment.getOpt2(Core.NamedPat id)
@Nullable Binding	Environments.SubEnvironment.getOpt2(Core.NamedPat id)
abstract @Nullable Binding	Environment.getTop(String name)	Returns the top binding of name.
@Nullable Binding	Environments.EmptyEnvironment.getTop(String name)
@Nullable Binding	Environments.MapEnvironment.getTop(String name)
@Nullable Binding	Environments.SubEnvironment.getTop(String name)

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(boolean skipOverloads)	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.

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

Modifier and Type	Method	Description
static void	Compiles.acceptBinding(Core.NamedPat namedPat, List<Binding> bindings)
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, Binding.Kind kind, 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.ValDecl valDecl)	Richer than Compiles.acceptBinding(TypeSystem, Core.Pat, List) because we have the expression.
abstract void	Environment.collect(Core.NamedPat id, Consumer<Binding> consumer)	Calls a consumer for all bindings of id.
void	Environments.EmptyEnvironment.collect(Core.NamedPat id, Consumer<Binding> consumer)
void	Environments.MapEnvironment.collect(Core.NamedPat id, Consumer<Binding> consumer)
void	Environments.SubEnvironment.collect(Core.NamedPat id, Consumer<Binding> consumer)
private void	Compiler.compileOverDecl(Core.OverDecl overDecl, List<Binding> bindings, List<Compiler.Action> actions)
static void	BuiltIn.dataTypes(TypeSystem typeSystem, List<Binding> bindings)	Defines built-in datatype and eqtype instances, e.g.
private static void	BuiltIn.defineType(TypeSystem ts, List<Binding> bindings, BuiltIn.BuiltInType builtInType)
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 static Resolver.ResolvedDecl	Resolver.resolveOverDecl(Ast.OverDecl ignoredDecl, List<Binding> ignoredBindings)
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)
final 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

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, com.google.common.collect.ImmutableMultimap<Core.IdPat,Binding> instanceMap)
(package private)	MapEnvironment(Environment parent, com.google.common.collect.ImmutableMap<Core.NamedPat,Binding> map, com.google.common.collect.ImmutableMultimap<Core.IdPat,Binding> instanceMap)
(package private)	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.inst(Core.NamedPat id, Core.IdPat overloadId, Object value)
static Binding	Binding.inst(Core.NamedPat id, Core.IdPat overloadId, Core.Exp exp)
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)
static Binding	Binding.over(Core.NamedPat id)
static Binding	Binding.over(Core.NamedPat id, Object value)
Binding	Binding.withFlattenedName()	Used by Environment.renumber().
Binding	Binding.withKind(Binding.Kind kind)
Binding	Binding.withParameter(boolean parameter)