thorin::Lam Member List

This is the complete list of members for thorin::Lam, including all inherited members.

app(Filter filter, const Def *callee, const Def *arg)	thorin::Lam
app(Filter filter, const Def *callee, Defs args)	thorin::Lam
arity() const	thorin::Def
as_imm() const	thorin::Def	inline
as_lit_arity() const	thorin::Def	inline
as_mut() const	thorin::Def	inline
body() const	thorin::Lam	inline
branch(Filter filter, const Def *cond, const Def *t, const Def *f, const Def *mem=nullptr)	thorin::Lam
check() override	thorin::Lam	virtual
codom() const	thorin::Lam	inline
curry_	thorin::Def	protected
dbg() const	thorin::Def	inline
dbg_	thorin::Def	mutableprotected
debug_prefix(std::string) const	thorin::Def
debug_suffix(std::string) const	thorin::Def
Def(World *, node_t, const Def *type, Defs ops, flags_t flags)	thorin::Def	protected
Def(node_t n, const Def *type, Defs ops, flags_t flags)	thorin::Def	protected
Def(node_t, const Def *type, size_t num_ops, flags_t flags)	thorin::Def	protected
dep() const	thorin::Def	inline
dep_const() const	thorin::Def	inline
dom() const	thorin::Lam	inline
dot(std::ostream &os, uint32_t max=0xFFFFFF, bool types=false) const	thorin::Def
dot(const char *file=nullptr, uint32_t max=0xFFFFFF, bool types=false) const	thorin::Def
dot(const std::string &file, uint32_t max=0xFFFFFF, bool types=false) const	thorin::Def	inline
dump() const	thorin::Def
dump(int max) const	thorin::Def
extended_op(size_t i) const	thorin::Def	inline
extended_ops() const	thorin::Def
Filter typedef	thorin::Lam
filter() const	thorin::Lam	inline
flags() const	thorin::Def	inline
flags_	thorin::Def	protected
free_vars() const	thorin::Def
free_vars()	thorin::Def
fv_consumers()	thorin::Def	inline
gid() const	thorin::Def	inline
has_dep(Dep d) const	thorin::Def	inline
has_dep(unsigned u) const	thorin::Def	inline
has_var()	thorin::Def	inline
has_var() const	thorin::Def	inline
hash() const	thorin::Def	inline
immutabilize()	thorin::Def	inlinevirtual
is_closed() const	thorin::Def
is_external() const	thorin::Def	inline
is_open() const	thorin::Def
is_set() const	thorin::Def
is_term() const	thorin::Def
isa_basicblock(Ref d)	thorin::Lam	inlinestatic
isa_cn(Ref d)	thorin::Lam	inlinestatic
isa_imm() const	thorin::Def	inline
isa_imm(R(T::*f)() const) const	thorin::Def	inline
isa_lit_arity() const	thorin::Def
isa_mut() const	thorin::Def	inline
isa_mut_basicblock(Ref d)	thorin::Lam	inlinestatic
isa_mut_cn(Ref d)	thorin::Lam	inlinestatic
isa_mut_returning(Ref d)	thorin::Lam	inlinestatic
isa_returning(Ref d)	thorin::Lam	inlinestatic
loc() const	thorin::Def	inline
local_muts() const	thorin::Def
local_vars() const	thorin::Def	inline
make_external()	thorin::Def
make_internal()	thorin::Def
node() const	thorin::Def	inline
node_name() const	thorin::Def
num_extended_ops() const	thorin::Def	inline
num_ops() const	thorin::Def	inline
num_partial_ops() const	thorin::Def	inline
num_projs() const	thorin::Def	inline
num_tprojs() const	thorin::Def
num_tvars()	thorin::Def	inline
num_uses() const	thorin::Def	inline
num_vars()	thorin::Def	inline
op(size_t i) const	thorin::Def	inline
ops() const	thorin::Def	inline
partial_op(size_t i) const	thorin::Def	inline
partial_ops() const	thorin::Def	inline
proj(nat_t a, nat_t i) const	thorin::Def
proj(nat_t i) const	thorin::Def	inline
projs(F f) const	thorin::Def	inline
projs(nat_t a, F f) const	thorin::Def	inline
projs() const	thorin::Def	inline
projs(nat_t a) const	thorin::Def	inline
rebuild(World &w, Ref type, Defs ops) const	thorin::Def	inline
rebuild(Ref type, Defs ops) const	thorin::Def	inline
reduce(const Def *arg) const	thorin::Def
reduce(const Def *arg)	thorin::Def
refine(size_t i, const Def *new_op) const	thorin::Def
reset(size_t i, const Def *def)	thorin::Def	inline
reset(Defs ops)	thorin::Def
ret_dom() const	thorin::Lam	inline
ret_pi() const	thorin::Lam	inline
ret_var()	thorin::Lam	inline
set(Filter filter, const Def *body)	thorin::Lam	inline
set(Defs ops)	thorin::Lam	inline
thorin::Def::set(size_t i, const Def *def)	thorin::Def
thorin::Def::set(Loc l) const	thorin::Def	inline
thorin::Def::set(Loc l)	thorin::Def	inline
thorin::Def::set(Sym s) const	thorin::Def	inline
thorin::Def::set(Sym s)	thorin::Def	inline
thorin::Def::set(std::string s) const	thorin::Def	inline
thorin::Def::set(std::string s)	thorin::Def	inline
thorin::Def::set(Loc l, Sym s) const	thorin::Def	inline
thorin::Def::set(Loc l, Sym s)	thorin::Def	inline
thorin::Def::set(Loc l, std::string s) const	thorin::Def	inline
thorin::Def::set(Loc l, std::string s)	thorin::Def	inline
thorin::Def::set(Dbg d) const	thorin::Def	inline
thorin::Def::set(Dbg d)	thorin::Def	inline
set_body(const Def *body)	thorin::Lam	inline
set_filter(Filter)	thorin::Lam
set_type(const Def *)	thorin::Def
stream(std::ostream &, int max) const	thorin::Def
stub(Ref type)	thorin::Lam	inline
thorin::Def::stub(World &w, Ref type)	thorin::Def	inline
stub_(World &, Ref) override	thorin::Lam	privatevirtual
sym() const	thorin::Def	inline
sym(const char *) const	thorin::Def	protected
sym(std::string_view) const	thorin::Def	protected
sym(std::string) const	thorin::Def	protected
test(Filter filter, const Def *val, const Def *idx, const Def *match, const Def *clash, const Def *mem)	thorin::Lam
tproj(nat_t i) const	thorin::Def	inline
tprojs(F f) const	thorin::Def	inline
tprojs() const	thorin::Def	inline
transfer_external(Def *to)	thorin::Def	inline
trip_	thorin::Def	protected
tvar(nat_t i)	thorin::Def	inline
tvars(F f)	thorin::Def	inline
tvars()	thorin::Def	inline
type() const	thorin::Lam	inline
unfold_type() const	thorin::Def
unique_name() const	thorin::Def
unset()	thorin::Lam	inline
unset_type()	thorin::Def
update()	thorin::Def	inline
uses() const	thorin::Def	inline
var(nat_t a, nat_t i)	thorin::Def	inline
var(nat_t i)	thorin::Def	inline
var()	thorin::Def
vars(F f)	thorin::Def	inline
vars()	thorin::Def	inline
vars(nat_t a, F f)	thorin::Def	inline
vars(nat_t a)	thorin::Def	inline
world() const	thorin::Def
write(int max) const	thorin::Def
write(int max, const char *file) const	thorin::Def
~Def()=default	thorin::Def	protectedvirtual