package kcas_data

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `Promise.Xt`Source

Explicit transaction log passing on promises.

Sourceval resolve : xt:'x Kcas.Xt.t -> 'a u -> 'a -> unit

resolve u v resolves the promise corresponding to the resolver u to the value v. Any awaiters of the corresponding promise are then unblocked.

Sourceval await : xt:'x Kcas.Xt.t -> 'a t -> 'a

await t either immediately returns the resolved value of the promise t or blocks until the promise t is resolved.

Sourceval peek : xt:'x Kcas.Xt.t -> 'a t -> 'a option

peek t immediately returns either the resolved value of the promise t or None in case the promise hasn't yet been resolved.

Sourceval is_resolved : xt:'x Kcas.Xt.t -> 'a t -> bool

is_resolved t determines whether the promise t has already been resolved.

Sourceval await_exn : xt:'x Kcas.Xt.t -> 'a or_exn -> 'a

await_exn t is equivalent to match await t with v -> v | exception e -> raise e.

Sourceval resolve_ok : xt:'x Kcas.Xt.t -> ('a, 'b) result u -> 'a -> unit

resolve_ok u v is equivalent to resolve u (Ok v).

Sourceval resolve_error : xt:'x Kcas.Xt.t -> ('a, 'b) result u -> 'b -> unit

resolve_error u e is equivalent to resolve u (Error e).