Index of all the operations of a given block (per validation pass).
For instance, fetch chain_db (block_hash, validation_pass)
operation_list_list_hash queries the operation requester to get all the operations for block block_hash and validation pass validation_pass. It returns a list of operation, guaranteed to be valid with respect to operation_list_list_hash (root of merkle tree for this block).
type key = Tezos_crypto.Block_hash.t * intThe index key
type value = Tezos_base.Operation.t listThe indexed data
know t k returns true iff the key is present in the memory table or the disk.
val read :
chain_db ->
key ->
(value, Tezos_error_monad.TzCore.error list) Stdlib.result Lwt.tReturn value if it is found in-memory, or else on disk. Otherwise fail with error Missing_data.
val fetch :
chain_db ->
?peer:Tezos_base.P2p_peer.Id.t ->
?timeout:Tezos_base.Time.System.Span.t ->
key ->
Tezos_crypto.Operation_list_list_hash.t ->
(value, Tezos_error_monad.TzCore.error list) Stdlib.result Lwt.tfetch t ?peer ?timeout k param returns the value when it is known. It can fail with Timeout k if timeout is provided and the value isn't know before the timeout expires. It can fail with Cancel if the request is canceled.
The key is first looked up in memory, then on disk. If not present and not already requested, it schedules a request, and blocks until the requester is notified with notify. param is used to validate the notified value once it is received. (see also PRECHECK and notify).
Requests are re-sent via a 1.5 exponential back-off, with initial delay set to Request.initial_delay. If the function is called multiple time with the same key but with distinct peers, the internal scheduler randomly chooses the requested peer (at each retry).