Module Monads.Std.Monad.Result.Error

module Error: sig .. end
The Error monad.

The error monad is a concretization of the result monad with the error type fixed to Error.t, aka Or_error Monad


module type S = sig .. end
module T (M : Std.Monad.Monad) : sig .. end
module Make (M : Std.Monad.Monad) : S 
          with type 'a t := 'a T(M).t
           and type 'a m := 'a T(M).m
           and type 'a e := 'a T(M).e
           and type err := Error.t
Make(M) wraps M into the Error monad.
include Monads.Std.Monad.Result.Error.S