Make2.Fn
Various function combinators lifted into the Kleisli category.
val id : 'a -> ('a, 'e) T2(M).t
id x
a monadic identity function
val nothing : unit -> (unit, 'e) T2(M).t
nothing
is a computation that does nothing.
non f
returns a negation of the function f
.
apply_n_times ~n f
creates a chaing of computation of size n
made from applications of the same function to its own result.