package eio

You can search for identifiers within the package.

in-package search v0.2.0

Effect-based direct-style IO API for OCaml

Install

Dune Dependency

github.com Readme Changelog ISC License Edit opam file Versions (18)

Authors

Maintainers

A

anil@recoil.org

Sources

eio-0.14.tbz

sha256=52f85b947d3e0de70940b5bbaac0d3e78841fea5648e73af7d8a754ab51c871b

sha512=944095b1131d2dcc1f0d415fe46fd78b883733e0f95985e3a0feafe73b1703606ec60560abf36c16c364cc60164b7330f236e39569e264c702bb5647e28bfd3c

doc/eio/Eio/Promise/index.html

Module `Eio.Promise`Source

A promise is a placeholder for result that will arrive in the future.

Unlike lazy values, you cannot "force" promises; a promise is resolved when the maker of the promise is ready.

Promises are thread-safe and so can be shared between domains and used to communicate between them.

Example:

  let promise, resolver = Promise.create () in
  Fiber.both
    (fun () -> traceln "Got %d" (Promise.await promise))
    (fun () -> Promise.resolve resolver 42)

Sourcetype !+'a t

An 'a t is a promise for a value of type 'a.

Sourcetype !-'a u

An 'a u is a resolver for a promise of type 'a.

Sourceval create : ?label:string -> unit -> 'a t * 'a u

create () is a fresh promise/resolver pair. The promise is initially unresolved.

Sourceval create_resolved : 'a -> 'a t

create_resolved x is a promise that is already resolved with result x.

Sourceval await : 'a t -> 'a

await t blocks until t is resolved. If t is already resolved then this returns immediately.

Sourceval resolve : 'a u -> 'a -> unit

resolve u v resolves u's promise with the value v. Any threads waiting for the result will be added to the run queue.

raises Invalid_argument
if u is already resolved.

Sourceval try_resolve : 'a u -> 'a -> bool

try_resolve is like resolve but returns false instead of raising Invalid_argument.

Returns true on success.

Sourceval peek : 'a t -> 'a option

peek t is Some v if the promise has been resolved to v, or None otherwise. If the result is None then it may change in future, otherwise it won't. If another domain has access to the resolver then the state may have already changed by the time this call returns.

Sourceval is_resolved : 'a t -> bool

is_resolved t is Option.is_some (peek t).

Result promises

Sourcetype 'a or_exn = ('a, exn) result t

Sourceval resolve_ok : ('a, 'b) result u -> 'a -> unit

resolve_ok u x is resolve u (Ok x).

Sourceval resolve_error : ('a, 'b) result u -> 'b -> unit

resolve_error u x is resolve u (Error x).

Sourceval await_exn : 'a or_exn -> 'a

await_exn t is like await t, but if the result is Error ex then it raises ex.

On This Page

Result promises