Module Monads.Std.Monad

module Monad: sig .. end
The Monad module.

module Plus: sig .. end
A parametric monoid
module Fail: sig .. end
A fail monad interface.
module Choice: sig .. end
A choice monad interface.
module Trans: sig .. end
Monad Transformer Interface.
module type Basic = sig .. end
Basic monad interface.
module type Basic2 = sig .. end
Basic binary monad interface.
module Collection: sig .. end
Container interface in the Kleisli category.
module Syntax: sig .. end
Describes monadic operators.
module type S = sig .. end
An unary monad interface.
module type S2 = sig .. end
module type Core = Std.Monad.S
Reexports Core's Monad.S as Monads.Core
module type Core2 = Std.Monad.S2
Reexports Core's Monad.S2 as Monads.Core2
module type Minimal = sig .. end
The Minimal monad interface.
module type Minimal2 = sig .. end
The Minimal monad interface.
module Make (M : Basic) : S  with type 'a t := 'a M.t
Make(M) derives Monad.S from the Basic implementation
module Make2 (M : Basic2) : S2  with type ('a,'s) t := ('a,'s) M.t
Make2(M) derives Monad.S2 from the Basic implementation
module Core (M : Core) : S  with type 'a t = 'a M.t
Core(M) derives Monad.S from the Core implementation
module Core2 (M : Core2) : S2  with type ('a,'e) t = ('a,'e) M.t
Core2(M) derives Monad.S2 from the Core implementation
module Minimal (M : Minimal) : S  with type 'a t = 'a M.t
Minimal(M) derives Monad.S from the Minimal implementation
module Minimal2 (M : Minimal2) : S2  with type ('a,'e) t = ('a,'e) M.t
Minimal2(M) derives Monad.S2 from the Minimal implementation
module type Monad = S
module type Monad2 = S2
module Ident: Monad  with type 'a t = 'a
The identity monad.
module Option: sig .. end
The option aka Maybe monad.
module Result: sig .. end
The Result Monad.
module List: sig .. end
The List monad.
module Seq: sig .. end
The Sequence monad.
module Writer: sig .. end
The Writer monad.
module Reader: sig .. end
The Reader monad.
module State: sig .. end
The State Monad.
module Fun: sig .. end
The Function Monad.
module Lazy: sig .. end
The Lazy monad.
module Cont: sig .. end
The continuation monad.