mim::ast::LamExpr Class Reference

Wraps a LamDecl as Expr. More...

#include <mim/ast/ast.h>

Inheritance diagram for mim::ast::LamExpr:

Public Member Functions
	LamExpr (Ptr< LamDecl > &&lam)
const LamDecl *	lam () const
void	bind (Scopes &) const override
const Def *	emit_decl (Emitter &, const Def *type) const override
void	emit_body (Emitter &, const Def *decl) const override
std::ostream &	stream (Tab &, std::ostream &) const override
Public Member Functions inherited from mim::ast::Expr
const Def *	emit (Emitter &) const
Public Member Functions inherited from mim::ast::Node
Loc	loc () const
void	dump () const

Private Member Functions
const Def *	emit_ (Emitter &) const override

Additional Inherited Members
enum class	Prec {   Err ,   Bot ,   Where ,   Arrow ,   Pi ,   App ,   Extract ,   Lit }
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

Wraps a LamDecl as Expr.

Definition at line 542 of file ast.h.

Constructor & Destructor Documentation

LamExpr()

mim::ast::LamExpr::LamExpr

(

Ptr< LamDecl > &&

lam

)

Definition at line 159 of file ast.cpp.

References mim::ast::Expr::Expr(), lam(), and mim::ast::Node::loc().

Member Function Documentation

bind()

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

overridevirtual

Implements mim::ast::Expr.

Definition at line 161 of file bind.cpp.

References lam().

emit_()

const Def * mim::ast::LamExpr::emit_ ( Emitter & e ) const

overrideprivatevirtual

Implements mim::ast::Expr.

Definition at line 245 of file emit.cpp.

References mim::ast::PiExpr::emit_body(), and mim::ast::PiExpr::emit_decl().

emit_body()

void mim::ast::LamExpr::emit_body ( Emitter & e, const Def * decl ) const

overridevirtual

Reimplemented from mim::ast::Expr.

Definition at line 243 of file emit.cpp.

References lam().

emit_decl()

const Def * mim::ast::LamExpr::emit_decl ( Emitter & e, const Def * type ) const

overridevirtual

Reimplemented from mim::ast::Expr.

Definition at line 242 of file emit.cpp.

References lam().

lam()

const LamDecl * mim::ast::LamExpr::lam ( ) const

inline

Definition at line 546 of file ast.h.

Referenced by bind(), emit_body(), emit_decl(), LamExpr(), and stream().

stream()

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

overridevirtual

Implements mim::ast::Node.

Definition at line 124 of file stream.cpp.

References lam(), and mim::print().

---

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

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