tezos-protocol-012-Psithaca 12.3

Manages all the voting related storage in Storage.Vote.

val record_proposal : 
  Raw_context.t ->
  Tezos_crypto.Protocol_hash.t ->
  Tezos_crypto.Signature.public_key_hash ->
  (Raw_context.t,
    Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error
      Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace)
    Stdlib.result
    Lwt.t

Records a protocol proposal with the delegate that proposed it.

val recorded_proposal_count_for_delegate : 
  Raw_context.t ->
  Tezos_crypto.Signature.public_key_hash ->
  (int,
    Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error
      Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace)
    Stdlib.result
    Lwt.t

val get_proposals : 
  Raw_context.t ->
  (int32
     Tezos_protocol_environment_012_Psithaca__Environment.Protocol_hash.Map.t,
    Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error
      Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace)
    Stdlib.result
    Lwt.t

Computes for each proposal how many delegates proposed it.

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

type ballots = {

yay : int32;
nay : int32;
pass : int32;

}

Counts of the votes

val ballots_encoding : ballots Data_encoding.t

val has_recorded_ballot : 
  Raw_context.t ->
  Tezos_crypto.Signature.public_key_hash ->
  bool Lwt.t

val record_ballot : 
  Raw_context.t ->
  Tezos_crypto.Signature.public_key_hash ->
  Vote_repr.ballot ->
  (Raw_context.t,
    Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error
      Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace)
    Stdlib.result
    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_012_Psithaca__Environment.Error_monad.error
      Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace)
    Stdlib.result
    Lwt.t

Computes the sum of the current ballots weighted by stake.

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

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

val listings_encoding : 
  (Tezos_crypto.Signature.public_key_hash * int32) list Data_encoding.t

val update_listings : 
  Raw_context.t ->
  (Raw_context.t,
    Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error
      Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace)
    Stdlib.result
    Lwt.t

Populates !Storage.Vote.Listings using the currently existing rolls and sets Listings_size. Delegates without rolls are not included in the listing.

val listing_size : 
  Raw_context.t ->
  (int32,
    Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error
      Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace)
    Stdlib.result
    Lwt.t

Returns the sum of all rolls of all delegates.

val in_listings : 
  Raw_context.t ->
  Tezos_crypto.Signature.public_key_hash ->
  bool Lwt.t

Verifies the presence of a delegate in the listing.

val get_listings : 
  Raw_context.t ->
  (Tezos_crypto.Signature.public_key_hash * int32) list Lwt.t

val get_voting_power_free : 
  Raw_context.t ->
  Tezos_crypto.Signature.public_key_hash ->
  (int32,
    Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error
      Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace)
    Stdlib.result
    Lwt.t

val get_voting_power : 
  Raw_context.t ->
  Tezos_crypto.Signature.public_key_hash ->
  (Raw_context.t * int32,
    Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error
      Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace)
    Stdlib.result
    Lwt.t

val get_total_voting_power_free : 
  Raw_context.t ->
  (int32,
    Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error
      Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace)
    Stdlib.result
    Lwt.t

val get_total_voting_power : 
  Raw_context.t ->
  (Raw_context.t * int32,
    Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error
      Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace)
    Stdlib.result
    Lwt.t

val get_current_quorum : 
  Raw_context.t ->
  (int32,
    Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error
      Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace)
    Stdlib.result
    Lwt.t

val get_participation_ema : 
  Raw_context.t ->
  (int32,
    Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error
      Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace)
    Stdlib.result
    Lwt.t

val set_participation_ema : 
  Raw_context.t ->
  int32 ->
  (Raw_context.t,
    Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error
      Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace)
    Stdlib.result
    Lwt.t

val get_current_proposal : 
  Raw_context.t ->
  (Tezos_crypto.Protocol_hash.t,
    Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error
      Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace)
    Stdlib.result
    Lwt.t

val find_current_proposal : 
  Raw_context.t ->
  (Tezos_crypto.Protocol_hash.t option,
    Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error
      Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace)
    Stdlib.result
    Lwt.t

val init_current_proposal : 
  Raw_context.t ->
  Tezos_crypto.Protocol_hash.t ->
  (Raw_context.t,
    Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error
      Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace)
    Stdlib.result
    Lwt.t

val clear_current_proposal : 
  Raw_context.t ->
  (Raw_context.t,
    Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error
      Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace)
    Stdlib.result
    Lwt.t

val init : 
  Raw_context.t ->
  start_position:int32 ->
  (Raw_context.t,
    Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error
      Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace)
    Stdlib.result
    Lwt.t

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

package tezos-protocol-012-Psithaca