Visitor

Visit (Syntax.Ast.visit) every item in an abstract syntax tree Syntax.Ast.Ast recursively using the class Syntax.Ast.Visitor.

class Syntax.AstItems.Visitor (α : Type v) (σ : Type w) : Type (max v w)

A class for visiting an abstract syntax tree (AST) in depth first order.

• finish (state : σ) : Except String α

  The result of visiting the AST or an error.

• start : σ → σ

  This method is called before beginning traversal of the AST.

• visit_pre (ast : Ast) : StateT σ (Except String) PUnit

  This method is called on an Ast before descending into child Ast nodes.

• visit_post (ast : Ast) : StateT σ (Except String) PUnit

  This method is called on an Ast after descending all of its child Ast nodes.

• visit_class_set_item_pre (ast : ClassSetItem) : StateT σ (Except String) PUnit

  This method is called on every [ClassSetItem] before descending into child nodes.

• visit_class_set_item_post (ast : ClassSetItem) : StateT σ (Except String) PUnit

  This method is called on every [ClassSetItem] after descending into child nodes.

• visit_class_set_binary_op_pre (ast : ClassSetBinaryOp) : StateT σ (Except String) PUnit

  This method is called on every [ClassSetBinaryOp] before descending into child nodes.

• visit_class_set_binary_op_post (ast : ClassSetBinaryOp) : StateT σ (Except String) PUnit

  This method is called on every [ClassSetBinaryOp] after descending into child nodes.

• visit_class_set_binary_op_in (ast : ClassSetBinaryOp) : StateT σ (Except String) PUnit

  This method is called between the left hand and right hand child nodes

@[reducible, inline]

abbrev Syntax.AstItems.M (σ : Type u_1) (String : Type u_2) (α : Type u_1) : Type (max u_1 u_2)

Equations

• Syntax.AstItems.M σ String = StateT σ (Except String)

@[irreducible]

def Syntax.AstItems.visit_loop {α σ : Type} [Inhabited α] (β : Visitor α σ) (ast : Ast) : M σ String PUnit

def Syntax.AstItems.visit {α σ : Type} [Inhabited α] (β : Visitor α σ) (state : σ) (ast : Ast) : Except String α

Visit every item in an Ast recursively

Equations

• One or more equations did not get rendered due to their size.