Module Monads.Std.Monad.Result.Exception

module Exception: sig .. end
The Exception monad.

The exception monad is a result monad that uses exn as type of values associated with an exceptional control flow.


include Monads.Std.Monad.Result.S
module T (M : Std.Monad.Monad) : sig .. end
module Make (M : Std.Monad.Monad) : Std.Monad.Result.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 := exn