thorin::ast::PiExpr Class Reference

One of: More...

#include <thorin/ast/ast.h>

Inheritance diagram for thorin::ast::PiExpr:

Classes
class	Dom

Public Member Functions
	PiExpr (Loc loc, Tok::Tag tag, Ptrs< Dom > &&doms, Ptr< Expr > &&codom)
Public Member Functions inherited from thorin::ast::Expr
Ref	emit (Emitter &) const
Public Member Functions inherited from thorin::ast::Node
Loc	loc () const
void	dump () const

Private Member Functions
void	bind (Scopes &) const override
Ref	emit_decl (Emitter &, Ref type) const override
void	emit_body (Emitter &, Ref decl) const override
std::ostream &	stream (Tab &, std::ostream &) const override
Ref	emit_ (Emitter &) const override

Additional Inherited Members
Protected Member Functions inherited from thorin::ast::Expr
	Expr (Loc loc)
Protected Member Functions inherited from thorin::ast::Node
	Node (Loc loc)
virtual	~Node ()

Detailed Description

One of:

• Π dom_0 ... dom_n-1 -> codom
• .Cn dom_0 ... dom_n-1
• .Fn dom_0 ... dom_n-1 -> codom

Definition at line 447 of file ast.h.

Constructor & Destructor Documentation

PiExpr()

thorin::ast::PiExpr::PiExpr ( Loc  loc, Tok::Tag  tag, Ptrs< Dom > &&  doms, Ptr< Expr > &&  codom  )

inline

Definition at line 481 of file ast.h.

Member Function Documentation

bind()

void thorin::ast::PiExpr::bind ( Scopes &  s ) const

overrideprivatevirtual

Implements thorin::ast::Expr.

Definition at line 152 of file bind.cpp.

References thorin::ast::Expr::bind(), thorin::ast::PiExpr::Dom::bind(), and thorin::ast::Node::loc().

emit_()

Ref thorin::ast::PiExpr::emit_ ( Emitter &  e ) const

overrideprivatevirtual

Implements thorin::ast::Expr.

Definition at line 217 of file emit.cpp.

References thorin::ast::Expr::emit(), thorin::ast::PiExpr::Dom::emit_type(), thorin::ast::PiExpr::Dom::pi_, and thorin::Pi::set_codom().

emit_body()

void thorin::ast::PiExpr::emit_body ( Emitter &  e, Ref  decl  ) const

overrideprivatevirtual

Reimplemented from thorin::ast::Expr.

Definition at line 215 of file emit.cpp.

References thorin::ast::Expr::emit().

Referenced by thorin::ast::LamExpr::emit_().

emit_decl()

Ref thorin::ast::PiExpr::emit_decl ( Emitter &  e, Ref  type  ) const

overrideprivatevirtual

Reimplemented from thorin::ast::Expr.

Definition at line 210 of file emit.cpp.

References thorin::ast::Node::loc().

Referenced by thorin::ast::LamExpr::emit_().

stream()

std::ostream & thorin::ast::PiExpr::stream ( Tab &  tab, std::ostream &  os  ) const

overrideprivatevirtual

Implements thorin::ast::Node.

Definition at line 119 of file stream.cpp.

References thorin::print().

---

The documentation for this class was generated from the following files:

• include/thorin/ast/ast.h
• src/thorin/ast/bind.cpp
• src/thorin/ast/emit.cpp
• src/thorin/ast/stream.cpp