mim::LSucc Member List

This is the complete list of members for mim::LSucc, including all inherited members.

arity() const	mim::Def
as_imm() const	mim::Def	inline
as_mut() const	mim::Def	inline
bail_expected(fe::Cite what) const	mim::Def
blame(fe::cite_string< Args... > s, Args &&... args) const	mim::Def	inline
cat(Defs a, Defs b)	mim::Def	static
cat(const Def *a, Defs bs)	mim::Def	inlinestatic
cat(Defs as, const Def *b)	mim::Def	inlinestatic
check(size_t i, const Def *def)	mim::Def
check()	mim::Def
Cmp enum name	mim::Def
cmp(const Def *a, const Def *b)	mim::Def	static
collect_locals()	mim::Def	protected
curry_	mim::Def	protected
dbg() const	mim::Def
dbg_key() const	mim::Def	inline
debug_prefix(std::string) const	mim::Def
debug_suffix(std::string) const	mim::Def
Def(World *, Node, const Def *type, Defs ops, flags_t flags)	mim::Def	protected
Def(Node, const Def *type, Defs ops, flags_t flags)	mim::Def	protected
Def(Node, const Def *type, size_t num_ops, flags_t flags)	mim::Def	protected
Def(Node, Def *binder)	mim::Def	protected
dep(size_t i) const noexcept	mim::Def	inline
deps() const noexcept	mim::Def
dot(std::ostream &os, DotConfig cfg={}) const	mim::Def
dot(const char *file=nullptr, DotConfig cfg={}) const	mim::Def
dot(const std::string &file, DotConfig cfg={}) const	mim::Def	inline
driver() const noexcept	mim::Def
Dump enum name	mim::Def
dump() const	mim::Def
dump(Dump) const	mim::Def
err_loc() const	mim::Def
error() const noexcept	mim::Def
expect(fe::cite_string< Args... > fmt, Args &&... args)	mim::Def	inline
expect(fe::cite_string< Args... > fmt, Args &&... args) const	mim::Def	inline
expect_mut(fe::cite_string< Args... > fmt, Args &&... args) const	mim::Def	inline
externalize()	mim::Def
flags() const noexcept	mim::Def	inline
flags_	mim::Def	protected
free_vars() const	mim::Def
free_vars()	mim::Def
gid() const noexcept	mim::Def	inline
greater(const Def *a, const Def *b)	mim::Def	static
has_free_var(const Var *) const	mim::Def
has_free_vars() const	mim::Def
has_free_vars_in(Vars) const	mim::Def
has_hole() const noexcept	mim::Def	inline
has_var()	mim::Def	inline
has_var() const	mim::Def	inline
hash() const noexcept	mim::Def	inline
immutabilize()	mim::Def
in_scope(Def *mut) const	mim::Def
internalize()	mim::Def
is_annex() const noexcept	mim::Def	inline
is_closed() const	mim::Def
is_elim() const noexcept	mim::Def	inline
is_external() const noexcept	mim::Def	inline
is_form() const noexcept	mim::Def	inline
is_ground() const	mim::Def	inline
is_immutabilizable()	mim::Def
is_intro() const noexcept	mim::Def	inline
is_meta() const noexcept	mim::Def	inline
is_mutable() const noexcept	mim::Def	inline
is_open() const	mim::Def	inline
is_set() const	mim::Def	inline
is_term() const	mim::Def
isa_binder() const	mim::Def	inline
isa_imm() const	mim::Def	inline
isa_mut() const	mim::Def	inline
isa_type() const	mim::Def	inline
judge() const noexcept	mim::Def	inline
less(const Def *a, const Def *b)	mim::Def	static
loc() const	mim::Def	inline
local_muts() const	mim::Def	inline
local_vars() const	mim::Def	inline
mark() const noexcept	mim::Def	inline
mut_node() const noexcept	mim::Def	inline
needs_zonk() const	mim::Def
nests(Def *mut)	mim::Def
nests(const Def *def)	mim::Def
Node	mim::LSucc	static
node() const noexcept	mim::Def	inline
node_name() const	mim::Def
num_deps() const noexcept	mim::Def	inline
Num_Ops	mim::LSucc	static
num_ops() const noexcept	mim::Def	inline
num_projs() const	mim::Def	inline
num_tprojs() const	mim::Def
num_tvars() noexcept	mim::Def	inline
num_vars() noexcept	mim::Def	inline
offset() const	mim::LSucc	inline
op() const	mim::LSucc	inline
mim::Def::op(size_t i) const noexcept	mim::Def	inline
ops() const noexcept	mim::Def	inline
outermost_binder() const	mim::Def
proj(nat_t a, nat_t i) const	mim::Def
projs(Projector auto f) const	mim::Def	inline
projs(nat_t a, Projector auto f) const	mim::Def	inline
projs() const	mim::Def	inline
projs(nat_t a) const	mim::Def	inline
reduce(const Def *arg) const	mim::Def	inline
reduction_offset() const noexcept	mim::Def
mim::set(size_t i, const Def *)	mim::Def
mim::set(Defs ops)	mim::Def
mim::set(Loc l) const	mim::Def	inline
mim::set(Loc l)	mim::Def	inline
mim::set(Sym s) const	mim::Def	inline
mim::set(Sym s)	mim::Def	inline
mim::set(std::string s) const	mim::Def	inline
mim::set(std::string s)	mim::Def	inline
mim::set(Loc l, Sym s) const	mim::Def	inline
mim::set(Loc l, Sym s)	mim::Def	inline
mim::set(Loc l, std::string s) const	mim::Def	inline
mim::set(Loc l, std::string s)	mim::Def	inline
mim::set(Dbg d) const	mim::Def	inline
mim::set(Dbg d)	mim::Def	inline
mim::set(DbgKey key) const	mim::Def	inline
mim::set(DbgKey key)	mim::Def	inline
mim::Setters< LSucc >::set(Args &&... args) const	mim::Setters< LSucc >	inline
set_dbg(Dbg) const	mim::Def	protected
set_dbg_(Dbg, bool ow) const	mim::Def	protected
set_dbg_key_(DbgKey, bool ow) const	mim::Def	protected
set_type(const Def *)	mim::Def
stream(std::ostream &, Dump) const	mim::Def
sym() const	mim::Def	inline
sym(const char *) const	mim::Def	protected
sym(std::string_view) const	mim::Def	protected
sym(std::string) const	mim::Def	protected
tproj(nat_t i) const	mim::Def	inline
tprojs(Projector auto f) const	mim::Def	inline
tprojs() const	mim::Def	inline
transfer_external(Def *to)	mim::Def
trip_	mim::Def	protected
tvar(nat_t i) noexcept	mim::Def	inline
tvars(Projector auto f) noexcept	mim::Def	inline
tvars() noexcept	mim::Def	inline
type() const noexcept	mim::Def	inline
unfold_type() const	mim::Def
unique_name() const	mim::Def
unset()	mim::Def
users()	mim::Def	inline
var(nat_t a, nat_t i) noexcept	mim::Def	inline
var()	mim::Def
var_type()	mim::Def
vars(Projector auto f) noexcept	mim::Def	inline
vars() noexcept	mim::Def	inline
vars(nat_t a, Projector auto f) noexcept	mim::Def	inline
vars(nat_t a) noexcept	mim::Def	inline
World class	mim::LSucc	friend
world() const noexcept	mim::Def	inline
write(Dump) const	mim::Def
write(Dump, const char *file) const	mim::Def
zonk() const	mim::Def
zonk(Defs defs)	mim::Def	static
zonk_mut() const	mim::Def