package tezos-protocol-015-PtLimaPt

  1. Overview
  2. Docs
Tezos/Protocol: economic-protocol definition

Install 

dune-project
 Dependency

www.tezos.com Readme Edit opam file Versions (8)

Authors

  1. T
    Tezos devteam

Maintainers

  1. C
    contact@tezos.com

Sources

tezos-16.1.tar.gz
sha256=43723d096307603703a1a89ed1b2eb202b365f5e7824b96b0cbf813b343a6cf7
sha512=b2a637f2e965000d3d49ad85277ca24d6cb07a1a7cf2bc69d296d8b03ad78c3eaa8e21e94b9162e62c2e11649cd03bc845b2a3dafe623b91065df69d47dc8e4f

doc/tezos-protocol-015-PtLimaPt.raw/Tezos_raw_protocol_015_PtLimaPt/Apply_results/index.html

Module Tezos_raw_protocol_015_PtLimaPt.Apply_resultsSource

Types representing results of applying an operation.

These are used internally by Apply, and can be used for experimenting with protocol updates, by clients to print out a summary of the operation at pre-injection simulation and at confirmation time, and by block explorers.

Sourcetype 'kind operation_metadata = {
  1. contents : 'kind contents_result_list;
}

Result of applying a Operation.t. Follows the same structure.

Sourceand packed_operation_metadata =
  1. | Operation_metadata : 'kind operation_metadata -> packed_operation_metadata
  2. | No_operation_metadata : packed_operation_metadata
Sourceand 'kind contents_result_list =
  1. | Single_result : 'kind contents_result -> 'kind contents_result_list
  2. | Cons_result : 'kind Alpha_context.Kind.manager contents_result * 'rest Alpha_context.Kind.manager contents_result_list -> ('kind * 'rest) Alpha_context.Kind.manager contents_result_list

Result of applying a Operation.contents_list. Follows the same structure.

Sourceand packed_contents_result_list =
  1. | Contents_result_list : 'kind contents_result_list -> packed_contents_result_list
Sourceand 'kind contents_result =
  1. | Preendorsement_result : {
    1. balance_updates : Alpha_context.Receipt.balance_updates;
    2. delegate : Tezos_protocol_environment_015_PtLimaPt.Signature.public_key_hash;
    3. consensus_key : Tezos_protocol_environment_015_PtLimaPt.Signature.public_key_hash;
    4. preendorsement_power : int;
    } -> Alpha_context.Kind.preendorsement contents_result
  2. | Endorsement_result : {
    1. balance_updates : Alpha_context.Receipt.balance_updates;
    2. delegate : Tezos_protocol_environment_015_PtLimaPt.Signature.public_key_hash;
    3. consensus_key : Tezos_protocol_environment_015_PtLimaPt.Signature.public_key_hash;
    4. endorsement_power : int;
    } -> Alpha_context.Kind.endorsement contents_result
  3. | Dal_slot_availability_result : {
    1. delegate : Tezos_protocol_environment_015_PtLimaPt.Signature.Public_key_hash.t;
    } -> Alpha_context.Kind.dal_slot_availability contents_result
  4. | Seed_nonce_revelation_result : Alpha_context.Receipt.balance_updates -> Alpha_context.Kind.seed_nonce_revelation contents_result
  5. | Vdf_revelation_result : Alpha_context.Receipt.balance_updates -> Alpha_context.Kind.vdf_revelation contents_result
  6. | Double_endorsement_evidence_result : Alpha_context.Receipt.balance_updates -> Alpha_context.Kind.double_endorsement_evidence contents_result
  7. | Double_preendorsement_evidence_result : Alpha_context.Receipt.balance_updates -> Alpha_context.Kind.double_preendorsement_evidence contents_result
  8. | Double_baking_evidence_result : Alpha_context.Receipt.balance_updates -> Alpha_context.Kind.double_baking_evidence contents_result
  9. | Activate_account_result : Alpha_context.Receipt.balance_updates -> Alpha_context.Kind.activate_account contents_result
  10. | Proposals_result : Alpha_context.Kind.proposals contents_result
  11. | Ballot_result : Alpha_context.Kind.ballot contents_result
  12. | Drain_delegate_result : {
    1. balance_updates : Alpha_context.Receipt.balance_updates;
    2. allocated_destination_contract : bool;
    } -> Alpha_context.Kind.drain_delegate contents_result
  13. | Manager_operation_result : {
    1. balance_updates : Alpha_context.Receipt.balance_updates;
    2. operation_result : 'kind manager_operation_result;
    3. internal_operation_results : Apply_internal_results.packed_internal_operation_result list;
    } -> 'kind Alpha_context.Kind.manager contents_result

Result of applying an Operation.contents. Follows the same structure.

Sourceand packed_contents_result =
  1. | Contents_result : 'kind contents_result -> packed_contents_result

Result of applying a transaction.

Result of applying an origination.

Sourceand _ successful_manager_operation_result =
  1. | Reveal_result : {
    1. consumed_gas : Alpha_context.Gas.Arith.fp;
    } -> Alpha_context.Kind.reveal successful_manager_operation_result
  2. | Transaction_result : successful_transaction_result -> Alpha_context.Kind.transaction successful_manager_operation_result
  3. | Origination_result : successful_origination_result -> Alpha_context.Kind.origination successful_manager_operation_result
  4. | Delegation_result : {
    1. consumed_gas : Alpha_context.Gas.Arith.fp;
    } -> Alpha_context.Kind.delegation successful_manager_operation_result
  5. | Register_global_constant_result : {
    1. balance_updates : Alpha_context.Receipt.balance_updates;
    2. consumed_gas : Alpha_context.Gas.Arith.fp;
    3. size_of_constant : Tezos_protocol_environment_015_PtLimaPt.Z.t;
    4. global_address : Script_expr_hash.t;
    } -> Alpha_context.Kind.register_global_constant successful_manager_operation_result
  6. | Set_deposits_limit_result : {
    1. consumed_gas : Alpha_context.Gas.Arith.fp;
    } -> Alpha_context.Kind.set_deposits_limit successful_manager_operation_result
  7. | Increase_paid_storage_result : {
    1. balance_updates : Alpha_context.Receipt.balance_updates;
    2. consumed_gas : Alpha_context.Gas.Arith.fp;
    } -> Alpha_context.Kind.increase_paid_storage successful_manager_operation_result
  8. | Update_consensus_key_result : {
    1. consumed_gas : Alpha_context.Gas.Arith.fp;
    } -> Alpha_context.Kind.update_consensus_key successful_manager_operation_result
  9. | Tx_rollup_origination_result : {
    1. balance_updates : Alpha_context.Receipt.balance_updates;
    2. consumed_gas : Alpha_context.Gas.Arith.fp;
    3. originated_tx_rollup : Alpha_context.Tx_rollup.t;
    } -> Alpha_context.Kind.tx_rollup_origination successful_manager_operation_result
  10. | Tx_rollup_submit_batch_result : {
    1. balance_updates : Alpha_context.Receipt.balance_updates;
    2. consumed_gas : Alpha_context.Gas.Arith.fp;
    3. paid_storage_size_diff : Tezos_protocol_environment_015_PtLimaPt.Z.t;
    } -> Alpha_context.Kind.tx_rollup_submit_batch successful_manager_operation_result
  11. | Tx_rollup_commit_result : {
    1. balance_updates : Alpha_context.Receipt.balance_updates;
    2. consumed_gas : Alpha_context.Gas.Arith.fp;
    } -> Alpha_context.Kind.tx_rollup_commit successful_manager_operation_result
  12. | Tx_rollup_return_bond_result : {
    1. balance_updates : Alpha_context.Receipt.balance_updates;
    2. consumed_gas : Alpha_context.Gas.Arith.fp;
    } -> Alpha_context.Kind.tx_rollup_return_bond successful_manager_operation_result
  13. | Tx_rollup_finalize_commitment_result : {
    1. balance_updates : Alpha_context.Receipt.balance_updates;
    2. consumed_gas : Alpha_context.Gas.Arith.fp;
    3. level : Alpha_context.Tx_rollup_level.t;
    } -> Alpha_context.Kind.tx_rollup_finalize_commitment successful_manager_operation_result
  14. | Tx_rollup_remove_commitment_result : {
    1. balance_updates : Alpha_context.Receipt.balance_updates;
    2. consumed_gas : Alpha_context.Gas.Arith.fp;
    3. level : Alpha_context.Tx_rollup_level.t;
    } -> Alpha_context.Kind.tx_rollup_remove_commitment successful_manager_operation_result
  15. | Tx_rollup_rejection_result : {
    1. balance_updates : Alpha_context.Receipt.balance_updates;
    2. consumed_gas : Alpha_context.Gas.Arith.fp;
    } -> Alpha_context.Kind.tx_rollup_rejection successful_manager_operation_result
  16. | Tx_rollup_dispatch_tickets_result : {
    1. balance_updates : Alpha_context.Receipt.balance_updates;
    2. consumed_gas : Alpha_context.Gas.Arith.fp;
    3. paid_storage_size_diff : Tezos_protocol_environment_015_PtLimaPt.Z.t;
    } -> Alpha_context.Kind.tx_rollup_dispatch_tickets successful_manager_operation_result
  17. | Transfer_ticket_result : {
    1. balance_updates : Alpha_context.Receipt.balance_updates;
    2. consumed_gas : Alpha_context.Gas.Arith.fp;
    3. paid_storage_size_diff : Tezos_protocol_environment_015_PtLimaPt.Z.t;
    } -> Alpha_context.Kind.transfer_ticket successful_manager_operation_result
  18. | Dal_publish_slot_header_result : {
    1. consumed_gas : Alpha_context.Gas.Arith.fp;
    } -> Alpha_context.Kind.dal_publish_slot_header successful_manager_operation_result
  19. | Sc_rollup_originate_result : {
    1. balance_updates : Alpha_context.Receipt.balance_updates;
    2. address : Tezos_raw_protocol_015_PtLimaPt.Alpha_context.Sc_rollup.Address.t;
    3. genesis_commitment_hash : Alpha_context.Sc_rollup.Commitment.Hash.t;
    4. consumed_gas : Alpha_context.Gas.Arith.fp;
    5. size : Tezos_protocol_environment_015_PtLimaPt.Z.t;
    } -> Alpha_context.Kind.sc_rollup_originate successful_manager_operation_result
  20. | Sc_rollup_add_messages_result : {
    1. consumed_gas : Alpha_context.Gas.Arith.fp;
    2. inbox_after : Alpha_context.Sc_rollup.Inbox.t;
    } -> Alpha_context.Kind.sc_rollup_add_messages successful_manager_operation_result
  21. | Sc_rollup_cement_result : {
    1. consumed_gas : Alpha_context.Gas.Arith.fp;
    2. inbox_level : Alpha_context.Raw_level.t;
    } -> Alpha_context.Kind.sc_rollup_cement successful_manager_operation_result
  22. | Sc_rollup_publish_result : {
    1. consumed_gas : Alpha_context.Gas.Arith.fp;
    2. staked_hash : Alpha_context.Sc_rollup.Commitment.Hash.t;
    3. published_at_level : Alpha_context.Raw_level.t;
    4. balance_updates : Alpha_context.Receipt.balance_updates;
    } -> Alpha_context.Kind.sc_rollup_publish successful_manager_operation_result
  23. | Sc_rollup_refute_result : {
    1. consumed_gas : Alpha_context.Gas.Arith.fp;
    2. game_status : Alpha_context.Sc_rollup.Game.status;
    3. balance_updates : Alpha_context.Receipt.balance_updates;
    } -> Alpha_context.Kind.sc_rollup_refute successful_manager_operation_result
  24. | Sc_rollup_timeout_result : {
    1. consumed_gas : Alpha_context.Gas.Arith.fp;
    2. game_status : Alpha_context.Sc_rollup.Game.status;
    3. balance_updates : Alpha_context.Receipt.balance_updates;
    } -> Alpha_context.Kind.sc_rollup_timeout successful_manager_operation_result
  25. | Sc_rollup_execute_outbox_message_result : {
    1. balance_updates : Alpha_context.Receipt.balance_updates;
    2. consumed_gas : Alpha_context.Gas.Arith.fp;
    3. paid_storage_size_diff : Tezos_protocol_environment_015_PtLimaPt.Z.t;
    } -> Alpha_context.Kind.sc_rollup_execute_outbox_message successful_manager_operation_result
  26. | Sc_rollup_recover_bond_result : {
    1. balance_updates : Alpha_context.Receipt.balance_updates;
    2. consumed_gas : Alpha_context.Gas.Arith.fp;
    } -> Alpha_context.Kind.sc_rollup_recover_bond successful_manager_operation_result
  27. | Sc_rollup_dal_slot_subscribe_result : {
    1. consumed_gas : Alpha_context.Gas.Arith.fp;
    2. slot_index : Alpha_context.Dal.Slot_index.t;
    3. level : Alpha_context.Raw_level.t;
    } -> Alpha_context.Kind.sc_rollup_dal_slot_subscribe successful_manager_operation_result
  28. | Zk_rollup_origination_result : {
    1. balance_updates : Alpha_context.Receipt.balance_updates;
    2. originated_zk_rollup : Alpha_context.Zk_rollup.t;
    3. consumed_gas : Alpha_context.Gas.Arith.fp;
    4. storage_size : Tezos_protocol_environment_015_PtLimaPt.Z.t;
    } -> Alpha_context.Kind.zk_rollup_origination successful_manager_operation_result
  29. | Zk_rollup_publish_result : {
    1. balance_updates : Alpha_context.Receipt.balance_updates;
    2. consumed_gas : Alpha_context.Gas.Arith.fp;
    3. paid_storage_size_diff : Tezos_protocol_environment_015_PtLimaPt.Z.t;
    } -> Alpha_context.Kind.zk_rollup_publish successful_manager_operation_result

