Package net.hydromatic.morel.ast
package net.hydromatic.morel.ast
Abstract syntax tree.
-
ClassDescriptionVarious sub-classes of AST nodes.Call to an aggregate function in a
computeclause.Parse tree node of an expression annotated with a type.Pattern that is a pattern annotated with a type.Application of a function to its argument.Layered pattern.Case expression.Not really a type, just a way for the parser to represent the type arguments to a type constructor.Acomputeclause in afromexpression.Type constructor pattern with no argument.Type constructor pattern with an argument.Parse tree node of a datatype binding.Parse tree node of a datatype declaration.Base class for declarations.Sort order.Base class of expression ASTs.Lambda expression.From expression.A step in afromexpression -where,groupororder.One of the branches (separated by 'and') in a 'fun' function declaration.Function type.Parse tree node of a function declaration.One of the branches (separated by '|') in a 'fun' function declaration.Agroupclause in afromexpression.Parse tree node of an identifier.Named pattern, the pattern analog of theAst.Idexpression."If ...Call to an infix operator.Pattern build from an infix operator applied to two patterns."Let" expression.List expression.List pattern, the pattern analog of theAst.ListExpexpression.Parse tree node of a literal (constant).Literal pattern, the pattern analog of theAst.Literalexpression.Match.Parse tree for a named type (e.g.Anorderclause in afromexpression.An item in anorderclause.Base class for a pattern.Call to a prefix operator.Record.Record pattern.Parse tree node of a record selector.Parse tree node of a record type.A scan (e.g.Askipclause in afromexpression.Atakeclause in afromexpression.Tuple.Tuple pattern, the pattern analog of theAst.Tupleexpression.Tuple type.Type constructor.Base class for parse tree nodes that represent types.Parse tree node of a type variable.Value bind.Parse tree node of a value declaration.Awhereclause in afromexpression.Wildcard pattern.Ayieldclause in afromexpression.Builds parse tree nodes.Abstract syntax tree node.Context for writing an AST out as a string.Core expressions.Call to an aggregate function in acomputeclause.Application of a function to its argument.Layered pattern.Abstract base class of Core nodes.Consumer of bindings.Case expression.Type constructor pattern with no argument.Type constructor pattern with an argument.Datatype declaration.Base class for declarations.Base class of core expressions.Lambda expression.From expression.A step in afromexpression -where,groupororder.Agroupclause in afromexpression.Reference to a variable.Named pattern."Let" expression.List pattern.Code of a literal (constant).Literal pattern, the pattern analog of theCore.Literalexpression."Local" expression.Match.Base class for named patterns (Core.IdPatandCore.AsPat).Non-recursive value declaration.Anorderclause in afromexpression.An item in anorderclause.Base class for a pattern.Record pattern.Record selector function.Recursive value declaration.Ajoinorv in listExprorv = exprclause in afromexpression.Askipclause in afromexpression.Atakeclause in afromexpression.Tuple expression.Tuple pattern, the pattern analog of theCore.Tupleexpression.Abstract (recursive or non-recursive) value declaration.Awhereclause in afromexpression.Wildcard pattern.Wraps a value as a Comparable, and stores the global expression from which the value was derived.Step that computes an expression.Builds parse tree nodes.Builds aCore.From.Category of expression passed to "yield".Sub-types ofAstNode.Position of a parse-tree node.Visits and transforms syntax trees.Visits syntax trees.