Thorin 1.9.0
The Higher ORder INtermediate representation
|
One of: More...
#include <thorin/ast/ast.h>
Classes | |
class | Dom |
Public Member Functions | |
LamDecl (Loc loc, Tok::Tag tag, bool is_external, Dbg dbg, Ptrs< Dom > &&doms, Ptr< Expr > &&codom, Ptr< Expr > &&body, Ptr< RecDecl > &&next) | |
Tok::Tag | tag () const |
bool | is_external () const |
const Ptrs< Dom > & | doms () const |
const Dom * | dom (size_t i) const |
size_t | num_doms () const |
const Expr * | codom () const |
void | bind_decl (Scopes &) const override |
void | bind_body (Scopes &) const override |
void | emit_decl (Emitter &) const override |
void | emit_body (Emitter &) const override |
std::ostream & | stream (Tab &, std::ostream &) const override |
Public Member Functions inherited from thorin::ast::RecDecl | |
RecDecl (Loc loc, Dbg dbg, Ptr< Expr > &&type, Ptr< Expr > &&body, Ptr< RecDecl > &&next) | |
Dbg | dbg () const |
const Expr * | type () const |
const Expr * | body () const |
const RecDecl * | next () const |
void | bind (Scopes &) const override |
void | emit (Emitter &) const override |
std::ostream & | stream (Tab &, std::ostream &) const override |
Public Member Functions inherited from thorin::ast::Decl | |
Ref | def () const |
Public Member Functions inherited from thorin::ast::Node | |
Loc | loc () const |
void | dump () const |
Additional Inherited Members | |
Protected Member Functions inherited from thorin::ast::ValDecl | |
ValDecl (Loc loc) | |
Protected Member Functions inherited from thorin::ast::Decl | |
Decl (Loc loc) | |
Protected Member Functions inherited from thorin::ast::Node | |
Node (Loc loc) | |
virtual | ~Node () |
Protected Attributes inherited from thorin::ast::Decl | |
Ref | def_ = nullptr |
One of:
λ dom_0 ... dom_n-1 -> codom
.cn dom_0 ... dom_n-1
.fn dom_0 ... dom_n-1 -> codom
.lam dbg dom_0 ... dom_n-1 -> codom
.con dbg dom_0 ... dom_n-1
.fun dbg dom_0 ... dom_n-1 -> codom
|
inline |
Definition at line 837 of file ast.h.
References num_doms().
|
overridevirtual |
Reimplemented from thorin::ast::RecDecl.
Definition at line 320 of file bind.cpp.
References thorin::ast::PiExpr::Dom::bind().
|
overridevirtual |
Reimplemented from thorin::ast::RecDecl.
Definition at line 290 of file bind.cpp.
References thorin::ast::Expr::bind(), thorin::ast::PiExpr::Dom::bind(), and thorin::ast::Node::loc().
|
inline |
|
overridevirtual |
Reimplemented from thorin::ast::RecDecl.
Definition at line 445 of file emit.cpp.
References thorin::ast::Expr::emit().
|
overridevirtual |
Reimplemented from thorin::ast::RecDecl.
Definition at line 417 of file emit.cpp.
References thorin::ast::Expr::emit(), thorin::ast::PiExpr::Dom::emit_type(), thorin::ast::Node::loc(), thorin::ast::PiExpr::Dom::pi_, and thorin::Pi::set_codom().
|
inline |
|
overridevirtual |
Implements thorin::ast::Node.
Definition at line 195 of file stream.cpp.
References thorin::print().