package alba

You can search for identifiers within the package.

in-package search v0.2.0

Alba compiler

Install

sha256=203ee151ce793a977b2d3e66f8b3a0cd7a82cc7f15550c63d88cb30c71eb5f95

md5=64367c393f80ca784f88d07155da4fb0

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