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 : σ → Except String α

  The result of visiting the AST or an error.

• start : σ → σ

  This method is called before beginning traversal of the AST.

• visit_pre : Syntax.AstItems.Ast → StateT σ (Except String) PUnit

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

• visit_post : Syntax.AstItems.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 : Syntax.AstItems.ClassSetItem → StateT σ (Except String) PUnit

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

• visit_class_set_item_post : Syntax.AstItems.ClassSetItem → StateT σ (Except String) PUnit

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

• visit_class_set_binary_op_pre : Syntax.AstItems.ClassSetBinaryOp → StateT σ (Except String) PUnit

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

• visit_class_set_binary_op_post : Syntax.AstItems.ClassSetBinaryOp → StateT σ (Except String) PUnit

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

• visit_class_set_binary_op_in : Syntax.AstItems.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 α] (β : Syntax.AstItems.Visitor α σ) (ast : Syntax.AstItems.Ast) : Syntax.AstItems.M σ String PUnit

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

Visit every item in an Ast recursively

Equations

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