Package net.hydromatic.morel.ast

Abstract syntax tree.

Interface Summary

Interface	Description
Core.BindingConsumer	Consumer of bindings.

Class Summary

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 clause in a from expression.
Ast.Con0Pat	Type constructor pattern with no argument.
Ast.ConPat	Type constructor pattern with an argument.
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.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.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 clause 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 ...
Ast.InfixCall	Call to an infix operator.
Ast.InfixPat	Pattern build from an infix operator applied to two patterns.
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 clause in a from expression.
Ast.OrderItem	An item in an order clause.
Ast.Pat	Base class for a pattern.
Ast.PrefixCall	Call to a prefix operator.
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.Scan	A scan (e.g.
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.ValBind	Value bind.
Ast.ValDecl	Parse tree node of a value declaration.
Ast.Where	A where clause in a from expression.
Ast.WildcardPat	Wildcard pattern.
Ast.Yield	A yield clause in a from expression.
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.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.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.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.OrderItem	An item in an order clause.
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.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.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.
FromBuilder	Builds a Core.From.
Pos	Position of a parse-tree node.
Shuttle	Visits and transforms syntax trees.
Visitor	Visits syntax trees.

Enum Summary

Enum	Description
Ast.Direction	Sort order.
AstBuilder	Builds parse tree nodes.
CoreBuilder	Builds parse tree nodes.
FromBuilder.TupleType	Category of expression passed to "yield".
Op	Sub-types of AstNode.