package tezos-error-monad

  1. Overview
  2. Docs
val (>>=) : 'a Lwt.t -> ('a -> 'b Lwt.t) -> 'b Lwt.t
val (>|=) : 'a Lwt.t -> ('a -> 'b) -> 'b Lwt.t
val ok : 'a -> ('a, 'trace) result
val error : 'error -> ('a, 'error) result
val (>>?) : ('a, 'trace) result -> ('a -> ('b, 'trace) result) -> ('b, 'trace) result
val (>|?) : ('a, 'trace) result -> ('a -> 'b) -> ('b, 'trace) result
val ok_s : 'a -> ('a, 'trace) result Lwt.t
val return : 'a -> ('a, 'trace) result Lwt.t
val error_s : 'error -> ('a, 'error) result Lwt.t
val fail : 'error -> ('a, 'error) result Lwt.t
val (>>=?) : ('a, 'trace) result Lwt.t -> ('a -> ('b, 'trace) result Lwt.t) -> ('b, 'trace) result Lwt.t
val (>|=?) : ('a, 'trace) result Lwt.t -> ('a -> 'b) -> ('b, 'trace) result Lwt.t
val (>>?=) : ('a, 'trace) result -> ('a -> ('b, 'trace) result Lwt.t) -> ('b, 'trace) result Lwt.t
val (>|?=) : ('a, 'trace) result -> ('a -> 'b Lwt.t) -> ('b, 'trace) result Lwt.t
val unit_s : unit Lwt.t
val unit_e : (unit, 'trace) result
val unit_es : (unit, 'trace) result Lwt.t
val none_s : 'a option Lwt.t
val none_e : ('a option, 'trace) result
val none_es : ('a option, 'trace) result Lwt.t
val some_s : 'a -> 'a option Lwt.t
val some_e : 'a -> ('a option, 'trace) result
val some_es : 'a -> ('a option, 'trace) result Lwt.t
val nil_s : 'a list Lwt.t
val nil_e : ('a list, 'trace) result
val nil_es : ('a list, 'trace) result Lwt.t
val true_s : bool Lwt.t
val true_e : (bool, 'trace) result
val true_es : (bool, 'trace) result Lwt.t
val false_s : bool Lwt.t
val false_e : (bool, 'trace) result
val false_es : (bool, 'trace) result Lwt.t
val ok_unit : (unit, 'error) result
val return_unit : (unit, 'error) result Lwt.t
val join_p : unit Lwt.t list -> unit Lwt.t
val all_p : 'a Lwt.t list -> 'a list Lwt.t
val both_p : 'a Lwt.t -> 'b Lwt.t -> ('a * 'b) Lwt.t
type 'error trace = 'error TzTrace.trace
val error_trace : 'error -> ('a, 'error trace) result
val fail_trace : 'error -> ('a, 'error trace) result Lwt.t
val join_e : (unit, 'error trace) result list -> (unit, 'error trace) result
val all_e : ('a, 'error trace) result list -> ('a list, 'error trace) result
val both_e : ('a, 'error trace) result -> ('b, 'error trace) result -> ('a * 'b, 'error trace) result
val join_ep : (unit, 'error trace) result Lwt.t list -> (unit, 'error trace) result Lwt.t
val all_ep : ('a, 'error trace) result Lwt.t list -> ('a list, 'error trace) result Lwt.t
val both_ep : ('a, 'error trace) result Lwt.t -> ('b, 'error trace) result Lwt.t -> ('a * 'b, 'error trace) result Lwt.t