|
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 | is_implicit () const |
| const Expr * | filter () const |
| void | bind (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 | is_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 * | decl_ = nullptr |
| Pi * | pi_ = nullptr |
Definition at line 955 of file ast.h.
References Dom(), filter(), mim::ast::Node::loc(), mim::ast::PiExpr::Dom::PiExpr, and mim::ast::PiExpr::Dom::ptrn().
Referenced by Dom().
|
overridevirtual |
Reimplemented from mim::ast::PiExpr::Dom.
Definition at line 330 of file bind.cpp.
References mim::ast::PiExpr::Dom::bind(), and filter().
Definition at line 446 of file emit.cpp.
References mim::ast::PiExpr::Dom::pi_, mim::ast::PiExpr::Dom::ptrn(), and mim::ast::PiExpr::Dom::ret().
|
inline |
|
inline |
Definition at line 959 of file ast.h.
References mim::ast::Ptrn::is_implicit(), and mim::ast::PiExpr::Dom::ptrn().
Referenced by stream().
|
overridevirtual |
Implements mim::ast::Node.
Definition at line 211 of file stream.cpp.
References filter(), is_implicit(), mim::print(), mim::ast::PiExpr::Dom::ptrn(), mim::ast::PiExpr::Dom::ret(), and mim::ast::RecDecl::type().
|
friend |