Module Fmlib.Monad

module type SIG_MIN = sig ... end

Minimal signature for a monad.

module type SIG_WITH_MAP = sig ... end

Minimal signature for a monad with map.

module type RESULT = sig ... end

Signature for the result monad.

module Of_sig_min (M : SIG_MIN) : Module_types.MONAD with type 'a t = 'a M.t
module Of_sig_with_map (M : SIG_WITH_MAP) : Module_types.MONAD with type 'a t = 'a M.t
module Identity : sig ... end

Identity monad

module Result (Error : Module_types.ANY) : RESULT with type error = Error.t and type 'a t = ('a, Error.t) result

Result monad