Mavryk_baking_001_PtAtLas.Operation_pool
type pool = Operation_set.t t
A pool of operations for a single origin, or undifferenciated origin, typically used for operations coming from the node
A pool of operations for a single origin, or undifferenciated origin, typically used for operations coming from the node
val empty : pool
on pool
val pp_pool : Stdlib.Format.formatter -> pool -> unit
val filter_pool :
(Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.packed_operation -> bool) ->
pool ->
pool
val add_operation :
pool ->
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.packed_operation ->
pool
val add_operations :
pool ->
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.packed_operation list ->
pool
type ordered_pool =
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.packed_operation list t
Ordered pool of operations
val ordered_pool_encoding :
ordered_pool Mavryk_base.TzPervasives.Data_encoding.t
val empty_ordered : ordered_pool
val pp_ordered_pool : Stdlib.Format.formatter -> ordered_pool -> unit
type payload = {
votes_payload : Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.packed_operation
list;
anonymous_payload : Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.packed_operation
list;
managers_payload : Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.packed_operation
list;
}
val empty_payload : payload
val payload_encoding : payload Mavryk_base.TzPervasives.Data_encoding.t
val pp_payload : Stdlib.Format.formatter -> payload -> unit
val payload_of_ordered_pool : ordered_pool -> payload
val ordered_pool_of_payload :
consensus_operations:
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.packed_operation list ->
payload ->
ordered_pool
type consensus_filter = {
level : int32;
round : Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Round.t;
payload_hash : Mavryk_protocol_001_PtAtLas.Protocol.Block_payload_hash.t;
}
val filter_with_relevant_consensus_ops :
attestation_filter:consensus_filter ->
preattestation_filter:consensus_filter option ->
Operation_set.t ->
Operation_set.t
val ordered_to_list_list :
ordered_pool ->
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.packed_operation list list
val ordered_of_list_list :
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.packed_operation list list ->
ordered_pool option
val extract_operations_of_list_list :
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.packed_operation list list ->
(Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.preattestation
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.operation
list
option
* Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.attestation
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.operation
list
* Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.dal_attestation
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.operation
list
* payload)
option
preattestation
<> None => (List.length preattestations > 0)
module Prioritized_operation : sig ... end
module Prioritized_operation_set : sig ... end
module Prioritized : sig ... end
Pool of prioritized operations