Functor Deriving_monad.MonadPlusUtils
module MonadPlusUtils : functor (M : MonadPlus) ->
MonadPlusUtilsSigwith type 'a m = 'a M.m
Parameters :
M | : | Deriving_monad.MonadPlus |
include Deriving_monad.MonadUtilsSig
val mzero : 'a m
val mplus : 'a m -> 'a m -> 'a m
val guard : bool -> unit m
val msum : 'a m list -> 'a m