Functor Deriving_monad.MonadDefault
module MonadDefault : functor (M : sig type +'a m val return : 'a -> 'a m val fail : string -> 'a m val (>>=) :
'a m ->
('a -> 'b m) ->
'b m syntax error in wikisyntaxend) ->
Monadwith type +'a m = 'a M.m
>>
Parameters :
M | : | sig type +'a m val return : 'a -> 'a m val fail : string -> 'a m val (= ) : 'a m -> ('a -> 'b m) -> 'b m end |
>>
type +'a m
val return : 'a -> 'a m
val fail : string -> 'a m
val (>>=) :
'a m ->
('a -> 'b m) -> 'b m
val (>>) :
'a m ->
'b m -> 'b m