Thorin 1.9.0
The Higher ORder INtermediate representation
|
This is the complete list of members for thorin::ast::AxiomDecl, including all inherited members.
AxiomDecl(Loc loc, Dbg dbg, std::deque< Ptrs< Alias > > &&subs, Ptr< Expr > &&type, Dbg normalizer, Tok curry, Tok trip) | thorin::ast::AxiomDecl | inline |
bind(Scopes &) const override | thorin::ast::AxiomDecl | virtual |
curry() const | thorin::ast::AxiomDecl | inline |
dbg() const | thorin::ast::AxiomDecl | inline |
Decl(Loc loc) | thorin::ast::Decl | inlineprotected |
def() const | thorin::ast::Decl | inline |
def_ | thorin::ast::Decl | mutableprotected |
dump() const | thorin::ast::Node | |
emit(Emitter &) const override | thorin::ast::AxiomDecl | virtual |
loc() const | thorin::ast::Node | inline |
Node(Loc loc) | thorin::ast::Node | inlineprotected |
normalizer() const | thorin::ast::AxiomDecl | inline |
num_subs() const | thorin::ast::AxiomDecl | inline |
stream(Tab &, std::ostream &) const override | thorin::ast::AxiomDecl | virtual |
sub(size_t i) const | thorin::ast::AxiomDecl | inline |
subs() const | thorin::ast::AxiomDecl | inline |
trip() const | thorin::ast::AxiomDecl | inline |
type() const | thorin::ast::AxiomDecl | inline |
ValDecl(Loc loc) | thorin::ast::ValDecl | inlineprotected |
~Node() | thorin::ast::Node | inlineprotectedvirtual |