Module Std.Monad

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

A unary monad interface.

module type S2 = sig ... end
module type Core = Core_kernel.Monad.S

Reexports Core's Monad.S as Monads.Core

module type Core2 = Core_kernel.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.