package tezos-lwt-result-stdlib

  1. Overview
  2. Docs
package tezos-lwt-result-stdlib
Legend:
Library
Module
Module type
Parameter
Class
Class type
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 Trace.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
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct