Package net.hydromatic.morel.compile

package net.hydromatic.morel.compile

Validates programs (represented as AstNode), deduces their type, and compiles them into code that can be evaluated.

Related Packages

Package	Description
net.hydromatic.morel	Standard ML interpreter, implemented in Java.
net.hydromatic.morel.ast	Abstract syntax tree.
net.hydromatic.morel.eval	Evaluates expressions.
net.hydromatic.morel.foreign	Provides access to external data sources.
net.hydromatic.morel.type	Type system.
net.hydromatic.morel.util	Utilities.

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	Compiles an expression to code that can be evaluated.
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.Action	Something that needs to happen when a declaration is evaluated.
Compiler.Context	Compilation context.
Compiler.LinkCode	A piece of code that is references another piece of code.
Compiler.MatchCode	Code that implements Compiler.compileMatchList(Context, List).
Compiles	Helpers for Compiler and TypeResolver.
Compiles.PatternBinder	Visitor that adds a Binding each time it see an Core.IdPat or Core.AsPat.
Environment	Environment for validation/compilation.
Environments	Helpers for Environment.
Environments.EmptyEnvironment	Empty environment.
Environments.MapEnvironment	Environment that keeps bindings in a map.
Environments.SubEnvironment	Environment that inherits from a parent environment and adds one binding.
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	Generates an expression for the set of values that a variable can take in a program.
Extents.Analysis
Extents.Extent
Extents.ExtentFilter	A "suchthat" expression split into an extent and filters.
Inliner	Shuttle that inlines constant values.
Macro	A function that is 'called' at compile time, and generates an expanded parse tree.
NameGenerator	Generates unique names.
PatternCoverageChecker	Checks whether patterns are exhaustive and/or redundant.
PatternCoverageChecker.DataTypeSlot	Payload of a Sat.Variable that is an algebraic type.
PatternCoverageChecker.ElideList<E>	List that removes one particular element from a backing list.
PatternCoverageChecker.Path	Identifies a point in a nested pattern.
PatternCoverageChecker.SubPath	Path that is a child of a given parent path.
Pretty	Prints values.
Pretty.LabelVal	Wrapper that indicates that a value should be printed "label:type".
Pretty.NamedVal	Wrapper that indicates that a value should be printed "name = value".
Pretty.TypedVal	Wrapper that indicates that a value should be printed "val name = value : type".
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.
SuchThatShuttle	Converts suchThat to in wherever possible.
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.
SuchThatShuttle.RewriteFailedException	Signals that we could not rewrite.
Tracer	Called on various events during compilation.
Tracers	Utilities for Tracer.
Tracers.DelegatingTracer	Tracer that delegates to an underlying tracer.
Tracers.EmptyTracer	Tracer that does nothing.
TypeMap	The result of type resolution, a map from AST nodes to types.
TypeMap.TermToTypeConverter	Visitor that converts type terms into actual types.
TypeResolver	Resolves the type of an expression.
TypeResolver.BindTypeEnv	A type environment that consists of a type environment plus one binding.
TypeResolver.EmptySubst	Empty substitution.
TypeResolver.EmptyTypeEnv	Empty type environment.
TypeResolver.FieldExpander	Visitor that expands progressive types if they are used in field references.
TypeResolver.Foo	Workspace for converting types to keys.
TypeResolver.PlusSubst	Substitution that adds one (type, variable) assignment to a parent substitution.
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.