Uses of Package
net.hydromatic.morel.ast

Packages that use net.hydromatic.morel.ast

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.type	Type system.
net.hydromatic.morel.util	Utilities.

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

Class	Description
AstNode	Abstract syntax tree node.
Pos	Position of a parse-tree node.

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

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

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

Class	Description
Ast.Aggregate	Call to an aggregate function in a compute clause.
Ast.Apply	Application of a function to its argument.
Ast.Case	Case expression.
Ast.Compute	A compute step in a from expression.
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.Exp	Base class of expression ASTs.
Ast.Fn	Lambda 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.FunDecl	Parse tree node of a 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.Intersect	An intersect step in a from expression.
Ast.Let	"Let" expression.
Ast.ListExp	List expression.
Ast.Match	Match.
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.RecordSelector	Parse tree node of a record selector.
Ast.Require	A require step in a forall expression.
Ast.Scan	A scan (e.g.
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.Type	Base class for parse tree nodes that represent types.
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.Yield	A yield step in a from expression.
AstNode	Abstract syntax tree node.
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.Case	Case expression.
Core.DatatypeDecl	Datatype declaration.
Core.Decl	Base class for declarations.
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.Let	"Let" expression.
Core.ListPat	List pattern.
Core.Literal	Code of a literal (constant).
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.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.ValDecl	Abstract (recursive or non-recursive) value declaration.
Core.Where	A where clause in a from expression.
Core.Yield	Step that computes an expression.
FromBuilder	Builds a Core.From.
Op	Subtypes of AstNode.
Pos	Position of a parse-tree node.
Shuttle	Visits and transforms syntax trees.
Visitor	Visits syntax trees.

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

Class	Description
Core.Exp	Base class of core expressions.
Core.NamedPat	Base class for named patterns (Core.IdPat and Core.AsPat).
Core.Pat	Base class for a pattern.
Core.StepEnv	Environment for a step.
Op	Subtypes of AstNode.
Pos	Position of a parse-tree node.

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

Class	Description
Core.Exp	Base class of core expressions.
Core.IdPat	Named pattern.
Core.NamedPat	Base class for named patterns (Core.IdPat and Core.AsPat).
Op	Subtypes of AstNode.

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

Class	Description
Ast.Exp	Base class of expression ASTs.
Op	Subtypes of AstNode.
Pos	Position of a parse-tree node.