tezos-error-monad

Tezos: error monad
Library tezos-error-monad
Module type Tezos_error_monad . TzLwtreslib . Hashtbl . S_ES
type key
type ('a, 'trace) t
val create : int -> ( 'a, 'trace ) t
val clear : ( 'a, 'trace ) t -> unit
val reset : ( 'a, 'trace ) t -> unit
val find_or_make : ( 'a, 'trace ) t -> key -> ( unit -> ( 'a, 'trace ) result Lwt.t ) -> ( 'a, 'trace ) result Lwt.t
val remove : ( 'a, 'trace ) t -> key -> unit
val find : ( 'a, 'trace ) t -> key -> ( 'a, 'trace ) result Lwt.t option
val mem : ( 'a, 'trace ) t -> key -> bool
val iter_with_waiting_es : ( key -> 'a -> ( unit, 'trace ) result Lwt.t ) -> ( 'a, 'trace ) t -> ( unit, 'trace ) result Lwt.t
val fold_with_waiting_es : ( key -> 'a -> 'b -> ( 'b, 'trace ) result Lwt.t ) -> ( 'a, 'trace ) t -> 'b -> ( 'b, 'trace ) result Lwt.t
val fold_keys : ( key -> 'b -> 'b ) -> ( 'a, 'trace ) t -> 'b -> 'b
val fold_promises : ( key -> ( 'a, 'trace ) result Lwt.t -> 'b -> 'b ) -> ( 'a, 'trace ) t -> 'b -> 'b
val fold_resolved : ( key -> 'a -> 'b -> 'b ) -> ( 'a, 'trace ) t -> 'b -> 'b
val length : ( 'a, 'trace ) t -> int
val stats : ( 'a, 'trace ) t -> Hashtbl.statistics
val iter_with_waiting_ep : ( key -> 'a -> ( unit, 'error TzTrace.trace ) result Lwt.t ) -> ( 'a, 'error TzTrace.trace ) t -> ( unit, 'error TzTrace.trace ) result Lwt.t