tezos-protocol-014-PtKathma 20.1

Manages all the voting related storage in Storage.Vote.

val record_proposal : 
  Raw_context.t ->
  Tezos_protocol_environment_014_PtKathma.Protocol_hash.t ->
  Tezos_protocol_environment_014_PtKathma.Signature.Public_key_hash.t ->
  Raw_context.t Tezos_protocol_environment_014_PtKathma.Error_monad.tzresult
    Tezos_protocol_environment_014_PtKathma.Lwt.t

Records a protocol proposal with the delegate that proposed it.

val recorded_proposal_count_for_delegate : 
  Raw_context.t ->
  Tezos_protocol_environment_014_PtKathma.Signature.Public_key_hash.t ->
  int Tezos_protocol_environment_014_PtKathma.Error_monad.tzresult
    Tezos_protocol_environment_014_PtKathma.Lwt.t

val get_proposals : 
  Raw_context.t ->
  int64 Tezos_protocol_environment_014_PtKathma.Protocol_hash.Map.t
    Tezos_protocol_environment_014_PtKathma.Error_monad.tzresult
    Tezos_protocol_environment_014_PtKathma.Lwt.t

Computes for each proposal how many delegates proposed it.

val clear_proposals : 
  Raw_context.t ->
  Raw_context.t Tezos_protocol_environment_014_PtKathma.Lwt.t

type ballots = {

yay : int64;
nay : int64;
pass : int64;

}

Counts of the votes

val ballots_encoding : 
  ballots Tezos_protocol_environment_014_PtKathma.Data_encoding.t

val has_recorded_ballot : 
  Raw_context.t ->
  Tezos_protocol_environment_014_PtKathma.Signature.Public_key_hash.t ->
  bool Tezos_protocol_environment_014_PtKathma.Lwt.t

val record_ballot : 
  Raw_context.t ->
  Tezos_protocol_environment_014_PtKathma.Signature.Public_key_hash.t ->
  Vote_repr.ballot ->
  Raw_context.t Tezos_protocol_environment_014_PtKathma.Error_monad.tzresult
    Tezos_protocol_environment_014_PtKathma.Lwt.t

Records a vote for a delegate, returns a Storage_errorExisting_key if the vote was already registered

val get_ballots : 
  Raw_context.t ->
  ballots Tezos_protocol_environment_014_PtKathma.Error_monad.tzresult
    Tezos_protocol_environment_014_PtKathma.Lwt.t

Computes the sum of the current ballots weighted by stake.

val get_ballot_list : 
  Raw_context.t ->
  (Tezos_protocol_environment_014_PtKathma.Signature.Public_key_hash.t
   * Vote_repr.ballot)
    list
    Tezos_protocol_environment_014_PtKathma.Lwt.t

val clear_ballots : 
  Raw_context.t ->
  Raw_context.t Tezos_protocol_environment_014_PtKathma.Lwt.t

val listings_encoding : 
  (Tezos_protocol_environment_014_PtKathma.Signature.Public_key_hash.t * int64)
    list
    Tezos_protocol_environment_014_PtKathma.Data_encoding.t

val update_listings : 
  Raw_context.t ->
  Raw_context.t Tezos_protocol_environment_014_PtKathma.Error_monad.tzresult
    Tezos_protocol_environment_014_PtKathma.Lwt.t

Populates !Storage.Vote.Listings using the currently existing staking power and sets `Voting_power_in_listings`. Inactive delegates or delegates without rolls are not included in the listings.

val in_listings : 
  Raw_context.t ->
  Tezos_protocol_environment_014_PtKathma.Signature.Public_key_hash.t ->
  bool Tezos_protocol_environment_014_PtKathma.Lwt.t

Verifies the presence of a delegate in the listing.

val get_listings : 
  Raw_context.t ->
  (Tezos_protocol_environment_014_PtKathma.Signature.Public_key_hash.t * int64)
    list
    Tezos_protocol_environment_014_PtKathma.Lwt.t

