package octez-libs
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=dbc3b675aee59c2c574e5d0a771193a2ecfca31e7a5bc5aed66598080596ce1c
sha512=b97ed762b9d24744305c358af0d20f394376b64bfdd758dd4a81775326caf445caa57c4f6445da3dd6468ff492de18e4c14af6f374dfcbb7e4d64b7b720e5e2a
doc/octez-libs.stdlib/Tezos_stdlib/Hash_queue/Make/index.html
Module Hash_queue.MakeSource
Parameters
module K : Hashtbl.HashedTypemodule V : sig ... endSignature
The type of hash queues holding bindings from K.t to V.t
val create : int -> tcreate n creates an empty hash queue of capacity n. New elements added to a full hash queue push the oldest ones out.
remove q k removes the binding from k in q. If k is not bound in c, it does nothing.
replace q k v binds the key k to the value v in the queue q. This may or may not cause another binding to be removed, depending on the number of bindings already present in q.
find_opt q k is Some v if k is bound to v in q. It is None otherwise.
val length : t -> intlength q is the number of bindings held by q.
val capacity : t -> intcapacity q is the number of bindings q can hold: capacity (create n) = n
val clear : t -> unitclear q removes all bindings from q.
fold f q init folds the function f over the bindings of q. The elements are iterated from oldest to newest.
Folding in the Lwt monad, from oldest to newest.
val fold_es :
(K.t -> V.t -> 'a -> ('a, 'error) result Lwt.t) ->
t ->
'a ->
('a, 'error) result Lwt.tFolding in the error monad, from oldest to newest.
Returns the oldest element of the queue when not empty. Returns None when empty.
take q removes and returns the oldest element in queue q, or returns None if the queue is empty.
peek_at_most q n returns the oldest n elements of the queue q. If the queue has less than n elements, returns all elements of the queue.
take_at_most q n removes and returns the oldest n elements of the queue q. If the queue has less than n elements, removes and returns all elements of the queue.
Returns the keys of the elements stored in the queue from oldest to newest.