MimIR 0.1
MimIR is my Intermediate Representation
|
#include <mim/ast/ast.h>
Public Member Functions | |
Dom (Loc loc, Ptr< Ptrn > &&ptrn, Ptr< Expr > &&filter) | |
bool | implicit () const |
const Expr * | filter () const |
void | bind (Scopes &scopes, bool quiet=false) const override |
Lam * | emit_value (Emitter &) const |
std::ostream & | stream (Tab &, std::ostream &) const override |
Public Member Functions inherited from mim::ast::PiExpr::Dom | |
Dom (Loc loc, Ptr< Ptrn > &&ptrn) | |
bool | implicit () const |
const Ptrn * | ptrn () const |
const IdPtrn * | ret () const |
void | add_ret (AST &ast, Ptr< Expr > &&type) const |
virtual void | emit_type (Emitter &) const |
std::ostream & | stream (Tab &, std::ostream &) const override |
Public Member Functions inherited from mim::ast::Node | |
Loc | loc () const |
void | dump () const |
Friends | |
class | LamDecl |
Additional Inherited Members | |
Protected Member Functions inherited from mim::ast::Node | |
Node (Loc loc) | |
virtual | ~Node () |
Protected Attributes inherited from mim::ast::PiExpr::Dom | |
Pi * | pi_ = nullptr |
Pi * | decl_ = nullptr |
|
overridevirtual |
Reimplemented from mim::ast::PiExpr::Dom.
Definition at line 283 of file bind.cpp.
References mim::ast::PiExpr::Dom::bind().
|
inline |
Definition at line 854 of file ast.h.
References mim::ast::Ptrn::implicit(), and mim::ast::PiExpr::Dom::ptrn().
|
overridevirtual |