thorin::World Member List

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

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