Module type Deriving_monad.MonadPlusUtilsSig
module type MonadPlusUtilsSig = sig..end
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
Warning: Reason support is experimental. We are looking for beta-tester and contributors.
module type MonadPlusUtilsSig = sig..end
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