package tezos-lwt-result-stdlib

  1. Overview
  2. Docs
Tezos: error-aware stdlib replacement

Install 

dune-project
 Dependency

www.tezos.com Readme Edit opam file Versions (5)

Authors

  1. T
    Tezos devteam

Maintainers

  1. C
    contact@tezos.com

Sources

tezos-v12.3.tar.bz2
sha256=296bb5674bc6050afe6330326fbdd0dfc2255d414bfd6b79cc7666ac6b39316d
sha512=c061cd300a9410300851158d77bf8e56ca3c568b0b1161b38305e5b2efdcd9c746d391f832fdb2826f9a1d6babce10a9b764a4b04f5df42699f7314b9863123a

doc/traced_structs/Traced_structs/Seq_es/Make/argument-1-Monad/Lwt_syntax/index.html

Module Monad.Lwt_syntax

Syntax module for Lwt. This is intended to be opened locally in functions which use Lwt for control-flow. Within the scope of this module, the code can include binding operators, leading to a let-style syntax.

See also Lwt and Lwt.Syntax

val return : 'a -> 'a Lwt.t

return x is an Lwt promise that is already resolved to x. return is an alias for Lwt.return.

val return_unit : unit Lwt.t

return_unit is an Lwt promise that is already resolved to (). It is an alias for Lwt.return_unit.

val return_none : _ option Lwt.t

return_none is an Lwt promise that is already resolved to None. It is an alias for Lwt.return_none.

val return_nil : _ list Lwt.t

return_nil is an Lwt promise that is already resolved to []. It is an alias for Lwt.return_nil.

val return_true : bool Lwt.t

return_true is an Lwt promise that is already resolved to true. It is an alias for Lwt.return_true.

val return_false : bool Lwt.t

return_false is an Lwt promise that is already resolved to false. It is an alias for Lwt.return_false.

val return_some : 'a -> 'a option Lwt.t

return_some x is an Lwt promise that is already resolved to Some x. return_some is an alias for Lwt.return_some.

val return_ok : 'a -> ('a, _) Stdlib.result Lwt.t

return_ok x is an Lwt promise that is already resolved to Ok x. return_ok is an alias for Lwt.return_ok.

val return_error : 'e -> (_, 'e) Stdlib.result Lwt.t

return_error x is an Lwt promise that is already resolved to Error x. return_error is an alias for Lwt.return_error.

val (let*) : 'a Lwt.t -> ('a -> 'b Lwt.t) -> 'b Lwt.t

let* is a binding operator alias for Lwt.bind and Lwt.(>>=).

val (and*) : 'a Lwt.t -> 'b Lwt.t -> ('a * 'b) Lwt.t

and* is a binding operator alias for Lwt.both and Lwt.(<&>).

val (let+) : 'a Lwt.t -> ('a -> 'b) -> 'b Lwt.t

let+ is a binding operator alias for Lwt.map and Lwt.(>|=).

val (and+) : 'a Lwt.t -> 'b Lwt.t -> ('a * 'b) Lwt.t

and+ is a binding operator alias for Lwt.both and Lwt.(<&>).

val join : unit Lwt.t list -> unit Lwt.t

join is the joining of concurrent unit values (it is Lwt.join).

val all : 'a Lwt.t list -> 'a list Lwt.t

all is the joining of concurrent non-unit values (it is Lwt.all).

val both : 'a Lwt.t -> 'b Lwt.t -> ('a * 'b) Lwt.t

both is the joining of two concurrent non-unit values (it is Lwt.both).