Module type Lemonade_Success.S

module type S = sig .. end
The output signature of the functor Lemonade_Success.Make.

type error 
The type of error messages.
type 'a outcome = 
| Success of 'a
| Error of error
The outcome of computations throwing errors.
include Lemonade_Type.S
val error : error -> 'a t
Fail with the given error.
val recover : 'a t -> (error -> 'a t) -> 'a t
recover m handler is a monad containing the same value as m and thrown errors are interepreted by the handler.
val run : 'a t -> 'a outcome
Perform a computation with errors.