package monads

  1. Overview
  2. Docs
package monads
Legend:
Library
Module
Module type
Parameter
Class
Class type

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 = Core_kernel.Std.Monad.S

Reexports Core's Monad.S as Monads.Core

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

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct