tezos-baking-alpha 12.3 · OCaml Package

val consensus_index : int

val votes_index : int

val anonymous_index : int

val managers_index : int

module Operation_set : sig ... end

type 'collection t = {

consensus : 'collection;
votes : 'collection;
anonymous : 'collection;
managers : 'collection;

}

Generic base type for pools

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

val empty : pool

on pool

val pp_pool : Stdlib.Format.formatter -> pool -> unit

val filter_pool : 
  (Tezos_protocol_alpha.Protocol.Alpha_context.packed_operation -> bool) ->
  pool ->
  pool

type ordered_pool =
  Tezos_protocol_alpha.Protocol.Alpha_context.packed_operation list t

val ordered_pool_encoding : ordered_pool Data_encoding.t

val empty_ordered : ordered_pool

val pp_ordered_pool : Stdlib.Format.formatter -> ordered_pool -> unit

type payload = {

votes_payload : Tezos_protocol_alpha.Protocol.Alpha_context.packed_operation list;
anonymous_payload : Tezos_protocol_alpha.Protocol.Alpha_context.packed_operation list;
managers_payload : Tezos_protocol_alpha.Protocol.Alpha_context.packed_operation list;

}

val empty_payload : payload

val payload_encoding : payload 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:
    Tezos_protocol_alpha.Protocol.Alpha_context.packed_operation list ->
  payload ->
  ordered_pool

val add_operation : 
  pool ->
  Tezos_protocol_alpha.Protocol.Alpha_context.packed_operation ->
  pool

val add_operations : 
  pool ->
  Tezos_protocol_alpha.Protocol.Alpha_context.packed_operation list ->
  pool

type consensus_filter = {

level : int32;
round : Tezos_protocol_alpha.Protocol.Alpha_context.Round.t;
payload_hash : Tezos_protocol_alpha.Protocol.Block_payload_hash.t;

}

val filter_with_relevant_consensus_ops : 
  endorsement_filter:consensus_filter ->
  preendorsement_filter:consensus_filter option ->
  Operation_set.t ->
  Operation_set.t

val unpack_preendorsement : 
  Tezos_protocol_alpha.Protocol.Alpha_context.packed_operation ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Kind.preendorsement
    Tezos_protocol_alpha.Protocol.Alpha_context.operation
    option

val unpack_endorsement : 
  Tezos_protocol_alpha.Protocol.Alpha_context.packed_operation ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Kind.endorsement
    Tezos_protocol_alpha.Protocol.Alpha_context.operation
    option

val filter_preendorsements : 
  Tezos_protocol_alpha.Protocol.Alpha_context.packed_operation list ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Kind.preendorsement
    Tezos_protocol_alpha.Protocol.Alpha_context.operation
    list

val filter_endorsements : 
  Tezos_protocol_alpha.Protocol.Alpha_context.packed_operation list ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Kind.endorsement
    Tezos_protocol_alpha.Protocol.Alpha_context.operation
    list

val ordered_to_list_list : 
  ordered_pool ->
  Tezos_protocol_alpha.Protocol.Alpha_context.packed_operation list list

val ordered_of_list_list : 
  Tezos_protocol_alpha.Protocol.Alpha_context.packed_operation list list ->
  ordered_pool option

val extract_operations_of_list_list : 
  Tezos_protocol_alpha.Protocol.Alpha_context.packed_operation list list ->
  (Tezos_protocol_alpha.Protocol.Alpha_context.Kind.preendorsement
     Tezos_protocol_alpha.Protocol.Alpha_context.operation
     list
     option
   * Tezos_protocol_alpha.Protocol.Alpha_context.Kind.endorsement
       Tezos_protocol_alpha.Protocol.Alpha_context.operation
       list
   * payload)
    option

preendorsements <> None => (List.length preendorsements > 0)

module Prioritized_operation : sig ... end

module Prioritized_operation_set : sig ... end

module Prioritized : sig ... end

Pool of prioritized operations

package tezos-baking-alpha