MimIR 0.1
MimIR is my Intermediate Representation
Loading...
Searching...
No Matches
Public Member Functions | Private Member Functions | List of all members
mim::ast::HoleExpr Class Reference

#include <mim/ast/ast.h>

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

Public Member Functions

 HoleExpr (Loc loc)
 
void bind (Scopes &) const override
 
std::ostream & stream (Tab &, std::ostream &) const override
 
- Public Member Functions inherited from mim::ast::Expr
const Def * emit (Emitter &) const
 
virtual const Def * emit_decl (Emitter &, const Def *) const
 
virtual void emit_body (Emitter &, const Def *) 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 ,
  Inj ,
  App ,
  Union ,
  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

Definition at line 335 of file ast.h.

Constructor & Destructor Documentation

◆ HoleExpr()

mim::ast::HoleExpr::HoleExpr ( Loc loc)
inline

Definition at line 337 of file ast.h.

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

Member Function Documentation

◆ bind()

void mim::ast::HoleExpr::bind ( Scopes & ) const
overridevirtual

Implements mim::ast::Expr.

Definition at line 123 of file bind.cpp.

◆ emit_()

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

Implements mim::ast::Expr.

Definition at line 136 of file emit.cpp.

◆ stream()

std::ostream & mim::ast::HoleExpr::stream ( Tab & ,
std::ostream & os ) const
overridevirtual

Implements mim::ast::Node.

Definition at line 79 of file stream.cpp.

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