Uses of Class
net.hydromatic.morel.ast.AstNode

Packages that use AstNode

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

Uses of AstNode in net.hydromatic.morel.ast

Subclasses of AstNode in net.hydromatic.morel.ast

Modifier and Type	Class	Description
static class	Ast.Aggregate	Call to an aggregate function in a compute clause.
static class	Ast.AnnotatedExp	Parse tree node of an expression annotated with a type.
static class	Ast.AnnotatedPat	Pattern that is a pattern annotated with a type.
static class	Ast.Apply	Application of a function to its argument.
static class	Ast.Case	Case expression.
static class	Ast.CompositeType	Not really a type, just a way for the parser to represent the type arguments to a type constructor.
static class	Ast.Con0Pat	Type constructor pattern with no argument.
static class	Ast.ConPat	Type constructor pattern with an argument.
static class	Ast.DatatypeBind	Parse tree node of a datatype binding.
static class	Ast.DatatypeDecl	Parse tree node of a datatype declaration.
static class	Ast.Decl	Base class for declarations.
static class	Ast.Exp	Base class of expression ASTs.
static class	Ast.Fn	Lambda expression.
static class	Ast.From	From expression.
static class	Ast.FunBind	One of the branches (separated by 'and') in a 'fun' function declaration.
static class	Ast.FunctionType	Function type.
static class	Ast.FunDecl	Parse tree node of a function declaration.
static class	Ast.FunMatch	One of the branches (separated by '|') in a 'fun' function declaration.
static class	Ast.Id	Parse tree node of an identifier.
static class	Ast.IdPat	Named pattern, the pattern analog of the Ast.Id expression.
static class	Ast.If	"If ...
static class	Ast.InfixCall	Call to an infix operator.
static class	Ast.InfixPat	Pattern build from an infix operator applied to two patterns.
static class	Ast.LetExp	"Let" expression.
static class	Ast.List	List.
static class	Ast.ListPat	List pattern, the pattern analog of the Ast.List expression.
static class	Ast.Literal	Parse tree node of a literal (constant).
static class	Ast.LiteralPat	Literal pattern, the pattern analog of the Ast.Literal expression.
static class	Ast.Match	Match.
static class	Ast.NamedType	Parse tree for a named type (e.g.
static class	Ast.Pat	Base class for a pattern.
static class	Ast.PrefixCall	Call to an prefix operator.
static class	Ast.Record	Record.
static class	Ast.RecordPat	Record pattern.
static class	Ast.RecordSelector	Parse tree node of a record selector.
static class	Ast.RecordType	Parse tree node of a record type.
static class	Ast.Tuple	Tuple.
static class	Ast.TuplePat	Tuple pattern, the pattern analog of the Ast.Tuple expression.
static class	Ast.TupleType	Tuple type.
static class	Ast.TyCon	Type constructor.
static class	Ast.Type	Base class for parse tree nodes that represent types.
static class	Ast.TyVar	Parse tree node of a type variable.
static class	Ast.ValBind	Value bind.
static class	Ast.ValDecl	Parse tree node of a value declaration.
static class	Ast.WildcardPat	Wildcard pattern.

Methods in net.hydromatic.morel.ast with type parameters of type AstNode

Modifier and Type	Method	Description
private <E extends AstNode> java.util.List<E>	Shuttle.visitList(java.util.List<E> nodes)
private <K,E extends AstNode> java.util.Map<K,E>	Shuttle.visitMap(java.util.Map<K,E> nodes)

Methods in net.hydromatic.morel.ast that return AstNode

Modifier and Type	Method	Description
AstNode	Ast.Aggregate.accept(Shuttle shuttle)
AstNode	Ast.TyCon.accept(Shuttle shuttle)
AstNode	Ast.ValBind.accept(Shuttle shuttle)
abstract AstNode	AstNode.accept(Shuttle shuttle)	Accepts a shuttle, calling the Shuttle.visit(net.hydromatic.morel.ast.Ast.Literal) method appropriate to the type of this node, and returning the result.
AstNode	Shuttle.visit(Ast.Aggregate aggregate)
AstNode	Shuttle.visit(Ast.TyCon tyCon)

Methods in net.hydromatic.morel.ast with parameters of type AstNode

Modifier and Type	Method	Description
AstWriter	AstWriter.append(AstNode node, int left, int right)	Appends a parse tree node.
AstWriter	AstWriter.binary(java.lang.String left, AstNode a0, java.lang.String mid, AstNode a1, int right)	Appends a call to a binary operator (e.g.
AstWriter	AstWriter.binary(java.lang.String left, AstNode a0, java.lang.String mid, AstNode a1, java.lang.String right)	Appends a call to a binary operator (e.g.
AstWriter	AstWriter.infix(int left, AstNode a0, Op op, AstNode a1, int right)	Appends a call to an infix operator.
AstWriter	AstWriter.prefix(int left, Op op, AstNode a, int right)	Appends a call to an prefix operator.
static java.lang.String	Ast.toString(AstNode node)

Method parameters in net.hydromatic.morel.ast with type arguments of type AstNode

Modifier and Type	Method	Description
AstWriter	AstWriter.appendAll(java.lang.Iterable<? extends AstNode> nodes, int left, Op op, int right)	Appends a list of parse tree nodes.
AstWriter	AstWriter.appendAll(java.lang.Iterable<? extends AstNode> list, java.lang.String sep)	Appends a list of parse tree nodes separated by sep.
AstWriter	AstWriter.appendAll(java.lang.Iterable<? extends AstNode> list, java.lang.String start, java.lang.String sep, java.lang.String end)	Appends a list of parse tree nodes separated by sep, and also with prefix and suffix: start node0 sep node1 ... sep nodeN end.
AstWriter	AstWriter.appendAll(java.lang.Iterable<? extends AstNode> list, java.lang.String start, java.lang.String sep, java.lang.String end, java.lang.String empty)	Appends a list of parse tree nodes separated by sep, and also with prefix and suffix: start node0 sep node1 ... sep nodeN end.
Pos	Pos.plusAll(java.util.List<? extends AstNode> nodes)
static Pos	Pos.sum(java.util.List<? extends AstNode> nodes)

Uses of AstNode in net.hydromatic.morel.compile

Fields in net.hydromatic.morel.compile with type parameters of type AstNode

Modifier and Type	Field	Description
(package private) java.util.Map<AstNode,Unifier.Term>	TypeResolver.map
(package private) java.util.Map<AstNode,Unifier.Term>	TypeResolver.TypeMap.nodeTypeTerms

Methods in net.hydromatic.morel.compile with type parameters of type AstNode

Modifier and Type	Method	Description
private <E extends AstNode> E	TypeResolver.reg(E node, Unifier.Variable variable, Unifier.Term term)

Methods in net.hydromatic.morel.compile that return AstNode

Modifier and Type	Method	Description
private AstNode	TypeResolver.deduceMatchType(TypeResolver.TypeEnv env, Ast.Match match, java.util.Map<Ast.IdPat,Unifier.Term> termMap, Unifier.Variable argVariable, Unifier.Variable resultVariable)
private AstNode	TypeResolver.deduceValBindType(TypeResolver.TypeEnv env, Ast.ValBind valBind, java.util.Map<Ast.IdPat,Unifier.Term> termMap, Unifier.Variable v)

Methods in net.hydromatic.morel.compile with parameters of type AstNode

Modifier and Type	Method	Description
Type	TypeResolver.TypeMap.getType(AstNode node)	Returns a type of an AST node.
boolean	TypeResolver.TypeMap.hasType(AstNode node)	Returns whether an AST node has a type.
static CompiledStatement	Compiles.prepareStatement(TypeSystem typeSystem, Environment env, AstNode statement)	Validates and compiles a statement (expression or declaration), and compiles it to code that can be evaluated by the interpreter.

Constructor parameters in net.hydromatic.morel.compile with type arguments of type AstNode

Constructor	Description
TypeMap(TypeSystem typeSystem, java.util.Map<AstNode,Unifier.Term> nodeTypeTerms, Unifier.Substitution substitution)