module Deriving_monad: sig
.. end
module type Monad = sig
.. end
module type MonadPlus = sig
.. end
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
end
) ->
Monad
E ^oE E `@@@@qE E ^
module Monad_option: MonadPlus
wE E IxE E b@zE E I
module Monad_list: MonadPlus
c @@!mF c x
module IO: sig
.. end
module type MonadUtilsSig = sig
.. end
module MonadUtils:
module type MonadPlusUtilsSig = sig
.. end
module MonadPlusUtils:
module MonadPlusUtils_option: MonadPlusUtilsSig
@@SOXSOb@Р&ret
module MonadPlusUtils_list: MonadPlusUtilsSig
Tc{@@@!mTc
module Monad_IO: MonadUtilsSig
c@@@@Tc
module type Monad_state_type = sig
.. end
module Monad_state: