package tezos-protocol-004-Pt24m4xi
Tezos/Protocol: economic-protocol definition
Install
dune-project
Dependency
Authors
Maintainers
Sources
tezos-16.0.tar.gz
sha256=ad9e08819871c75ba6f4530b125f7d157799398e4d77a1e6bfea9d91ff37ff55
sha512=c5dc4d40cc09bc6980fbbdb5c2e105bf4252cf9cfcb2b49660b0ebe4dc789f6709ec3b3bf2f87d81580d3eed9521eeb1c960f24d9b14eb0285aaba1f84d10a9b
doc/tezos-protocol-004-Pt24m4xi.raw/Tezos_raw_protocol_004_Pt24m4xi/Storage/Roll/index.html
Module Storage.RollSource
Storage from this submodule must only be accessed through the module `Roll`.
Source
module Owner :
Storage_sigs.Indexed_data_snapshotable_storage
with type key = Roll_repr.t
and type snapshot = Cycle_repr.t * int
and type value =
Tezos_protocol_environment_004_Pt24m4xi.Signature.Public_key.t
and type t := Raw_context.tSource
module Next :
Storage_sigs.Single_data_storage
with type value = Roll_repr.t
and type t := Raw_context.tThe next roll to be allocated.
Rolls linked lists represent both account owned and free rolls. All rolls belongs either to the limbo list or to an owned list.
Source
module Limbo :
Storage_sigs.Single_data_storage
with type value = Roll_repr.t
and type t := Raw_context.tHead of the linked list of rolls in limbo
Source
module Delegate_roll_list :
Storage_sigs.Indexed_data_storage
with type key =
Tezos_protocol_environment_004_Pt24m4xi.Signature.Public_key_hash.t
and type value = Roll_repr.t
and type t := Raw_context.tRolls associated to contracts, a linked list per contract
Source
module Successor :
Storage_sigs.Indexed_data_storage
with type key = Roll_repr.t
and type value = Roll_repr.t
and type t := Raw_context.tUse this to iter on a linked list of rolls
Source
module Delegate_change :
Storage_sigs.Indexed_data_storage
with type key =
Tezos_protocol_environment_004_Pt24m4xi.Signature.Public_key_hash.t
and type value = Tez_repr.t
and type t := Raw_context.tThe tez of a contract that are not assigned to rolls
Source
module Snapshot_for_cycle :
Storage_sigs.Indexed_data_storage
with type key = Cycle_repr.t
and type value = int
and type t := Raw_context.tIndex of the randomly selected roll snapshot of a given cycle.
Source
module Last_for_snapshot :
Storage_sigs.Indexed_data_storage
with type key = int
and type value = Roll_repr.t
and type t = Raw_context.t * Cycle_repr.tLast roll in the snapshoted roll allocation of a given cycle.