Module MndSource

Binary monads

A binary monad interprets a type ('a, 'b) t as computation of values of type 'a. Note that combining such monads requires the second type 'b to be equal in all of them.

Sourcemodule type MONAD2_DEF = sig ... end
Sourcemodule type MONAD2 = sig ... end
Sourcemodule Make2 (M : MONAD2_DEF) : MONAD2 with type ('a, 'b) t = ('a, 'b) M.t

Unary monads

A unary monad interprets a type 'a t as computation of values of type 'a.

Sourcemodule type MONAD_DEF = sig ... end

The fundamental functions defining a monad, i.e. what you need to implement in order to instantiate a monad with Make

Sourcemodule type MONAD = sig ... end

The monad interface with let*-syntax, common operators and functions. These are the elements you get when instantiating a monad with Make.

Sourcemodule Make (M : MONAD_DEF) : MONAD with type 'a t = 'a M.t

Functor to instantiate the MONAD interface for custom monads by providing a MONAD_DEF.

Sourcemodule Instances : sig ... end