package alba

You can search for identifiers within the package.

in-package search v0.2.0

Alba compiler

Install

sha256=4817038301d3e45bac9edf7e6f2fc8bf0a6d78e76e02ad7ea33ef69bcc17df3b

md5=25234357587126685d64f16236167937

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