Toggle Sidebar
Toggle Theme
exo
v0.1.0
Pages
Modules
exo v0.1.0
Exo
View Source
Link to this section
Summary
Functions
x <~> y
ando(exp)
bind(s, g)
call_with_empty_state(goal)
call_with_fresh(fun)
conj(g1, g2)
deep_walk(v, s)
disj(g1, g2)
empty_state()
eqo(u, v)
fresh(var_list, exp)
mk_reify(state_list)
mplus(s1, s2)
oro(exp)
pull(state_stream)
reify_name(n)
reify_s(v, s)
reify_state_with_1st_var(state)
run(n, var, exp)
run_all(var, exp)
state_c(c, s)
take(state_stream, n)
take_all(state_stream)
unify(s, u, v)
var?(x)
var_c(id)
walk(u, s)
zzz(g)
Link to this section
Functions
Link to this function
x <~> y
View Source
Link to this macro
ando(exp)
View Source
(macro)
Link to this function
bind(s, g)
View Source
Link to this function
call_with_empty_state(goal)
View Source
Link to this function
call_with_fresh(fun)
View Source
Link to this function
conj(g1, g2)
View Source
Link to this function
deep_walk(v, s)
View Source
Link to this function
disj(g1, g2)
View Source
Link to this function
empty_state()
View Source
Link to this function
eqo(u, v)
View Source
Link to this macro
fresh(var_list, exp)
View Source
(macro)
Link to this function
mk_reify(state_list)
View Source
Link to this function
mplus(s1, s2)
View Source
Link to this macro
oro(exp)
View Source
(macro)
Link to this function
pull(state_stream)
View Source
Link to this function
reify_name(n)
View Source
Link to this function
reify_s(v, s)
View Source
Link to this function
reify_state_with_1st_var(state)
View Source
Link to this macro
run(n, var, exp)
View Source
(macro)
Link to this macro
run_all(var, exp)
View Source
(macro)
Link to this function
state_c(c, s)
View Source
Link to this function
take(state_stream, n)
View Source
Link to this function
take_all(state_stream)
View Source
Link to this function
unify(s, u, v)
View Source
Link to this function
var?(x)
View Source
Link to this function
var_c(id)
View Source
Link to this function
walk(u, s)
View Source
Link to this macro
zzz(g)
View Source
(macro)