alba

Alba compiler
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library alba.fmlib
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