You can search for identifiers within the package.
in-package search v0.2.0
type +'a t
the type for deferred computation with result of type 'a
'a
type ('a, 'b) result =
| Ok of 'a
| Error of 'b
result type for backward compatibility
val return : 'a -> 'a t
a successfull result
val fail : exn -> 'a t
an error
val (>>?) : 'a t -> (('a, exn) result -> 'b t) -> 'b t
v >>= g chains the computation of v and the function g. When the computation of v finishes g is invoked with its result, or error. This allows to post-process the result or perform error handling.
v >>= g
v
g