- run_ref(+P:pred) is det
- Run P inside a run_state/4 with the prompt set to
ref
, providing
a supply of mutable references using ref_new/2, ref_get/2, ref_set/3 etc.
- ref_app_ref(+R:ref(A), +P:pred(+A,-P)) is det
- Use P to update contents of R, like ref_app/2, but with
references still available as a computational effect.
- ref_maybe_app_ref(+R:ref(A), +P:pred(+A,-maybe(A))) is det
- Call P with contents of R, with references still in context,
possibly updating R with a new value.
Undocumented predicates
The following predicates are exported, but not or incorrectly documented.
- ref_new(Arg1, Arg2)
- ref_get(Arg1, Arg2)
- ref_set(Arg1, Arg2)
- ref_app(Arg1, Arg2)
- ref_upd(Arg1, Arg2, Arg3)