package octez-shell-libs
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=ddfb5076eeb0b32ac21c1eed44e8fc86a6743ef18ab23fff02d36e365bb73d61
sha512=d22a827df5146e0aa274df48bc2150b098177ff7e5eab52c6109e867eb0a1f0ec63e6bfbb0e3645a6c2112de3877c91a17df32ccbff301891ce4ba630c997a65
doc/octez-shell-libs.shell/Tezos_shell/Prevalidator_pending_operations/index.html
Module Tezos_shell.Prevalidator_pending_operationsSource
The status of a pending operation.
This type is used for data representing pending operations of the prevalidator. Any iterator on this structure will process operations with `High priority first, followed by `Medium and finally `Low priority.
module Sized_set :
Tezos_base.Sized.SizedSet
with type set := Tezos_base.TzPervasives.Operation_hash.Set.tThis module implements a sized-set data-structure.
hashes p returns the set of hashes contained in p
val operations :
'protocol_data t ->
'protocol_data Shell_operation.operation
Tezos_base.TzPervasives.Operation_hash.Map.toperations p returns the Map of bindings oph -> op contained in p
is_empty p returns true if p has operations, false otherwise.
mem oph p returns true if oph is found in p, false otherwise.
Complexity is O(log(n)), where n is the number of operations (hashes) in the structure.
val add :
'protocol_data Shell_operation.operation ->
status_and_priority ->
'protocol_data t ->
'protocol_data tadd oph op p status_and_priority records the operation op whose hash is oph and whose status and priority is status_and_priority in p.
Complexity is O(log(n)), where n is the number of operations (hashes) in the structure.
It is unspecified behaviour to call this function with a hash (oph) which is already recorded in the data-structure (p). It is your responsibility as the caller of the function to ensure this.
remove oph op p removes the binding oph from p.
Complexity is O(log(n)), where n is the number of operations (hashes) in the structure.
cardinal p returns the number of operations (hashes) in p.
Complexity is O(n), where n is the number of operations (hashes) in the structure.
val fold :
(status_and_priority ->
Tezos_base.TzPervasives.Operation_hash.t ->
'protocol_data Shell_operation.operation ->
'a ->
'a) ->
'protocol_data t ->
'a ->
'afold f p acc applies the function f on every binding oph |-> op of status and priority status_and_priority in p. The acc is passed to and (possibly) updated by every call to f.
We iterate on operations with the following order:
- Fresh status and High priority
- Fresh status and Medium priority
- Fresh status and Low priority
- Reclassified status and High priority
- Reclassified status and Medium priority
- Reclassified status and Low priority
For operations with the same priority, the iteration order is defined Operation_hash.compare function (operations with small hashes are processed first).
val iter :
(status_and_priority ->
Tezos_base.TzPervasives.Operation_hash.t ->
'protocol_data Shell_operation.operation ->
unit) ->
'protocol_data t ->
unititer f p is similar to fold where acc is unit
val fold_es :
(status_and_priority ->
Tezos_base.TzPervasives.Operation_hash.t ->
'protocol_data Shell_operation.operation ->
'a ->
('a, 'b) result Lwt.t) ->
'protocol_data t ->
'a ->
('a, 'b) result Lwt.tfold_es f p acc is the Lwt version of fold, except that fold_es returns wihtout iterating over all the elements of the list as soon as a value Error e is returned by f