Std.Monad
The Monad module.
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
A unary monad interface.
module type S2 = sig ... end
module type Minimal = sig ... end
The Minimal monad interface.
module type Minimal2 = sig ... end
The Minimal monad interface.
module type Monad = S
module type Monad2 = S2
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.