Module `Tezos_raw_protocol_alpha.Receipt_repr`Source

Sourcetype staker = Stake_repr.staker =

| Single of Contract_repr.t * Tezos_protocol_environment_alpha.Signature.public_key_hash
| Shared of Tezos_protocol_environment_alpha.Signature.public_key_hash

Sourcetype balance =

| Contract of Contract_repr.t
| Block_fees
| Deposits of staker
| Unstaked_deposits of staker * Cycle_repr.t
| Nonce_revelation_rewards
| Attesting_rewards
| Baking_rewards
| Baking_bonuses
| Storage_fees
| Double_signing_punishments
| Lost_attesting_rewards of Tezos_protocol_environment_alpha.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
| Sc_rollup_refutation_punishments
| Sc_rollup_refutation_rewards

Places where tez can be found in the ledger's state.

Sourceval compare_balance : balance -> balance -> int

Compares two balances.

Sourcetype balance_update =

| Debited of Tez_repr.t
| Credited of Tez_repr.t

A credit or debit of tez to a balance.

Sourcetype update_origin =

| Block_application
(*
Update from a block application
*)
| Protocol_migration
(*
Update from a protocol migration
*)
| Subsidy
(*
Update from an inflationary subsidy
*)
| Simulation
(*
Simulation of an operation *
*)

An origin of a balance update

Sourceval compare_update_origin : update_origin -> update_origin -> int

Compares two origins.

Sourcetype balance_updates = (balance * balance_update * update_origin) list

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_alpha.Data_encoding.t

The 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 balance_updates_encoding_with_legacy_attestation_name : 
  balance_updates Tezos_protocol_environment_alpha.Data_encoding.t

Balance updates encoding that uses legacy attestation name : `endorsing right` and `lost endorsing right` when encoding to JSON

https://gitlab.com/tezos/tezos/-/issues/5529

This encoding is temporary and should be removed when the endorsements kinds in JSON will not be accepted any more by the protocol.

Source

val group_balance_updates : 
  balance_updates ->
  balance_updates Tezos_protocol_environment_alpha.Error_monad.tzresult

Group updates by (balance x origin), and remove zero-valued balances.

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos_raw_protocol_alpha/Tezos_raw_protocol_alpha/Receipt_repr/index.html

Module `Tezos_raw_protocol_alpha.Receipt_repr`Source

package tezos-protocol-alpha

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos_raw_protocol_alpha/Tezos_raw_protocol_alpha/Receipt_repr/index.html

Module Tezos_raw_protocol_alpha.Receipt_reprSource

Module `Tezos_raw_protocol_alpha.Receipt_repr`Source