Uses of Package
net.hydromatic.morel.ast
Packages that use net.hydromatic.morel.ast
Package
Description
Standard ML interpreter, implemented in Java.
Abstract syntax tree.
Validates programs
(represented as
AstNode),
deduces their type,
and compiles them into code that can be evaluated.Evaluates expressions.
Type system.
Utilities.
-
Classes in net.hydromatic.morel.ast used by net.hydromatic.morel
-
Classes in net.hydromatic.morel.ast used by net.hydromatic.morel.astClassDescriptionCall 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.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. -
Classes in net.hydromatic.morel.ast used by net.hydromatic.morel.compileClassDescriptionCall to an aggregate function in a
computeclause.Application of a function to its argument.Case expression.Acomputeclause in afromexpression.Parse tree node of a datatype binding.Parse tree node of a datatype declaration.Base class for declarations.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.Parse tree node of a 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."Let" expression.List expression.Match.Anorderclause in afromexpression.An item in anorderclause.Base class for a pattern.Call to a prefix operator.Record.Parse tree node of a record selector.A scan (e.g.Askipclause in afromexpression.Atakeclause in afromexpression.Tuple.Base class for parse tree nodes that represent types.Value bind.Parse tree node of a value declaration.Awhereclause in afromexpression.Ayieldclause in afromexpression.Abstract syntax tree node.Call to an aggregate function in acomputeclause.Application of a function to its argument.Layered pattern.Case expression.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."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 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.Step that computes an expression.Builds aCore.From.Sub-types ofAstNode.Position of a parse-tree node.Visits and transforms syntax trees.Visits syntax trees. -
Classes in net.hydromatic.morel.ast used by net.hydromatic.morel.evalClassDescriptionBase class of core expressions.Base class for named patterns (
Core.IdPatandCore.AsPat).Base class for a pattern.Sub-types ofAstNode.Position of a parse-tree node. -
Classes in net.hydromatic.morel.ast used by net.hydromatic.morel.typeClassDescriptionBase class of core expressions.Base class for named patterns (
Core.IdPatandCore.AsPat).Sub-types ofAstNode. -
Classes in net.hydromatic.morel.ast used by net.hydromatic.morel.util