Uses of Package
net.hydromatic.morel.compile

Packages that use net.hydromatic.morel.compile

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.foreign	Provides access to external data sources.
net.hydromatic.morel.type	Type system.

Classes in net.hydromatic.morel.compile used by net.hydromatic.morel

Class	Description
Environment	Environment for validation/compilation.

Classes in net.hydromatic.morel.compile used by net.hydromatic.morel.ast

Class	Description
BuiltIn	Built-in constants and functions.
Environment	Environment for validation/compilation.
NameGenerator	Generates unique names.

Classes in net.hydromatic.morel.compile used by net.hydromatic.morel.compile

Class	Description
Analyzer	Shuttle that counts how many times each expression is used.
Analyzer.Analysis	Result of an analysis.
Analyzer.MutableUse	Work space where the uses of a binding are counted.
Analyzer.Use	How a binding (assignment of a value to a variable) is used.
BuiltIn	Built-in constants and functions.
BuiltIn.DataTypeHelper	Callback used when defining a datatype.
BuiltIn.Structure	Built-in structure.
CalciteCompiler.RelCode	Extension to Code that can also provide a translation to relational algebra.
CalciteCompiler.RelContext	Translation context.
CalciteCompiler.VarData	How a Morel variable maps onto the columns returned from a Join.
CompiledStatement	Statement that has been compiled and is ready to be run from the REPL.
CompileException	An error occurred during compilation.
Compiler	Compiles an expression to code that can be evaluated.
Compiler.Context	Compilation context.
Compiler.LinkCode	A piece of code that is references another piece of code.
Compiles.PatternBinder	Visitor that adds a Binding each time it see an Core.IdPat or Core.AsPat.
Environment	Environment for validation/compilation.
Environments.EmptyEnvironment	Empty environment.
EnvShuttle	Shuttle that keeps an environment of what variables are in scope.
EnvVisitor	Shuttle that keeps an environment of what variables are in scope.
EnvVisitor.FromContext	Where we are in an iteration through the steps of a from.
Extents.Analysis
Extents.ExtentFilter	A "suchthat" expression split into an extent and filters.
Inliner	Shuttle that inlines constant values.
NameGenerator	Generates unique names.
PatternCoverageChecker.DataTypeSlot	Payload of a Sat.Variable that is an algebraic type.
PatternCoverageChecker.Path	Identifies a point in a nested pattern.
Pretty.TypeVal	Wrapper around a type value.
RefChecker	Validates expressions, making sure that every Core.Id exists in the environment.
Relationalizer	Shuttle that converts calls to BuiltIn.LIST_FILTER and BuiltIn.LIST_MAP into Core.From expressions.
Resolver	Converts AST expressions to Core expressions.
Resolver.Init	Helper for initialization.
Resolver.PatExp	Pattern and expression.
Resolver.ReferenceFinder	Visitor that finds all references to unbound variables in an expression.
Resolver.ResolvedDatatypeDecl	Resolved datatype declaration.
Resolver.ResolvedDecl	Resolved declaration.
Resolver.ResolvedValDecl	Resolved value declaration.
SuchThatShuttle.FromState	Workspace for converting a particular Core.From from "suchthat" to "in" form.
SuchThatShuttle.PatMap	Maps patterns from their name in the "from" to their name after a sequence of renames.
Tracer	Called on various events during compilation.
TypeMap	The result of type resolution, a map from AST nodes to types.
TypeResolver.EmptyTypeEnv	Empty type environment.
TypeResolver.FieldExpander	Visitor that expands progressive types if they are used in field references.
TypeResolver.Resolved	Result of validating a declaration.
TypeResolver.Subst	Substitution.
TypeResolver.TermVariable	Pair consisting of a term and a variable.
TypeResolver.TypeEnv	Type environment.
TypeResolver.TypeException	Error while deducing type.

Classes in net.hydromatic.morel.compile used by net.hydromatic.morel.eval

Class	Description
BuiltIn	Built-in constants and functions.
Environment	Environment for validation/compilation.
Macro	A function that is 'called' at compile time, and generates an expanded parse tree.

Classes in net.hydromatic.morel.compile used by net.hydromatic.morel.foreign

Class	Description
Environment	Environment for validation/compilation.

Classes in net.hydromatic.morel.compile used by net.hydromatic.morel.type

Class	Description
NameGenerator	Generates unique names.