Uses of Class
net.hydromatic.morel.ast.Ast.Decl

Packages that use Ast.Decl

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 Ast.Decl in net.hydromatic.morel.ast

Subclasses of Ast.Decl in net.hydromatic.morel.ast

Modifier and Type	Class	Description
static class	Ast.DatatypeDecl	Parse tree node of a datatype declaration.
static class	Ast.FunDecl	Parse tree node of a function declaration.
static class	Ast.ValDecl	Parse tree node of a value declaration.

Fields in net.hydromatic.morel.ast with type parameters of type Ast.Decl

Modifier and Type	Field	Description
java.util.List<Ast.Decl>	Ast.LetExp.decls

Methods in net.hydromatic.morel.ast that return Ast.Decl

Modifier and Type	Method	Description
abstract Ast.Decl	Ast.Decl.accept(Shuttle shuttle)
Ast.Decl	Ast.FunDecl.accept(Shuttle shuttle)
protected Ast.Decl	Shuttle.visit(Ast.FunDecl funDecl)

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

Modifier and Type	Method	Description
Ast.LetExp	Ast.LetExp.copy(java.lang.Iterable<Ast.Decl> decls, Ast.Exp e)	Creates a copy of this LetExp with given contents, or this if the contents are the same.
Ast.LetExp	AstBuilder.let(Pos pos, java.lang.Iterable<? extends Ast.Decl> decls, Ast.Exp e)

Constructor parameters in net.hydromatic.morel.ast with type arguments of type Ast.Decl

Constructor	Description
LetExp(Pos pos, com.google.common.collect.ImmutableList<Ast.Decl> decls, Ast.Exp e)

Uses of Ast.Decl in net.hydromatic.morel.compile

Fields in net.hydromatic.morel.compile declared as Ast.Decl

Modifier and Type	Field	Description
Ast.Decl	TypeResolver.Resolved.node
Ast.Decl	TypeResolver.Resolved.originalNode

Methods in net.hydromatic.morel.compile that return Ast.Decl

Modifier and Type	Method	Description
private Ast.Decl	TypeResolver.deduceDeclType(TypeResolver.TypeEnv env, Ast.Decl node, java.util.Map<Ast.IdPat,Unifier.Term> termMap)
private Ast.Decl	TypeResolver.deduceValDeclType(TypeResolver.TypeEnv env, Ast.ValDecl valDecl, java.util.Map<Ast.IdPat,Unifier.Term> termMap)

Methods in net.hydromatic.morel.compile with parameters of type Ast.Decl

Modifier and Type	Method	Description
private void	Compiler.compileDecl(Environment env, Ast.Decl decl, java.util.List<Code> varCodes, java.util.List<Binding> bindings, java.util.List<Compiler.Action> actions)
private Code	Compiler.compileLet(Environment env, Ast.Decl decl, Ast.Exp e)
(package private) CompiledStatement	Compiler.compileStatement(Environment env, Ast.Decl decl)
private Ast.Decl	TypeResolver.deduceDeclType(TypeResolver.TypeEnv env, Ast.Decl node, java.util.Map<Ast.IdPat,Unifier.Term> termMap)
static TypeResolver.Resolved	TypeResolver.deduceType(Environment env, Ast.Decl decl, TypeSystem typeSystem)	Deduces the type of a declaration.
private TypeResolver.Resolved	TypeResolver.deduceType_(Environment env, Ast.Decl decl)
(package private) static TypeResolver.Resolved	TypeResolver.Resolved.of(Ast.Decl originalNode, Ast.Decl node, TypeResolver.TypeMap typeMap)
private static CompiledStatement	Compiles.prepareDecl(TypeSystem typeSystem, Environment env, Ast.Decl decl)	Validates and compiles an declaration, and compiles it to code that can be evaluated by the interpreter.

Method parameters in net.hydromatic.morel.compile with type arguments of type Ast.Decl

Modifier and Type	Method	Description
private Code	Compiler.compileLet(Environment env, java.util.List<Ast.Decl> decls, Ast.Exp e)
private Ast.LetExp	Compiler.flattenLet(java.util.List<Ast.Decl> decls, Ast.Exp e)

Constructors in net.hydromatic.morel.compile with parameters of type Ast.Decl

Constructor	Description
Resolved(Ast.Decl originalNode, Ast.Decl node, TypeResolver.TypeMap typeMap)