type delegate_info = {

voting_power : Tezos_protocol_environment_014_PtKathma.Int64.t option;
current_ballot : Vote_repr.ballot option;
current_proposals : Tezos_protocol_environment_014_PtKathma.Protocol_hash.t list;
remaining_proposals : int;

}

val pp_delegate_info : 
  Tezos_protocol_environment_014_PtKathma.Format.formatter ->
  delegate_info ->
  unit

val delegate_info_encoding : 
  delegate_info Tezos_protocol_environment_014_PtKathma.Data_encoding.t

val get_delegate_info : 
  Raw_context.t ->
  Tezos_protocol_environment_014_PtKathma.Signature.public_key_hash ->
  delegate_info Tezos_protocol_environment_014_PtKathma.Error_monad.tzresult
    Tezos_protocol_environment_014_PtKathma.Lwt.t

val get_voting_power_free : 
  Raw_context.t ->
  Tezos_protocol_environment_014_PtKathma.Signature.public_key_hash ->
  int64 Tezos_protocol_environment_014_PtKathma.Error_monad.tzresult
    Tezos_protocol_environment_014_PtKathma.Lwt.t

val get_voting_power : 
  Raw_context.t ->
  Tezos_protocol_environment_014_PtKathma.Signature.public_key_hash ->
  (Raw_context.t * int64)
    Tezos_protocol_environment_014_PtKathma.Error_monad.tzresult
    Tezos_protocol_environment_014_PtKathma.Lwt.t

val get_total_voting_power_free : 
  Raw_context.t ->
  int64 Tezos_protocol_environment_014_PtKathma.Error_monad.tzresult
    Tezos_protocol_environment_014_PtKathma.Lwt.t

Returns the sum of all voting power in the listings, without accounting for gas cost.

val get_total_voting_power : 
  Raw_context.t ->
  (Raw_context.t * int64)
    Tezos_protocol_environment_014_PtKathma.Error_monad.tzresult
    Tezos_protocol_environment_014_PtKathma.Lwt.t

Returns the sum of all voting power in the listings.

val get_current_quorum : 
  Raw_context.t ->
  int32 Tezos_protocol_environment_014_PtKathma.Error_monad.tzresult
    Tezos_protocol_environment_014_PtKathma.Lwt.t

val get_participation_ema : 
  Raw_context.t ->
  int32 Tezos_protocol_environment_014_PtKathma.Error_monad.tzresult
    Tezos_protocol_environment_014_PtKathma.Lwt.t

val set_participation_ema : 
  Raw_context.t ->
  int32 ->
  Raw_context.t Tezos_protocol_environment_014_PtKathma.Error_monad.tzresult
    Tezos_protocol_environment_014_PtKathma.Lwt.t

val get_current_proposal : 
  Raw_context.t ->
  Tezos_protocol_environment_014_PtKathma.Protocol_hash.t
    Tezos_protocol_environment_014_PtKathma.Error_monad.tzresult
    Tezos_protocol_environment_014_PtKathma.Lwt.t

val find_current_proposal : 
  Raw_context.t ->
  Tezos_protocol_environment_014_PtKathma.Protocol_hash.t option
    Tezos_protocol_environment_014_PtKathma.Error_monad.tzresult
    Tezos_protocol_environment_014_PtKathma.Lwt.t

val init_current_proposal : 
  Raw_context.t ->
  Tezos_protocol_environment_014_PtKathma.Protocol_hash.t ->
  Raw_context.t Tezos_protocol_environment_014_PtKathma.Error_monad.tzresult
    Tezos_protocol_environment_014_PtKathma.Lwt.t

val clear_current_proposal : 
  Raw_context.t ->
  Raw_context.t Tezos_protocol_environment_014_PtKathma.Error_monad.tzresult
    Tezos_protocol_environment_014_PtKathma.Lwt.t

val init : 
  Raw_context.t ->
  start_position:Tezos_protocol_environment_014_PtKathma.Int32.t ->
  Raw_context.t Tezos_protocol_environment_014_PtKathma.Error_monad.tzresult
    Tezos_protocol_environment_014_PtKathma.Lwt.t

Sets the initial quorum to 80% and period kind to proposal.

package tezos-protocol-014-PtKathma