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
^nE E `@@@@pE E ^q
module Monad_option: MonadPlus
vE E IwE E b@yE E Iz
module Monad_list: MonadPlus
@@!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@Р&return
module MonadPlusUtils_list: MonadPlusUtilsSig
c{@@@!mTcT
module Monad_IO: MonadUtilsSig
@@@@TcT
module type Monad_state_type = sig
.. end
module Monad_state: