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

#include <mim/ast/ast.h>

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

Public Member Functions

 InferExpr (Loc loc)
 
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

Definition at line 332 of file ast.h.

Constructor & Destructor Documentation

◆ InferExpr()

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

Definition at line 334 of file ast.h.

Member Function Documentation

◆ bind()

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

Implements mim::ast::Expr.

Definition at line 119 of file bind.cpp.

◆ emit_()

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

Implements mim::ast::Expr.

Definition at line 127 of file emit.cpp.

◆ stream()

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

Implements mim::ast::Node.

Definition at line 76 of file stream.cpp.

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