Module Kxclib.ResultOf

Parameters

module E : sig ... end

Signature

type err = E.err
exception Error_result of err
include Monadic with type 'x t = ('x, err) Stdlib.result
type 'x t = ('x, err) Stdlib.result
val return : 'x -> 'x t
val bind : 'x t -> ('x -> 'y t) -> 'y t
val error : err -> 'a t