mim::ast::PiExpr Class Reference

One of: More...

#include <mim/ast/ast.h>

Inheritance diagram for mim::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 mim::ast::Expr
Ref	emit (Emitter &) const
Public Member Functions inherited from mim::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
Public Types inherited from mim::ast::Expr
enum class	Prec {   Err ,   Bot ,   Where ,   Arrow ,   Pi ,   App ,   Extract ,   Lit }
Static Public Member Functions inherited from mim::ast::Expr
static constexpr bool	is_rassoc (Prec p)
Protected Member Functions inherited from mim::ast::Expr
	Expr (Loc loc)
Protected Member Functions inherited from mim::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 479 of file ast.h.

Constructor & Destructor Documentation

PiExpr()

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

inline

Definition at line 511 of file ast.h.

Member Function Documentation

bind()

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

overrideprivatevirtual

Implements mim::ast::Expr.

Definition at line 151 of file bind.cpp.

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

emit_()

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

overrideprivatevirtual

Implements mim::ast::Expr.

Definition at line 233 of file emit.cpp.

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

emit_body()

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

overrideprivatevirtual

Reimplemented from mim::ast::Expr.

Definition at line 231 of file emit.cpp.

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

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

emit_decl()

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

overrideprivatevirtual

Reimplemented from mim::ast::Expr.

Definition at line 226 of file emit.cpp.

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

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

stream()

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

overrideprivatevirtual

Implements mim::ast::Node.

Definition at line 118 of file stream.cpp.

References mim::print().

---

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

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