package tezos-protocol-013-PtJakart
Tezos/Protocol: economic-protocol definition
Install
Dune Dependency
Authors
Maintainers
Sources
tezos-16.0.tar.gz
sha256=ad9e08819871c75ba6f4530b125f7d157799398e4d77a1e6bfea9d91ff37ff55
sha512=c5dc4d40cc09bc6980fbbdb5c2e105bf4252cf9cfcb2b49660b0ebe4dc789f6709ec3b3bf2f87d81580d3eed9521eeb1c960f24d9b14eb0285aaba1f84d10a9b
doc/tezos-protocol-013-PtJakart.raw/Tezos_raw_protocol_013_PtJakart/Receipt_repr/index.html
Module Tezos_raw_protocol_013_PtJakart.Receipt_reprSource
Source
type balance = | Contract of Contract_repr.t| Block_fees| Deposits of Tezos_protocol_environment_013_PtJakart.Signature.Public_key_hash.t| Nonce_revelation_rewards| Double_signing_evidence_rewards| Endorsing_rewards| Baking_rewards| Baking_bonuses| Storage_fees| Double_signing_punishments| Lost_endorsing_rewards of Tezos_protocol_environment_013_PtJakart.Signature.Public_key_hash.t * bool * bool| Liquidity_baking_subsidies| Burned| Commitments of Blinded_public_key_hash.t| Bootstrap| Invoice| Initial_commitments| Minted| Frozen_bonds of Contract_repr.t * Bond_id_repr.t| Tx_rollup_rejection_punishments| Tx_rollup_rejection_rewards
Places where tez can be found in the ledger's state.
A credit or debit of tez to a balance.
An origin of a balance update
Compares two origins.
A list of balance updates. Duplicates may happen. For example, an entry of the form (Rewards (b,c), Credited am, ...) indicates that the balance of frozen rewards has been increased by am for baker b and cycle c.
Source
val balance_updates_encoding :
balance_updates Tezos_protocol_environment_013_PtJakart.Data_encoding.tThe property Json.destruct (Json.construct balance_updates) = balance_updates does not always hold for balance_updates_encoding when balance_updates contains entries of the form (_, _ Tez_repr.zero, _). This is because the balance_update (_ Tez_repr.zero) always decodes into (Credited Tez_repr.zero).
Source
val group_balance_updates :
balance_updates ->
balance_updates Tezos_protocol_environment_013_PtJakart.Error_monad.tzresultGroup updates by (balance x origin), and remove zero-valued balances.