MimIR 0.1
MimIR is my Intermediate Representation
Loading...
Searching...
No Matches
mim::ast::ArrowExpr Class Reference

dom -> codom More...

#include <mim/ast/ast.h>

Inheritance diagram for mim::ast::ArrowExpr:
[legend]

Public Member Functions

 ArrowExpr (Loc loc, Ptr< Expr > &&dom, Ptr< Expr > &&codom)
 
- Public Member Functions inherited from mim::ast::Expr
const Defemit (Emitter &) const
 
- Public Member Functions inherited from mim::ast::Node
Loc loc () const
 
void dump () const
 

Private Member Functions

void bind (Scopes &) const override
 
const Defemit_decl (Emitter &, const Def *type) const override
 
void emit_body (Emitter &, const Def *decl) const override
 
std::ostream & stream (Tab &, std::ostream &) const override
 
const Defemit_ (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

dom -> codom

Definition at line 451 of file ast.h.

Constructor & Destructor Documentation

◆ ArrowExpr()

mim::ast::ArrowExpr::ArrowExpr ( Loc loc,
Ptr< Expr > && dom,
Ptr< Expr > && codom )
inline

Definition at line 453 of file ast.h.

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

Member Function Documentation

◆ bind()

void mim::ast::ArrowExpr::bind ( Scopes & s) const
overrideprivatevirtual

Implements mim::ast::Expr.

Definition at line 141 of file bind.cpp.

◆ emit_()

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

Implements mim::ast::Expr.

Definition at line 201 of file emit.cpp.

◆ emit_body()

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

Reimplemented from mim::ast::Expr.

Definition at line 196 of file emit.cpp.

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

◆ emit_decl()

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

Reimplemented from mim::ast::Expr.

Definition at line 192 of file emit.cpp.

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

◆ stream()

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

Implements mim::ast::Node.

Definition at line 108 of file stream.cpp.

References mim::print().


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