package tezos-lwt-result-stdlib

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

Tezos: error-aware stdlib replacement

Install

dune-project

Dependency

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

Authors

T

Tezos devteam

Maintainers

C

contact@tezos.com

Sources

tezos-v12.3.tar.bz2

sha256=296bb5674bc6050afe6330326fbdd0dfc2255d414bfd6b79cc7666ac6b39316d

sha512=c061cd300a9410300851158d77bf8e56ca3c568b0b1161b38305e5b2efdcd9c746d391f832fdb2826f9a1d6babce10a9b764a4b04f5df42699f7314b9863123a

doc/traced_structs/Traced_structs/Hashtbl/Make/Make_es/index.html

Module `Make.Make_es`Source

Parameters

module H : Stdlib.Hashtbl.HashedType

Signature

include Bare_functor_outputs.Hashtbl.S_ES with type key = H.t

type key = H.t

type ('a, 'trace) t

val create : int -> ('a, 'trace) t

val clear : ('a, 'trace) t -> unit

clear tbl cancels and removes all the promises in tbl.

val reset : ('a, 'trace) t -> unit

reset tbl cancels and removes all the promises in tbl, and resizes tbl to its initial size.

val find_or_make : 
  ('a, 'trace) t ->
  key ->
  (unit -> ('a, 'trace) Stdlib.result Lwt.t) ->
  ('a, 'trace) Stdlib.result Lwt.t

find_or_make tbl k make behaves differently depending on k being bound in tbl:

if k is bound in tbl then find_or_make tbl k make returns the promise p that k is bound to. This p might be already fulfilled with Ok _ or it might be pending. This p cannot be already fulfilled with Error _ or already rejected. This is because Error/rejected promises are removed from the table automatically. Note however that if this p is pending, p might become fulfilled with Error _ or become rejected.
if k is not bound in tbl then make () is called and the returned promise p is bound to k in tbl. Then p is returned. When p is resolved, it may be removed automatically from tbl as described above.

val remove : ('a, 'trace) t -> key -> unit

remove tbl k cancels the promise bound to k in tbl and removes it. If k is not bound in tbl it does nothing.

val find : ('a, 'trace) t -> key -> ('a, 'trace) Stdlib.result Lwt.t option

val mem : ('a, 'trace) t -> key -> bool

val iter_with_waiting_es : 
  (key -> 'a -> (unit, 'trace) Stdlib.result Lwt.t) ->
  ('a, 'trace) t ->
  (unit, 'trace) Stdlib.result Lwt.t

iter_with_waiting_es f tbl iterates f over the bindings in tbl.

Specifically, for each binding (k, p) it waits for p to be fulfilled with Ok v and calls f k v. If p fulfills with Error _ or is rejected, then no call to f is made for this binding. Note however that an Error/rejection in one promise returned by f interrupts the iteration.

It processes bindings one after the other: it waits for both the bound promise to resolve and then the call promise to resolve before continuing to the next binding.

val fold_with_waiting_es : 
  (key -> 'a -> 'b -> ('b, 'trace) Stdlib.result Lwt.t) ->
  ('a, 'trace) t ->
  'b ->
  ('b, 'trace) Stdlib.result Lwt.t

fold_with_waiting_es f tbl init folds init with f over the bindings in tbl.

Specifically, for each binding (k, p) it waits for p to be fulfilled with Ok v and determines the next accumulator by calling f k v acc. If p fulfills with Error _ or is rejected, then no call is made for this binding.

It processes bindings one after the other.

val fold_keys : (key -> 'b -> 'b) -> ('a, 'trace) t -> 'b -> 'b

val fold_promises : 
  (key -> ('a, 'trace) Stdlib.result Lwt.t -> 'b -> 'b) ->
  ('a, 'trace) t ->
  'b ->
  'b

fold_promises f tbl init folds over the table, passing the raw promises to f. This means that f can observe Error/rejections.

This can be used to, e.g., count the number of resolved/unresolved promises.

val fold_resolved : (key -> 'a -> 'b -> 'b) -> ('a, 'trace) t -> 'b -> 'b

fold_resolved f tbl init folds over the already resolved promises of tbl. More specifically, it folds over the v for all the promises fulfilled with Ok v that are bound in tbl.

val length : ('a, 'trace) t -> int

val stats : ('a, 'trace) t -> Stdlib.Hashtbl.statistics

Source

val iter_with_waiting_ep : 
  (key -> 'a -> (unit, 'error Monad.trace) Stdlib.result Lwt.t) ->
  ('a, 'error Monad.trace) t ->
  (unit, 'error Monad.trace) Stdlib.result Lwt.t