module ExceptionT: functor (M : Monad.MONAD) -> sig .. end
functor (
M
:
Monad.MONAD
) ->
sig
end
include MONAD
val raise : string -> 'a t
string -> 'a t
val trywith : 'a t -> (string -> 'a t) -> 'a t
'a t -> (string -> 'a t) -> 'a t
val lift : 'a M.t -> 'a t
'a M.t -> 'a t