package tezos-protocol-015-PtLimaPt
- Overview
 - No Docs
 
You can search for identifiers within the package.
in-package search v0.2.0
Install
    
    dune-project
 Dependency
Authors
Maintainers
Sources
sha256=ad9e08819871c75ba6f4530b125f7d157799398e4d77a1e6bfea9d91ff37ff55
    
    
  sha512=c5dc4d40cc09bc6980fbbdb5c2e105bf4252cf9cfcb2b49660b0ebe4dc789f6709ec3b3bf2f87d81580d3eed9521eeb1c960f24d9b14eb0285aaba1f84d10a9b
    
    
  doc/tezos-protocol-015-PtLimaPt.raw/Tezos_raw_protocol_015_PtLimaPt/Stake_storage/index.html
Module Tezos_raw_protocol_015_PtLimaPt.Stake_storageSource
This module provides basic operations (accessors and setters) on staking tokens.
It is responsible for maintaining the following tables:
Storage.Stake.Selected_distribution_for_cycleStorage.Stake.Staking_balanceStorage.Stake.Active_delegate_with_one_rollStorage.Stake.Last_snapshotStorage.Stake.Total_active_stake
val fold : 
  Raw_context.t ->
  f:
    ((Tezos_protocol_environment_015_PtLimaPt.Signature.Public_key_hash.t
      * Tez_repr.t) ->
      'a ->
      'a Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
        Tezos_protocol_environment_015_PtLimaPt.Lwt.t) ->
  order:[ `Sorted | `Undefined ] ->
  'a ->
  'a Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
    Tezos_protocol_environment_015_PtLimaPt.Lwt.tfold ctxt ~f ~order init folds f on the list of active delegates having the minimal required stake. The folding process starts with init. Each element of the list is a pair pkh, stake, where pkh is the public key hash of the delegate and stake is the staking balance of the delegate.
val fold_snapshot : 
  Raw_context.t ->
  index:int ->
  f:
    ((Tezos_protocol_environment_015_PtLimaPt.Signature.Public_key_hash.t
      * Tez_repr.t) ->
      'a ->
      'a Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
        Tezos_protocol_environment_015_PtLimaPt.Lwt.t) ->
  init:'a ->
  'a Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
    Tezos_protocol_environment_015_PtLimaPt.Lwt.tfold_snapshot ctxt ~index ~f ~init folds f on the list of active delegates having the minimal required stake for the given snapshot index. The folding process starts with init. Each element of the list is a pair pkh, stake, where pkh is the public key hash of the delegate and stake is the staking balance of the delegate for the given snapshot index.
val max_snapshot_index : 
  Raw_context.t ->
  int Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
    Tezos_protocol_environment_015_PtLimaPt.Lwt.tmax_snapshot_index ctxt returns the index of the last snapshot taken of staking balances and active delegates.
val set_selected_distribution_for_cycle : 
  Raw_context.t ->
  Cycle_repr.t ->
  (Tezos_protocol_environment_015_PtLimaPt.Signature.public_key_hash
   * Tez_repr.t)
    list ->
  Tez_repr.t ->
  Raw_context.t Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
    Tezos_protocol_environment_015_PtLimaPt.Lwt.tset_selected_distribution_for_cycle ctxt cycle distrib total_stake saves the selected distribution distrib of the total_stake for the given cycle.
val clear_at_cycle_end : 
  Raw_context.t ->
  new_cycle:Cycle_repr.t ->
  Raw_context.t Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
    Tezos_protocol_environment_015_PtLimaPt.Lwt.tval fold_on_active_delegates_with_minimal_stake : 
  Raw_context.t ->
  order:[ `Sorted | `Undefined ] ->
  init:'a ->
  f:
    (Tezos_protocol_environment_015_PtLimaPt.Signature.Public_key_hash.t ->
      unit ->
      'a ->
      'a Tezos_protocol_environment_015_PtLimaPt.Lwt.t) ->
  'a Tezos_protocol_environment_015_PtLimaPt.Lwt.tval find_selected_distribution : 
  Raw_context.t ->
  Cycle_repr.t ->
  (Tezos_protocol_environment_015_PtLimaPt.Signature.Public_key_hash.t
   * Tez_repr.t)
    list
    option
    Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
    Tezos_protocol_environment_015_PtLimaPt.Lwt.tval prepare_stake_distribution : 
  Raw_context.t ->
  Raw_context.t Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
    Tezos_protocol_environment_015_PtLimaPt.Lwt.tCopy the stake distribution for the current cycle (from Storage.Stake.Selected_distribution_for_cycle) in the raw context.
val get_total_active_stake : 
  Raw_context.t ->
  Cycle_repr.t ->
  Tez_repr.t Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
    Tezos_protocol_environment_015_PtLimaPt.Lwt.tget_total_active_stake ctxt cycle retrieves the amount in Tez of the active stake at cycle from ctxt.
val add_contract_stake : 
  Raw_context.t ->
  Contract_repr.t ->
  Tez_repr.t ->
  Raw_context.t Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
    Tezos_protocol_environment_015_PtLimaPt.Lwt.tadd_contract_stake ctxt contract amount calls Stake_storage.add_stake ctxt delegate amount if contract has a delegate. Otherwise this function does nothing.
val remove_contract_stake : 
  Raw_context.t ->
  Contract_repr.t ->
  Tez_repr.t ->
  Raw_context.t Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
    Tezos_protocol_environment_015_PtLimaPt.Lwt.tremove_contract_stake ctxt contract amount calls Stake_storage.remove_stake ctxt delegate amount if contract has a delegate. Otherwise this function does nothing.