| Overview |  |
| fix/2 | fix(F, X) is the fixpoint of F. |
| fix/3 | |
| flip/1 | flip(F) is F with reversed argument order. |
| o/1 | (o([F, G]))(X) is F(G(X)). |
| o/2 | |
| o/3 | |
| reduce/1 | reduce(F) is the value of F. |
| unwind_with/3 | See s2_fs.erl for use cases. |
fix(F::function(), X::term()) -> term() | no_return()
fix(F, X) is the fixpoint of F.
fix(F, X, Eq) -> any()
flip(F::fun((A, B) -> C)) -> fun((B, A) -> C)
flip(F) is F with reversed argument order.
o(Fs::[function()]) -> function()
(o([F, G]))(X) is F(G(X)).
o(F, G) -> any()
o(F, G, H) -> any()
reduce(X::fun(() -> A) | A) -> A
reduce(F) is the value of F.
unwind_with(F::fun((A, fun((B) -> C)) -> C), Xs::[A], G::fun(([B]) -> C)) -> C
See s2_fs.erl for use cases.
Generated by EDoc, Mar 14 2025, 16:51:43.