Package net.hydromatic.morel.ast

package net.hydromatic.morel.ast

Abstract syntax tree.

Related Packages

Package	Description
net.hydromatic.morel	Standard ML interpreter, implemented in Java.
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.
net.hydromatic.morel.util	Utilities.

Class	Description
Ast	Various sub-classes of AST nodes.
Ast.Aggregate	Call to an aggregate function in a compute clause.
Ast.AnnotatedExp	Parse tree node of an expression annotated with a type.
Ast.AnnotatedPat	Pattern that is a pattern annotated with a type.
Ast.Apply	Application of a function to its argument.
Ast.AsPat	Layered pattern.
Ast.Case	Case expression.
Ast.CompositeType	Not really a type, just a way for the parser to represent the type arguments to a type constructor.
Ast.Compute	A compute step in a from expression.
Ast.Con0Pat	Type constructor pattern with no argument.
Ast.ConPat	Type constructor pattern with an argument.
Ast.Current	Parse tree node of the "current" reference.
Ast.DatatypeBind	Parse tree node of a datatype binding.
Ast.DatatypeDecl	Parse tree node of a datatype declaration.
Ast.Decl	Base class for declarations.
Ast.Distinct	A distinct step in a from expression.
Ast.Except	An except step in a from expression.
Ast.Exists	Exists expression.
Ast.Exp	Base class of expression ASTs.
Ast.Fn	Lambda expression.
Ast.Forall	Forall expression.
Ast.From	From expression.
Ast.FromStep	A step in a from expression - where, group or order.
Ast.FunBind	One of the branches (separated by 'and') in a 'fun' function declaration.
Ast.FunctionType	Function type.
Ast.FunDecl	Parse tree node of a function declaration.
Ast.FunMatch	One of the branches (separated by '|') in a 'fun' function declaration.
Ast.Group	A group step in a from expression.
Ast.Id	Parse tree node of an identifier.
Ast.IdPat	Named pattern, the pattern analog of the Ast.Id expression.
Ast.If	"If ... else" expression.
Ast.InfixCall	Call to an infix operator.
Ast.InfixPat	Pattern build from an infix operator applied to two patterns.
Ast.Intersect	An intersect step in a from expression.
Ast.Into	An into step in a from expression.
Ast.Let	"Let" expression.
Ast.ListExp	List expression.
Ast.ListPat	List pattern, the pattern analog of the Ast.ListExp expression.
Ast.Literal	Parse tree node of a literal (constant).
Ast.LiteralPat	Literal pattern, the pattern analog of the Ast.Literal expression.
Ast.Match	Match.
Ast.NamedType	Parse tree for a named type (e.g.
Ast.Order	An order step in a from expression.
Ast.Ordinal	Parse tree node of the "ordinal" reference.
Ast.OverDecl	Parse tree node of an overload declaration.
Ast.Pat	Base class for a pattern.
Ast.PrefixCall	Call to a prefix operator.
Ast.Query	Base class for "from", "exists" or "forall" expression.
Ast.Record	Record.
Ast.RecordPat	Record pattern.
Ast.RecordSelector	Parse tree node of a record selector.
Ast.RecordType	Parse tree node of a record type.
Ast.Require	A require step in a forall expression.
Ast.Scan	A scan (e.g.
Ast.SetStep	Base class for a step that is a set operation (union, intersect, except).
Ast.Skip	A skip step in a from expression.
Ast.Take	A take step in a from expression.
Ast.Through	An through step in a from expression.
Ast.Tuple	Tuple.
Ast.TuplePat	Tuple pattern, the pattern analog of the Ast.Tuple expression.
Ast.TupleType	Tuple type.
Ast.TyCon	Type constructor.
Ast.Type	Base class for parse tree nodes that represent types.
Ast.TyVar	Parse tree node of a type variable.
Ast.Union	A union step in a from expression.
Ast.Unorder	An unorder step in a from expression.
Ast.ValBind	Value bind.
Ast.ValDecl	Parse tree node of a value declaration.
Ast.Where	A where step in a from expression.
Ast.WildcardPat	Wildcard pattern.
Ast.Yield	A yield step in a from expression.
AstBuilder	Builds parse tree nodes.
AstNode	Abstract syntax tree node.
AstWriter	Context for writing an AST out as a string.
Core	Core expressions.
Core.Aggregate	Call to an aggregate function in a compute clause.
Core.Apply	Application of a function to its argument.
Core.AsPat	Layered pattern.
Core.BaseNode	Abstract base class of Core nodes.
Core.BindingConsumer	Consumer of bindings.
Core.Case	Case expression.
Core.Con0Pat	Type constructor pattern with no argument.
Core.ConPat	Type constructor pattern with an argument.
Core.DatatypeDecl	Datatype declaration.
Core.Decl	Base class for declarations.
Core.Except	An except clause in a from expression.
Core.Exp	Base class of core expressions.
Core.Fn	Lambda expression.
Core.From	From expression.
Core.FromStep	A step in a from expression - where, group or order.
Core.Group	A group clause in a from expression.
Core.Id	Reference to a variable.
Core.IdPat	Named pattern.
Core.Intersect	An intersect clause in a from expression.
Core.Let	"Let" expression.
Core.ListPat	List pattern.
Core.Literal	Code of a literal (constant).
Core.LiteralPat	Literal pattern, the pattern analog of the Core.Literal expression.
Core.Local	"Local" expression.
Core.Match	Match.
Core.NamedPat	Base class for named patterns (Core.IdPat and Core.AsPat).
Core.NonRecValDecl	Non-recursive value declaration.
Core.Order	An order clause in a from expression.
Core.OverDecl	Overloaded operator declaration.
Core.Pat	Base class for a pattern.
Core.RecordPat	Record pattern.
Core.RecordSelector	Record selector function.
Core.RecValDecl	Recursive value declaration.
Core.Scan	A join or v in listExpr or v = expr clause in a from expression.
Core.SetStep	Base class of Core.Except, Core.Intersect, Core.Union.
Core.Skip	A skip clause in a from expression.
Core.StepEnv	Environment for a step.
Core.Take	A take clause in a from expression.
Core.Tuple	Tuple expression.
Core.TuplePat	Tuple pattern, the pattern analog of the Core.Tuple expression.
Core.Union	A union clause in a from expression.
Core.Unorder	Step that converts the stream to an unordered collection.
Core.ValDecl	Abstract (recursive or non-recursive) value declaration.
Core.Where	A where clause in a from expression.
Core.WildcardPat	Wildcard pattern.
Core.Wrapper	Wraps a value as a Comparable, and stores the global expression from which the value was derived.
Core.Yield	Step that computes an expression.
CoreBuilder	Builds parse tree nodes.
FromBuilder	Builds a Core.From.
FromBuilder.TupleType	Category of expression passed to "yield".
Op	Subtypes of AstNode.
Pos	Position of a parse-tree node.
Shuttle	Visits and transforms syntax trees.
Visitor	Visits syntax trees.