Module `Misc_stdlib.Monad`

module type Basic2 = sig ... end

Multi parameter monad. The second parameter gets unified across all the computation. This is used to encode monads working on a multi parameter data structure like (('a,'b) result).

module type Basic = sig ... end

module type S2 = sig ... end

module type S = sig ... end

module Make
  (X : Ocaml_utils.Misc_stdlib.Monad.Basic) : 
  Ocaml_utils.Misc_stdlib.Monad.S with type 'a t = 'a X.t

module Make2
  (X : Ocaml_utils.Misc_stdlib.Monad.Basic2) : 
  Ocaml_utils.Misc_stdlib.Monad.S2 with type ('a, 'e) t = ('a, 'e) X.t

module Identity : Ocaml_utils.Misc_stdlib.Monad.S with type 'a t = 'a

module Option : Ocaml_utils.Misc_stdlib.Monad.S with type 'a t = 'a option

module Result : 
  Ocaml_utils.Misc_stdlib.Monad.S2
    with type ('a, 'e) t = ('a, 'e) Stdlib.result

Module Misc_stdlib.Monad

Module `Misc_stdlib.Monad`