module Pvem: sig
.. end
Reusable Error Monads
This whole module is about using type ('a, 'b) t = [
| `Ok of 'a
| `Error of 'b
]
module type ERROR_MONAD = sig
.. end
The basic error monad signature.
module type RESULT = sig
.. end
The signature of the Result
module: ERROR_MONAD
+ exposed result type.
module Result: sig
.. end
Implementation of RESULT
module type DEFERRED = sig
.. end
The signature of a basic “thread” module called Deferred
(like Lwt
).
module type DEFERRED_RESULT = sig
.. end
The result of the functor application: With_deferred(Deferred)
.
module With_deferred: