Module Control.Or_error_make

Parameters

module M : sig ... end

Signature

type err = M.err
type 'a t = ('a, M.err) Stdlib.result
val fail : err -> 'a t
val is_success : 'a t -> bool
val is_error : 'a t -> bool
include Monad_ext with type 'a t := 'a t
val return : 'a -> 'a t
val bind : 'a t -> ('a -> 'a t) -> 'a t
val (>>=) : 'a t -> ('a -> 'a t) -> 'a t
val (>|=) : 'a t -> ('a -> 'b) -> 'a t
val map : ('a -> 'b) -> 'a t -> 'a t
val sequence : 'a t list -> 'a t
val sequence_ : 'a t list -> 'a t
val mapM : ('a -> 'a t) -> 'a list -> 'a t
val mapM_ : ('a -> 'a t) -> 'a list -> 'a t
val foldM : ('a -> 'b -> 'a t) -> 'a -> 'b list -> 'a t
val guard : bool -> err -> unit t
val or_else : 'a t -> 'a -> 'a
val or_else_f : 'a t -> ('b -> 'a) -> 'b -> 'a