Module Monads.Std.Monad.Fail

module Fail: sig .. end
A fail monad interface.

Fail monads are used to represent partial computation. There are several Fail monads with different flavors and kinds. This module provides a base abstraction for them, namely the fail and catch functions.

Implemented by:



module type S = sig .. end
The unary fail monad interface.
module type S2 = sig .. end
The binary fail monad interface.