tezos-baking-alpha 12.3 · OCaml Package

type block_kind =

| Fresh of Operation_pool.pool
| Reproposal of {
1. consensus_operations : Tezos_protocol_alpha.Protocol.Alpha_context.packed_operation list;
2. payload_hash : Tezos_protocol_alpha.Protocol.Block_payload_hash.t;
3. payload_round : Tezos_protocol_alpha.Protocol.Alpha_context.Round.t;
4. payload : Operation_pool.payload;
}

type block_to_bake = {

predecessor : Baking_state.block_info;
round : Tezos_protocol_alpha.Protocol.Alpha_context.Round.t;
delegate : Baking_state.delegate;
kind : block_kind;

}

type action =

| Do_nothing
| Inject_block of {
1. block_to_bake : block_to_bake;
2. updated_state : Baking_state.state;
}
| Inject_preendorsements of {
1. preendorsements : (Baking_state.delegate * Tezos_protocol_alpha.Protocol.Alpha_context.consensus_content) list;
2. updated_state : Baking_state.state;
}
| Inject_endorsements of {
1. endorsements : (Baking_state.delegate * Tezos_protocol_alpha.Protocol.Alpha_context.consensus_content) list;
2. updated_state : Baking_state.state;
}
| Update_to_level of level_update
| Synchronize_round of round_update

and level_update = {

new_level_proposal : Baking_state.proposal;
compute_new_state : current_round: Tezos_protocol_alpha.Protocol.Alpha_context.Round.t -> delegate_slots:Baking_state.delegate_slots -> next_level_delegate_slots:Baking_state.delegate_slots -> (Baking_state.state * action) Lwt.t;

}

and round_update = {

new_round_proposal : Baking_state.proposal;
handle_proposal : Baking_state.state -> (Baking_state.state * action) Lwt.t;

}

type t = action

val generate_seed_nonce_hash : 
  Baking_configuration.nonce_config ->
  Baking_state.delegate ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Level.t ->
  ((Tezos_protocol_alpha.Protocol.Nonce_hash.t
    * Tezos_protocol_alpha.Protocol.Alpha_context.Nonce.t)
     option,
    Tezos_error_monad.TzCore.error list)
    Stdlib.result
    Lwt.t

val inject_block : 
  state_recorder:
    (new_state:Baking_state.state ->
      (unit, Tezos_error_monad.TzCore.error list) Stdlib.result Lwt.t) ->
  Baking_state.state ->
  block_to_bake ->
  updated_state:Baking_state.state ->
  (Baking_state.state, Tezos_error_monad.TzCore.error list) Stdlib.result Lwt.t

val inject_preendorsements : 
  state_recorder:
    (new_state:Baking_state.state ->
      (unit, Tezos_error_monad.TzCore.error list) Stdlib.result Lwt.t) ->
  Baking_state.state ->
  preendorsements:
    (Baking_state.delegate
     * Tezos_protocol_alpha.Protocol.Alpha_context.consensus_content)
      list ->
  updated_state:Baking_state.state ->
  (Baking_state.state, Tezos_error_monad.TzCore.error list) Stdlib.result Lwt.t

val sign_endorsements : 
  Baking_state.state ->
  (Baking_state.delegate
   * Tezos_protocol_alpha.Protocol.Alpha_context.consensus_content)
    list ->
  ((Baking_state.delegate
    * Tezos_protocol_alpha.Protocol.Alpha_context.packed_operation)
     list,
    Tezos_error_monad.TzCore.error list)
    Stdlib.result
    Lwt.t

val inject_endorsements : 
  state_recorder:
    (new_state:Baking_state.state ->
      (unit, Tezos_error_monad.TzCore.error list) Stdlib.result Lwt.t) ->
  Baking_state.state ->
  endorsements:
    (Baking_state.delegate
     * Tezos_protocol_alpha.Protocol.Alpha_context.consensus_content)
      list ->
  updated_state:Baking_state.state ->
  (Baking_state.state, Tezos_error_monad.TzCore.error list) Stdlib.result Lwt.t

val prepare_waiting_for_quorum : 
  Baking_state.state ->
  int
  * (slot:Tezos_protocol_alpha.Protocol.Alpha_context.Slot.t ->
  int)
  * Operation_worker.candidate

val start_waiting_for_preendorsement_quorum : Baking_state.state -> unit Lwt.t

val start_waiting_for_endorsement_quorum : Baking_state.state -> unit Lwt.t

val update_to_level : 
  Baking_state.state ->
  level_update ->
  (Baking_state.state * t, Tezos_error_monad.TzCore.error list) Stdlib.result
    Lwt.t

val pp_action : Stdlib.Format.formatter -> t -> unit

val compute_round : 
  Baking_state.proposal ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Round.round_durations ->
  (Tezos_protocol_alpha.Protocol.Alpha_context.Round.t,
    Tezos_error_monad.TzCore.error list)
    Stdlib.result

val perform_action : 
  state_recorder:
    (new_state:Baking_state.state ->
      (unit, Tezos_error_monad.TzCore.error list) Stdlib.result Lwt.t) ->
  Baking_state.state ->
  t ->
  (Baking_state.state, Tezos_error_monad.TzCore.error list) Stdlib.result Lwt.t

package tezos-baking-alpha