Uses of Class
net.hydromatic.morel.compile.Environment

Packages that use Environment

Package	Description
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.

Uses of Environment in net.hydromatic.morel.compile

Subclasses of Environment in net.hydromatic.morel.compile

Modifier and Type	Class	Description
private static class	Environments.EmptyEnvironment	Empty environment.
(package private) static class	Environments.SubEnvironment	Environment that inherits from a parent environment and adds one binding.

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

Modifier and Type	Field	Description
private static Environment	Environments.BASIC_ENVIRONMENT	An environment with the only the built-in stuff.
private Environment	Environments.SubEnvironment.parent

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

Modifier and Type	Method	Description
Environment	Environment.bind(java.lang.String name, Type type, java.lang.Object value)	Creates an environment that is the same as a given environment, plus one more variable.
private Environment	Environment.bind(Binding binding)
Environment	Environment.bindAll(java.lang.Iterable<Binding> bindings)	Creates an environment that is the same as this, plus the given bindings.
static Environment	Compiles.createEnvironment(TypeSystem typeSystem, java.util.Map<java.lang.String,ForeignValue> valueMap)	Creates an environment containing the given foreign values.
static Environment	Environments.empty()	Creates an empty environment.
private static Environment	Environments.getBind()

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

Modifier and Type	Method	Description
Code	Compiler.compile(Environment env, Ast.Exp expression)
private Code	Compiler.compileAggregate(Environment env, Ast.Aggregate aggregate)
private Applicable	Compiler.compileApplicable(Environment env, Ast.Exp fn)	Compiles a function value to an Applicable, if possible, or returns null.
private void	Compiler.compileDatatypeDecl(Environment env, Ast.DatatypeDecl datatypeDecl, java.util.List<Binding> bindings, java.util.List<Compiler.Action> actions)
private void	Compiler.compileDecl(Environment env, Ast.Decl decl, java.util.List<Code> varCodes, java.util.List<Binding> bindings, java.util.List<Compiler.Action> actions)
private Code	Compiler.compileInfix(Environment env, Ast.InfixCall call)
private Code	Compiler.compileLet(Environment env, java.util.List<Ast.Decl> decls, Ast.Exp e)
private Code	Compiler.compileLet(Environment env, Ast.Decl decl, Ast.Exp e)
private Code	Compiler.compileMatchList(Environment env, java.lang.Iterable<Ast.Match> matchList)	Compiles a match expression.
(package private) CompiledStatement	Compiler.compileStatement(Environment env, Ast.Decl decl)
private void	Compiler.compileTyCon(Environment env, Type dataType, Ast.TyCon tyCon, java.util.List<Binding> bindings)
private Code	Compiler.compileUnary(Environment env, Ast.Exp call)
private void	Compiler.compileValBind(Environment env, Ast.ValBind valBind, java.util.List<Code> varCodes, java.util.List<Binding> bindings, java.util.List<Compiler.Action> actions)
private void	Compiler.compileValDecl(Environment env, Ast.ValDecl valDecl, java.util.List<Code> varCodes, java.util.List<Binding> bindings, java.util.List<Compiler.Action> actions)
static TypeResolver.Resolved	TypeResolver.deduceType(Environment env, Ast.Decl decl, TypeSystem typeSystem)	Deduces the type of a declaration.
private TypeResolver.Resolved	TypeResolver.deduceType_(Environment env, Ast.Decl decl)
void	CompiledStatement.eval(Environment environment, java.util.List<java.lang.String> output, java.util.List<Binding> bindings)	Evaluates this statement, adding lines of feedback to output and writing bindings (values to variables, and types definitions) to bindings.
Ast.Exp	Macro.expand(Environment env)
private static CompiledStatement	Compiles.prepareDecl(TypeSystem typeSystem, Environment env, Ast.Decl decl)	Validates and compiles an declaration, and compiles it to code that can be evaluated by the interpreter.
static CompiledStatement	Compiles.prepareStatement(TypeSystem typeSystem, Environment env, AstNode statement)	Validates and compiles a statement (expression or declaration), and compiles it to code that can be evaluated by the interpreter.

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

Constructor	Description
SubEnvironment(Environment parent, Binding binding)

Uses of Environment in net.hydromatic.morel.eval

Methods in net.hydromatic.morel.eval that return Environment

Modifier and Type	Method	Description
static Environment	Codes.env(TypeSystem typeSystem, Environment environment)	Creates a compilation environment.

Methods in net.hydromatic.morel.eval with parameters of type Environment

Modifier and Type	Method	Description
static Applicable	Codes.aggregate(Environment env, Code aggregate, Code argumentCode)
static EvalEnv	Codes.emptyEnvWith(Environment env)	Creates an evaluation environment that contains the bound values from a compilation environment.
static Environment	Codes.env(TypeSystem typeSystem, Environment environment)	Creates a compilation environment.