module MonadPlusUtils: functor (M : MonadPlus) -> MonadPlusUtilsSig Ob@!aSO]
functor (
M
:
MonadPlus
) ->
MonadPlusUtilsSig
Ob@!aSO]
include Deriving_monad.MonadUtilsSig
val mzero : 'a m
'a m
val mplus : 'a m -> 'a m -> 'a m
'a m -> 'a m -> 'a m
val guard : bool -> unit m
bool -> unit m
val msum : 'a m list -> 'a m
'a m list -> 'a m