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

Packages that use Binding

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 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

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

Modifier and Type	Method	Description
Binding	Environment.get(java.lang.String name)	Returns the binding of name; throws if not.
abstract Binding	Environment.getOpt(java.lang.String name)	Returns the binding of name if bound, null if not.
Binding	Environments.EmptyEnvironment.getOpt(java.lang.String name)
Binding	Environments.SubEnvironment.getOpt(java.lang.String name)

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

Modifier and Type	Method	Description
private static java.lang.Iterable<Binding>	Compiles.bindings(TypeSystem typeSystem, java.util.Map<java.lang.String,ForeignValue> map)
java.util.Map<java.lang.String,Binding>	Environment.getValueMap()	Returns a map of the values and bindings.

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

Modifier and Type	Method	Description
private Environment	Environment.bind(Binding binding)

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

Modifier and Type	Method	Description
Environment	Environment.bindAll(java.lang.Iterable<Binding> bindings)	Creates an environment that is the same as this, plus the given bindings.
private void	Compiler.compileDatatypeDecl(Environment env, Ast.DatatypeDecl datatypeDecl, java.util.List<Binding> bindings, java.util.List<Compiler.Action> actions)
private void	Compiler.compileTyCon(Environment env, Type dataType, Ast.TyCon tyCon, java.util.List<Binding> bindings)
(package private) abstract void	Environment.visit(java.util.function.Consumer<Binding> consumer)	Visits every variable binding in this environment.
(package private) void	Environments.EmptyEnvironment.visit(java.util.function.Consumer<Binding> consumer)
(package private) void	Environments.SubEnvironment.visit(java.util.function.Consumer<Binding> consumer)

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

Constructor	Description
SubEnvironment(Environment parent, Binding binding)