jon.recoil.org

Module Stdlib.MonadSource

Sourcemodule 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).

Sourcemodule type Basic = sig ... end
Sourcemodule type S2 = sig ... end
Sourcemodule type S = sig ... end
Sourcemodule Make (X : Basic) : S with type 'a t = 'a X.t
Sourcemodule Make2 (X : Basic2) : S2 with type ('a, 'e) t = ('a, 'e) X.t
Sourcemodule Identity : S with type 'a t = 'a
Sourcemodule Option : S with type 'a t = 'a option
Sourcemodule Result : S2 with type ('a, 'e) t = ('a, 'e) result