package alba

You can search for identifiers within the package.

in-package search v0.2.0

Alba compiler

Install

sha256=439b1dce07c86e914d1ebf1712c5581418314b0c8d13594f27a698b1d25fe272

md5=5cf58d4ed4eacbe6f330e9d2378ef5c6

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