mim::ast::Expr Class Reference

#include <mim/ast/ast.h>

Inheritance diagram for mim::ast::Expr:

Public Member Functions
Ref	emit (Emitter &) const
virtual void	bind (Scopes &) const =0
virtual Ref	emit_decl (Emitter &, Ref) const
virtual void	emit_body (Emitter &, Ref) const
Public Member Functions inherited from mim::ast::Node
Loc	loc () const
virtual std::ostream &	stream (Tab &, std::ostream &) const =0
void	dump () const

Protected Member Functions
	Expr (Loc loc)
Protected Member Functions inherited from mim::ast::Node
	Node (Loc loc)
virtual	~Node ()

Private Member Functions
virtual Ref	emit_ (Emitter &) const =0

Precedence
enum class	Prec {   Err ,   Bot ,   Where ,   Arrow ,   Pi ,   App ,   Extract ,   Lit }
static constexpr bool	is_rassoc (Prec p)

Detailed Description

Definition at line 130 of file ast.h.

Member Enumeration Documentation

Prec

enum class mim::ast::Expr::Prec

strong

Enumerator
Err
Bot
Where
Arrow
Pi
App
Extract
Lit

Definition at line 138 of file ast.h.

Constructor & Destructor Documentation

Expr()

mim::ast::Expr::Expr ( Loc loc )

inlineprotected

Definition at line 132 of file ast.h.

Member Function Documentation

bind()

virtual void mim::ast::Expr::bind ( Scopes & ) const

pure virtual

Implemented in mim::ast::AppExpr, mim::ast::ArrOrPackExpr< arr >, mim::ast::ArrowExpr, mim::ast::DeclExpr, mim::ast::ErrorExpr, mim::ast::ExtractExpr, mim::ast::IdExpr, mim::ast::InferExpr, mim::ast::InsertExpr, mim::ast::LamExpr, mim::ast::LitExpr, mim::ast::PiExpr, mim::ast::PrimaryExpr, mim::ast::RetExpr, mim::ast::SigmaExpr, mim::ast::TupleExpr, and mim::ast::TypeExpr.

Referenced by mim::ast::ArrowExpr::bind(), mim::ast::CDecl::bind(), mim::ast::DeclExpr::bind(), mim::ast::IdPtrn::bind(), mim::ast::LitExpr::bind(), mim::ast::PiExpr::bind(), and mim::ast::LamDecl::bind_decl().

emit()

Ref mim::ast::Expr::emit

(

Emitter &

e

)

const

Definition at line 121 of file emit.cpp.

References emit_(), and mim::ast::Node::loc().

Referenced by mim::ast::CDecl::emit(), mim::ast::ArrOrPackExpr< arr >::emit_(), mim::ast::ArrowExpr::emit_(), mim::ast::DeclExpr::emit_(), mim::ast::LitExpr::emit_(), mim::ast::PiExpr::emit_(), mim::ast::RetExpr::emit_(), mim::ast::TypeExpr::emit_(), mim::ast::ArrowExpr::emit_body(), mim::ast::LamDecl::emit_body(), mim::ast::PiExpr::emit_body(), mim::ast::LamDecl::emit_decl(), and mim::ast::IdPtrn::emit_type().

emit_()

virtual Ref mim::ast::Expr::emit_ ( Emitter & ) const

privatepure virtual

Implemented in mim::ast::AppExpr, mim::ast::ArrOrPackExpr< arr >, mim::ast::ArrowExpr, mim::ast::DeclExpr, mim::ast::ErrorExpr, mim::ast::ExtractExpr, mim::ast::IdExpr, mim::ast::InferExpr, mim::ast::InsertExpr, mim::ast::LamExpr, mim::ast::LitExpr, mim::ast::PiExpr, mim::ast::PrimaryExpr, mim::ast::RetExpr, mim::ast::SigmaExpr, mim::ast::TupleExpr, and mim::ast::TypeExpr.

Referenced by emit().

emit_body()

virtual void mim::ast::Expr::emit_body ( Emitter & , Ref  ) const

inlinevirtual

Reimplemented in mim::ast::ArrowExpr, mim::ast::LamExpr, mim::ast::PiExpr, and mim::ast::SigmaExpr.

Definition at line 155 of file ast.h.

emit_decl()

virtual Ref mim::ast::Expr::emit_decl ( Emitter & , Ref  ) const

inlinevirtual

Reimplemented in mim::ast::ArrowExpr, mim::ast::LamExpr, mim::ast::PiExpr, and mim::ast::SigmaExpr.

Definition at line 154 of file ast.h.

is_rassoc()

static constexpr bool mim::ast::Expr::is_rassoc ( Prec p )

inlinestaticconstexpr

Definition at line 149 of file ast.h.

References Arrow.

---

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

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