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

⦃ expr ⦄ More...

#include <mim/ast/ast.h>

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

Public Member Functions

 UniqExpr (Loc loc, Ptr< Expr > &&expr)
 
const Expr * inhabitant () const
 
void bind (Scopes &) const override
 
std::ostream & stream (Tab &, std::ostream &) const override
 
- Public Member Functions inherited from mim::ast::Expr
Ref emit (Emitter &) const
 
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
 
void dump () const
 

Private Member Functions

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

⦃ expr ⦄

Definition at line 729 of file ast.h.

Constructor & Destructor Documentation

◆ UniqExpr()

mim::ast::UniqExpr::UniqExpr ( Loc loc,
Ptr< Expr > && expr )
inline

Definition at line 731 of file ast.h.

Member Function Documentation

◆ bind()

void mim::ast::UniqExpr::bind ( Scopes & s) const
overridevirtual

Implements mim::ast::Expr.

Definition at line 214 of file bind.cpp.

◆ emit_()

Ref mim::ast::UniqExpr::emit_ ( Emitter & e) const
overrideprivatevirtual

Implements mim::ast::Expr.

Definition at line 337 of file emit.cpp.

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

◆ inhabitant()

const Expr * mim::ast::UniqExpr::inhabitant ( ) const
inline

Definition at line 735 of file ast.h.

◆ stream()

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

Implements mim::ast::Node.

Definition at line 154 of file stream.cpp.

References mim::print().

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