mim::World Member List

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

ac(Ref type, Defs ops)	mim::World
ac(Defs ops)	mim::World
annex(Id id)	mim::World	inline
annex()	mim::World	inline
annexes() const	mim::World	inline
app(Ref callee, Ref arg)	mim::World
app(Ref callee, Defs args)	mim::World	inline
append_suffix(Sym name, std::string suffix)	mim::World
arr(Ref shape, Ref body)	mim::World
arr(Defs shape, Ref body)	mim::World
arr(u64 n, Ref body)	mim::World	inline
arr(View< u64 > shape, Ref body)	mim::World	inline
arr_unsafe(Ref body)	mim::World	inline
axiom(NormalizeFn n, u8 curry, u8 trip, Ref type, plugin_t p, tag_t t, sub_t s)	mim::World	inline
axiom(Ref type, plugin_t p, tag_t t, sub_t s)	mim::World	inline
axiom(NormalizeFn n, u8 curry, u8 trip, Ref type)	mim::World	inline
axiom(Ref type)	mim::World	inline
bot(Ref type)	mim::World	inline
bound(Defs ops)	mim::World
breakpoint(u32 gid)	mim::World
breakpoints()	mim::World	inline
call(Id id, Args &&... args)	mim::World	inline
call(Args &&... args)	mim::World	inline
call_(Ref callee, T arg, Args &&... args)	mim::World	inline
call_(Ref callee, T arg)	mim::World	inline
cn()	mim::World	inline
cn(Ref dom, bool implicit=false)	mim::World	inline
cn(Defs dom, bool implicit=false)	mim::World	inline
con(Ref dom, Lam::Filter f, Ref body)	mim::World	inline
con(Defs dom, Lam::Filter f, Ref body)	mim::World	inline
curr_gid() const	mim::World	inline
debug_dump()	mim::World
Def::reduce(const Def *)	mim::World	friend
dot(std::ostream &os, bool annexes=false, bool types=false) const	mim::World
dot(const char *file=nullptr, bool annexes=false, bool types=false) const	mim::World
driver() const	mim::World	inline
driver()	mim::World	inline
dummy()	mim::World	inline
dump(std::ostream &os)	mim::World
dump()	mim::World
erase(Vars vars, const Var *var)	mim::World	inline
erase(Muts muts, Def *mut)	mim::World	inline
exit()	mim::World	inline
ext(Ref type)	mim::World
external(Sym name)	mim::World	inline
externals() const	mim::World	inline
extract(Ref d, Ref i)	mim::World
extract(Ref d, u64 a, u64 i)	mim::World	inline
extract(Ref d, u64 i)	mim::World	inline
filter(Lam::Filter filter)	mim::World	inline
flags()	mim::World
fn(Ref dom, Ref codom, bool implicit=false)	mim::World	inline
fn(Defs dom, Ref codom, bool implicit=false)	mim::World	inline
fn(Ref dom, Defs codom, bool implicit=false)	mim::World	inline
fn(Defs dom, Defs codom, bool implicit=false)	mim::World	inline
freeze(bool on=true) const	mim::World	inline
fun(Ref dom, Ref codom, Lam::Filter f, Ref body)	mim::World	inline
fun(Defs dom, Ref codom, Lam::Filter f, Ref body)	mim::World	inline
fun(Ref dom, Defs codom, Lam::Filter f, Ref body)	mim::World	inline
fun(Defs dom, Defs codom, Lam::Filter f, Ref body)	mim::World	inline
get_loc() const	mim::World	inline
gid2def(u32 gid)	mim::World
global(Ref type, bool is_mutable=true)	mim::World	inline
has_intersection(Vars v1, Vars v2)	mim::World	inline
has_intersection(Muts m1, Muts m2)	mim::World	inline
iapp(Ref callee, Ref arg)	mim::World
iapp(Ref callee, Defs args)	mim::World	inline
iapp(Ref callee, nat_t arg)	mim::World	inline
iapp(Ref callee, E arg)	mim::World	inline
iinfer(Ref def)	mim::World	inline
inherit()	mim::World	inline
insert(Ref d, Ref i, Ref val)	mim::World
insert(Ref d, u64 a, u64 i, Ref val)	mim::World	inline
insert(Ref d, u64 i, Ref val)	mim::World	inline
insert(Vars vars, const Var *var)	mim::World	inline
insert(Muts muts, Def *mut)	mim::World	inline
is_frozen() const	mim::World	inline
join(Defs ops)	mim::World	inline
lam(const Pi *pi, Lam::Filter f, Ref body)	mim::World	inline
lam(Ref dom, Ref codom, Lam::Filter f, Ref body)	mim::World	inline
lam(Defs dom, Ref codom, Lam::Filter f, Ref body)	mim::World	inline
lam(Ref dom, Defs codom, Lam::Filter f, Ref body)	mim::World	inline
lam(Defs dom, Defs codom, Lam::Filter f, Ref body)	mim::World	inline
lit(Ref type, u64 val)	mim::World
lit_0_1()	mim::World	inline
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_i2(u8 val)	mim::World	inline
lit_i32()	mim::World	inline
lit_i32(u32 val)	mim::World	inline
lit_i4(u8 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(I val)	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_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
lit_univ(u64 level)	mim::World	inline
lit_univ_0()	mim::World	inline
lit_univ_1()	mim::World	inline
log()	mim::World
make_external(Def *def)	mim::World	inline
make_internal(Def *def)	mim::World	inline
meet(Defs ops)	mim::World	inline
merge(Vars a, Vars b)	mim::World	inline
merge(Muts a, Muts b)	mim::World	inline
mut_arr(Ref type)	mim::World	inline
mut_arr()	mim::World	inline
mut_bound(Ref type, size_t size)	mim::World	inline
mut_bound(size_t size)	mim::World	inline
mut_con(Ref dom)	mim::World	inline
mut_con(Defs dom)	mim::World	inline
mut_fun(Ref dom, Ref codom)	mim::World	inline
mut_fun(Defs dom, Ref codom)	mim::World	inline
mut_fun(Ref dom, Defs codom)	mim::World	inline
mut_fun(Defs dom, Defs codom)	mim::World	inline
mut_infer(Ref type)	mim::World	inline
mut_infer_entity()	mim::World	inline
mut_infer_type()	mim::World	inline
mut_infer_univ()	mim::World	inline
mut_join(Ref type, size_t size)	mim::World	inline
mut_join(size_t size)	mim::World	inline
mut_lam(const Pi *pi)	mim::World	inline
mut_lam(Ref dom, Ref codom)	mim::World	inline
mut_lam(Defs dom, Ref codom)	mim::World	inline
mut_lam(Ref dom, Defs codom)	mim::World	inline
mut_lam(Defs dom, Defs codom)	mim::World	inline
mut_meet(Ref type, size_t size)	mim::World	inline
mut_meet(size_t size)	mim::World	inline
mut_pack(Ref type)	mim::World	inline
mut_pi(Ref type, bool implicit=false)	mim::World	inline
mut_sigma(Ref type, size_t size)	mim::World	inline
mut_sigma(size_t size)	mim::World	inline
muts(Def *mut)	mim::World	inline
name() const	mim::World	inline
next_gid()	mim::World	inline
operator=(World)=delete	mim::World
pack(Ref arity, Ref body)	mim::World
pack(Defs shape, Ref body)	mim::World
pack(u64 n, Ref body)	mim::World	inline
pack(View< u64 > shape, Ref body)	mim::World	inline
pi(Ref dom, Ref codom, bool implicit=false)	mim::World	inline
pi(Defs dom, Ref codom, bool implicit=false)	mim::World	inline
pi(Ref dom, Defs codom, bool implicit=false)	mim::World	inline
pi(Defs dom, Defs codom, bool implicit=false)	mim::World	inline
pick(Ref type, Ref value)	mim::World
proxy(Ref type, Defs ops, u32 index, u32 tag)	mim::World	inline
push(Loc loc)	mim::World	inline
raw_app(Ref type, Ref callee, Ref arg)	mim::World
raw_app(Ref type, Ref callee, Defs args)	mim::World	inline
register_annex(flags_t f, const Def *)	mim::World
register_annex(plugin_t p, tag_t t, sub_t s, const Def *def)	mim::World	inline
select(Ref cond, Ref t, Ref f)	mim::World	inline
set(Sym name)	mim::World	inline
set(std::string_view name)	mim::World	inline
set_loc(Loc loc={})	mim::World	inline
sigma(Defs ops)	mim::World
sigma()	mim::World	inline
singleton(Ref inner_type)	mim::World
state() const	mim::World	inline
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
test(Ref value, Ref probe, Ref match, Ref clash)	mim::World
top(Ref type)	mim::World	inline
top_nat()	mim::World	inline
tuple(Defs ops)	mim::World
tuple(Ref type, Defs ops)	mim::World
tuple()	mim::World	inline
tuple(Sym sym)	mim::World
type(Ref 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_i2()	mim::World	inline
type_i32()	mim::World	inline
type_i4()	mim::World	inline
type_i64()	mim::World	inline
type_i8()	mim::World	inline
type_idx()	mim::World	inline
type_idx(Ref size)	mim::World	inline
type_idx(nat_t size)	mim::World	inline
type_infer_univ()	mim::World	inline
type_int(nat_t width)	mim::World	inline
type_nat()	mim::World	inline
type_top()	mim::World	inline
uinc(Ref op, level_t offset=1)	mim::World
umax(Defs)	mim::World
univ()	mim::World	inline
var(Ref type, Def *mut)	mim::World
vars(const Var *var)	mim::World	inline
vel(Ref type, Ref value)	mim::World
verify()	mim::World
World(Driver *)	mim::World	explicit
World(Driver *, const State &)	mim::World
World(World &&other) noexcept	mim::World	inline
write(const char *file)	mim::World
write()	mim::World
~World()	mim::World