mim::World Member List

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

ac(const Def *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(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(const Def *shape, const Def *body)	mim::World
arr(Defs shape, const Def *body)	mim::World
arr(u64 n, const Def *body)	mim::World	inline
arr(View< u64 > shape, const Def *body)	mim::World	inline
arr_unsafe(const Def *body)	mim::World	inline
axiom(NormalizeFn n, u8 curry, u8 trip, const Def *type, plugin_t p, tag_t t, sub_t s)	mim::World	inline
axiom(const Def *type, plugin_t p, tag_t t, sub_t s)	mim::World	inline
axiom(NormalizeFn n, u8 curry, u8 trip, const Def *type)	mim::World	inline
axiom(const Def *type)	mim::World	inline
bot(const Def *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
cn()	mim::World	inline
cn(const Def *dom, bool implicit=false)	mim::World	inline
cn(Defs dom, bool implicit=false)	mim::World	inline
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
copy_externals() const	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
ext(const Def *type)	mim::World
external(Sym name)	mim::World	inline
externals() const	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
flags2annex() const	mim::World	inline
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
freeze(bool on=true) 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
get_loc() const	mim::World	inline
gid2def(u32 gid)	mim::World
global(const Def *type, bool is_mutable=true)	mim::World	inline
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, E arg)	mim::World	inline
inherit()	mim::World	inline
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
join(Defs ops)	mim::World	inline
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
lit(const Def *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 *)	mim::World
make_internal(Def *)	mim::World
meet(Defs ops)	mim::World	inline
mut_arr(const Def *type)	mim::World	inline
mut_arr()	mim::World	inline
mut_bound(const Def *type, size_t size)	mim::World	inline
mut_bound(size_t size)	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_infer_entity()	mim::World	inline
mut_hole_type()	mim::World	inline
mut_hole_univ()	mim::World	inline
mut_join(const Def *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(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_meet(const Def *type, size_t size)	mim::World	inline
mut_meet(size_t size)	mim::World	inline
mut_pack(const Def *type)	mim::World	inline
mut_pi(const Def *type, bool implicit=false)	mim::World	inline
mut_sigma(const Def *type, size_t size)	mim::World	inline
mut_sigma(size_t size)	mim::World	inline
muts()	mim::World	inline
muts() const	mim::World	inline
name() const	mim::World	inline
next_gid()	mim::World	inline
next_run()	mim::World	inline
operator=(World)=delete	mim::World
pack(const Def *arity, const Def *body)	mim::World
pack(Defs shape, const Def *body)	mim::World
pack(u64 n, const Def *body)	mim::World	inline
pack(View< u64 > shape, const Def *body)	mim::World	inline
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
pick(const Def *type, const Def *value)	mim::World
proxy(const Def *type, Defs ops, u32 index, u32 tag)	mim::World	inline
push(Loc loc)	mim::World	inline
raw_app(const Axiom *axiom, 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
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(const Def *cond, const Def *t, const Def *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
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
sym2external() const	mim::World	inline
test(const Def *value, const Def *probe, const Def *match, const Def *clash)	mim::World
top(const Def *type)	mim::World	inline
top_nat()	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_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(const Def *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(const Def *op, level_t offset=1)	mim::World
umax(Defs)	mim::World
uniq(const Def *inhabitant)	mim::World
univ()	mim::World	inline
var(const Def *type, Def *mut)	mim::World
vars()	mim::World	inline
vars() const	mim::World	inline
vel(const Def *type, const Def *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