Result of applying an external manager_operation_content.

Sourceand packed_successful_manager_operation_result =
  1. | Successful_manager_result : 'kind successful_manager_operation_result -> packed_successful_manager_operation_result

Serializer for packed_operation_result.

Sourcetype packed_contents_and_result_list =
  1. | Contents_and_result_list : 'kind contents_and_result_list -> packed_contents_and_result_list
Sourceval unpack_contents_list : 'kind contents_and_result_list -> 'kind Alpha_context.contents_list * 'kind contents_result_list
Sourcetype ('a, 'b) eq =
  1. | Eq : ('a, 'a) eq
Sourceval kind_equal_list : 'kind Alpha_context.contents_list -> 'kind2 contents_result_list -> ('kind, 'kind2) eq option
Sourcetype block_metadata = {
  1. proposer : Alpha_context.Consensus_key.t;
  2. baker : Alpha_context.Consensus_key.t;
  3. level_info : Alpha_context.Level.t;
  4. voting_period_info : Alpha_context.Voting_period.info;
  5. nonce_hash : Nonce_hash.t option;
  6. consumed_gas : Alpha_context.Gas.Arith.fp;
  7. deactivated : Tezos_protocol_environment_015_PtLimaPt.Signature.Public_key_hash.t list;
  8. balance_updates : Alpha_context.Receipt.balance_updates;
  9. liquidity_baking_toggle_ema : Alpha_context.Liquidity_baking.Toggle_EMA.t;
  10. implicit_operations_results : packed_successful_manager_operation_result list;
  11. dal_slot_availability : Alpha_context.Dal.Endorsement.t option;
}