package octez-libs
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=dbc3b675aee59c2c574e5d0a771193a2ecfca31e7a5bc5aed66598080596ce1c
sha512=b97ed762b9d24744305c358af0d20f394376b64bfdd758dd4a81775326caf445caa57c4f6445da3dd6468ff492de18e4c14af6f374dfcbb7e4d64b7b720e5e2a
doc/octez-libs.stdlib/Tezos_stdlib/Lwt_dropbox/index.html
Module Tezos_stdlib.Lwt_dropbox
Source
A 'dropbox' with a single element.
Type of dropbox holding a value of type 'a
The exception returned when trying to access a 'closed' dropbox.
put t e
puts the element e
inside the dropbox t
. If the dropbox already held an element, the old element is discarded and replaced by the new one.
take t
is a promise that resolves as soon as an element is held by t
. The element is removed from t
when the promise resolves.
If t
already holds an element when take t
is called, the promise resolves immediately. Otherwise, the promise resolves when an element is put
there.
take_with_timeout timeout t
behaves like take t
except that it returns None
if timeout
resolves before an element is put
.
Note that timeout
is canceled (i.e., fails with Canceled
) if an element is put
in time (or if one is already present).
peek t
is Some e
if t
holds e
and None
if t
does not hold any element.