Module Deriving_monad

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^ÀoEE`@@@@°ÀqEE^À

module Monad_option: MonadPlus ÀwEEIÀxEEb@°ÀzEEIÀ

module Monad_list: MonadPlus c
‘@À±@À£ �!m°À�FcxÀ

module IO: sig .. end

module type MonadUtilsSig = sig .. end

module MonadUtils: 
functor (M : Monad) -> MonadUtilsSig 

(@@@°À
·N



À
¸N

module type MonadPlusUtilsSig = sig .. end

module MonadPlusUtils: 
functor (M : MonadPlus) -> MonadPlusUtilsSig 
æS

O

b@  À�!a°À
íS

module MonadPlusUtils_option: MonadPlusUtilsSig @@°À
óS

O

XÀ
ôS

O

b@  �Р&ret

module MonadPlusUtils_list: MonadPlusUtilsSig T

c

{@@@À£ �!m°ÀT

c

‚À

module Monad_IO: MonadUtilsSig 

c

�@@@@°ÀT

c

À

module type Monad_state_type = sig .. end

module Monad_state: 
functor (S : sig

type state 

end) -> Monad_state_type EU

„

¤@@@@°ÀGU

„

¢À