mim::World Member List

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

annex(Sym sym)	mim::World
annex(flags_t flags)	mim::World	inline
annex(Enum auto id)	mim::World	inline
annex()	mim::World	inline
annexes()	mim::World	inline
annexes() const	mim::World	inline
app(const Def *callee, const Def *arg)	mim::World
app(const Def *callee, Defs args)	mim::World	inline
append_suffix(Sym name, std::string suffix)	mim::World
arr(Shape shape, const Def *body)	mim::World	inline
arr(Defs shape, const Def *body)	mim::World	inline
arr(fe::View< u64 > shape, const Def *body)	mim::World	inline
arr(u64 n, const Def *body)	mim::World	inline
axm(NormalizeFn n, u8 curry, u8 trip, const Def *type, plugin_t p, tag_t t, sub_t s)	mim::World	inline
axm(const Def *type, plugin_t p, tag_t t, sub_t s)	mim::World	inline
axm(NormalizeFn n, u8 curry, u8 trip, const Def *type)	mim::World	inline
axm(const Def *type)	mim::World	inline
bot(const Def *type)	mim::World	inline
breakpoint(u32 gid)	mim::World
breakpoints()	mim::World	inline
call(const Def *callee, auto &&arg, Args &&... args)	mim::World	inline
call(const Def *callee, auto &&arg)	mim::World	inline
call(Id id, Args &&... args)	mim::World	inline
call(Args &&... args)	mim::World	inline
call(flags_t id, Args &&... args)	mim::World	inline
cn()	mim::World	inline
cn(const Def *dom, bool implicit=false)	mim::World	inline
cn(Defs dom, bool implicit=false)	mim::World	inline
component(const Def *type, Defs parts, size_t n, size_t i)	mim::World
con(const Def *dom, Lam::Filter f, const Def *body)	mim::World	inline
con(Defs dom, Lam::Filter f, const Def *body)	mim::World	inline
curr_gid() const	mim::World	inline
curr_run() const	mim::World	inline
dbg_key() const	mim::World	inline
debug_dump()	mim::World
dot(std::ostream &os, DotConfig cfg={}) const	mim::World
dot(const char *file=nullptr, DotConfig cfg={}) const	mim::World
driver()	mim::World	inline
driver() const	mim::World	inline
drop(const Seq *s, nat_t k)	mim::World
dump(std::ostream &os)	mim::World
dump()	mim::World
error()	mim::World
error() const	mim::World
ext(const Def *type)	mim::World
externals() const	mim::World	inline
externals()	mim::World	inline
extract(const Def *d, const Def *i)	mim::World
extract(const Def *d, u64 a, u64 i)	mim::World	inline
extract(const Def *d, u64 i)	mim::World	inline
filter(Lam::Filter filter)	mim::World	inline
flags()	mim::World
fn(const Def *dom, const Def *codom, bool implicit=false)	mim::World	inline
fn(Defs dom, const Def *codom, bool implicit=false)	mim::World	inline
fn(const Def *dom, Defs codom, bool implicit=false)	mim::World	inline
fn(Defs dom, Defs codom, bool implicit=false)	mim::World	inline
for_each(bool elide_empty, std::function< void(Def *)>, bool schedule=false)	mim::World
for_each(bool elide_empty, std::invocable< M * > auto f, bool schedule=false)	mim::World	inline
freeze() const	mim::World	inline
fun(const Def *dom, const Def *codom, Lam::Filter f, const Def *body)	mim::World	inline
fun(Defs dom, const Def *codom, Lam::Filter f, const Def *body)	mim::World	inline
fun(const Def *dom, Defs codom, Lam::Filter f, const Def *body)	mim::World	inline
fun(Defs dom, Defs codom, Lam::Filter f, const Def *body)	mim::World	inline
fuse(Seq *seq)	mim::World
get_loc() const	mim::World	inline
gid2def(u32 gid)	mim::World
implicit_app(const Def *callee, const Def *arg)	mim::World
implicit_app(const Def *callee, Defs args)	mim::World	inline
implicit_app(const Def *callee, nat_t arg)	mim::World	inline
implicit_app(const Def *callee, Enum auto arg)	mim::World	inline
implicit_holes(const Def *callee)	mim::World
import(const Def *def)	mim::World	inline
inhabitant(const Def *type)	mim::World	inline
inherit()	mim::World	inline
inj(const Def *type, const Def *value)	mim::World
inj(const Def *type, nat_t index, const Def *value)	mim::World
insert(const Def *d, const Def *i, const Def *val)	mim::World
insert(const Def *d, u64 a, u64 i, const Def *val)	mim::World	inline
insert(const Def *d, u64 i, const Def *val)	mim::World	inline
is_frozen() const	mim::World	inline
is_lenient() const	mim::World	inline
join(Defs ops)	mim::World
lam(const Pi *pi, Lam::Filter f, const Def *body)	mim::World	inline
lam(const Def *dom, const Def *codom, Lam::Filter f, const Def *body)	mim::World	inline
lam(Defs dom, const Def *codom, Lam::Filter f, const Def *body)	mim::World	inline
lam(const Def *dom, Defs codom, Lam::Filter f, const Def *body)	mim::World	inline
lam(Defs dom, Defs codom, Lam::Filter f, const Def *body)	mim::World	inline
lenient() const	mim::World	inline
level(Defs types)	mim::World
lit(const Def *type, u64 val)	mim::World
lit_bool(bool val)	mim::World	inline
lit_ff()	mim::World	inline
lit_i1()	mim::World	inline
lit_i1(bool val)	mim::World	inline
lit_i16()	mim::World	inline
lit_i16(u16 val)	mim::World	inline
lit_i32()	mim::World	inline
lit_i32(u32 val)	mim::World	inline
lit_i64()	mim::World	inline
lit_i64(u64 val)	mim::World	inline
lit_i8()	mim::World	inline
lit_i8(u8 val)	mim::World	inline
lit_idx(nat_t size, u64 val)	mim::World	inline
lit_idx(std::integral auto val)	mim::World	inline
lit_idx_1_0()	mim::World	inline
lit_idx_mod(nat_t mod, u64 val)	mim::World	inline
lit_int(nat_t width, u64 val)	mim::World	inline
lit_level(u64 level)	mim::World	inline
lit_level_0()	mim::World	inline
lit_level_1()	mim::World	inline
lit_nat(nat_t a)	mim::World	inline
lit_nat_0()	mim::World	inline
lit_nat_1()	mim::World	inline
lit_nat_max()	mim::World	inline
lit_tt()	mim::World	inline
lmax(Defs levels)	mim::World
log() const	mim::World
lsucc(const Def *op, level_t offset=1)	mim::World
match(Defs)	mim::World
mut_arr()	mim::World	inline
mut_arr(const Def *type)	mim::World	inline
mut_con(const Def *dom)	mim::World	inline
mut_con(Defs dom)	mim::World	inline
mut_fun(const Def *dom, const Def *codom)	mim::World	inline
mut_fun(Defs dom, const Def *codom)	mim::World	inline
mut_fun(const Def *dom, Defs codom)	mim::World	inline
mut_fun(Defs dom, Defs codom)	mim::World	inline
mut_hole(const Def *type)	mim::World	inline
mut_hole_level()	mim::World	inline
mut_hole_type()	mim::World	inline
mut_lam(const Pi *pi)	mim::World	inline
mut_lam(const Def *dom, const Def *codom)	mim::World	inline
mut_lam(Defs dom, const Def *codom)	mim::World	inline
mut_lam(const Def *dom, Defs codom)	mim::World	inline
mut_lam(Defs dom, Defs codom)	mim::World	inline
mut_pack(const Def *type)	mim::World	inline
mut_pi(const Def *type, bool implicit=false)	mim::World	inline
mut_rule(const Reform *type)	mim::World	inline
mut_seq(bool is_pack, const Def *type)	mim::World	inline
mut_sigma(const Def *type, size_t size)	mim::World	inline
mut_sigma(size_t size)	mim::World	inline
mut_variant(const Def *type, size_t size)	mim::World	inline
muts()	mim::World	inline
muts() const	mim::World	inline
name() const	mim::World	inline
name(const Def *nom, const Def *struc)	mim::World
next_gid()	mim::World	inline
next_run()	mim::World	inline
nom(flags_t key, const Def *type)	mim::World
Num_Lit_Nats	mim::World	static
operator=(World)=delete	mim::World
pack(Shape shape, const Def *body)	mim::World	inline
pack(Defs shape, const Def *body)	mim::World	inline
pack(fe::View< u64 > shape, const Def *body)	mim::World	inline
pack(u64 n, const Def *body)	mim::World	inline
peel(const Seq *seq, const Def *index)	mim::World
pi(const Def *dom, const Def *codom, bool implicit=false)	mim::World	inline
pi(Defs dom, const Def *codom, bool implicit=false)	mim::World	inline
pi(const Def *dom, Defs codom, bool implicit=false)	mim::World	inline
pi(Defs dom, Defs codom, bool implicit=false)	mim::World	inline
postpone(const LMax *lmax, const Def *level)	mim::World	inline
prod(bool term, Defs ops)	mim::World	inline
prod(bool term)	mim::World	inline
proxy(const Def *type, Defs ops, u32 tag, bool vars=false, bool muts=false)	mim::World	inline
push(Loc)	mim::World
raw_app(const Axm *axm, u8 curry, u8 trip, const Def *type, const Def *callee, const Def *arg)	mim::World
raw_app(const Def *type, const Def *callee, const Def *arg)	mim::World
raw_app(const Def *type, const Def *callee, Defs args)	mim::World	inline
reduce(const Var *var, const Def *arg)	mim::World
reduce(const Var *var, const Def *arg, size_t i)	mim::World
reform(const Def *dom)	mim::World	inline
rule(const Reform *type, const Def *lhs, const Def *rhs, const Def *guard)	mim::World	inline
ScopedLoc typedef	mim::World
select(const Def *cond, const Def *t, const Def *f)	mim::World	inline
seq(bool is_pack, Shape shape, const Def *body)	mim::World
seq(bool is_pack, Defs shape, const Def *body)	mim::World
seq(bool is_pack, u64 n, const Def *body)	mim::World	inline
seq(bool is_pack, fe::View< u64 > shape, const Def *body)	mim::World	inline
set(Sym name)	mim::World	inline
set(std::string_view name)	mim::World	inline
sigma(Defs ops)	mim::World
sigma()	mim::World	inline
single(const Def *)	mim::World
solve_levels()	mim::World
state() const	mim::World	inline
struc(const Def *nom)	mim::World
swap(World &w1, World &w2) noexcept	mim::World	friend
sym(std::string_view)	mim::World
sym(const char *)	mim::World
sym(const std::string &)	mim::World
top(const Def *type)	mim::World	inline
tuple(Defs ops)	mim::World
tuple(const Def *type, Defs ops)	mim::World
tuple()	mim::World	inline
tuple(Sym sym)	mim::World
type(const Def *level)	mim::World
type()	mim::World	inline
type_bool()	mim::World	inline
type_bot()	mim::World	inline
type_i1()	mim::World	inline
type_i16()	mim::World	inline
type_i32()	mim::World	inline
type_i64()	mim::World	inline
type_i8()	mim::World	inline
type_idx()	mim::World	inline
type_idx(const Def *size)	mim::World	inline
type_idx(nat_t size)	mim::World	inline
type_indices(Shape shape)	mim::World
type_infer_level()	mim::World	inline
type_int(nat_t width)	mim::World	inline
type_level()	mim::World	inline
type_nat()	mim::World	inline
type_pending()	mim::World	inline
type_top()	mim::World	inline
unwrap(const Def *)	mim::World
var(Def *mut)	mim::World
variant(Defs ops)	mim::World
vars()	mim::World	inline
vars() const	mim::World	inline
verify()	mim::World
watchpoint(u32 gid)	mim::World
watchpoints()	mim::World	inline
World(Driver *, Sym name)	mim::World	explicit
World(Driver *, const State &)	mim::World
World(World &&other) noexcept	mim::World	inline
wrap(const Def *)	mim::World
write(const char *file)	mim::World
write()	mim::World
zonker()	mim::World	inline
~World()	mim::World