package tezos-protocol-013-PtJakart

  1. Overview
  2. Docs
package tezos-protocol-013-PtJakart
Legend:
Library
Module
Module type
Parameter
Class
Class type

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.

val manager_operation_of_internal_operation : 'kind internal_manager_operation -> 'kind Alpha_context.manager_operation
type 'kind internal_contents = {
  1. source : Alpha_context.Contract.contract;
  2. operation : 'kind internal_manager_operation;
  3. nonce : int;
}
type packed_internal_contents =
  1. | Internal_contents : 'kind internal_contents -> packed_internal_contents
val contents_of_packed_internal_operation : Script_typed_ir.packed_internal_operation -> packed_internal_contents
val contents_of_packed_internal_operations : Script_typed_ir.packed_internal_operation list -> packed_internal_contents list
type 'kind operation_metadata = {
  1. contents : 'kind contents_result_list;
}

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

and packed_operation_metadata =
  1. | Operation_metadata : 'kind operation_metadata -> packed_operation_metadata
  2. | No_operation_metadata : packed_operation_metadata
and '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.

and packed_contents_result_list =
  1. | Contents_result_list : 'kind contents_result_list -> packed_contents_result_list
and 'kind contents_result =
  1. | Preendorsement_result : {
    1. balance_updates : Alpha_context.Receipt.balance_updates;
    2. delegate : Tezos_protocol_environment_013_PtJakart.Signature.Public_key_hash.t;
    3. 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_013_PtJakart.Signature.Public_key_hash.t;
    3. endorsement_power : int;
    } -> Alpha_context.Kind.endorsement contents_result
  3. | Seed_nonce_revelation_result : Alpha_context.Receipt.balance_updates -> Alpha_context.Kind.seed_nonce_revelation contents_result
  4. | Double_endorsement_evidence_result : Alpha_context.Receipt.balance_updates -> Alpha_context.Kind.double_endorsement_evidence contents_result
  5. | Double_preendorsement_evidence_result : Alpha_context.Receipt.balance_updates -> Alpha_context.Kind.double_preendorsement_evidence contents_result
  6. | Double_baking_evidence_result : Alpha_context.Receipt.balance_updates -> Alpha_context.Kind.double_baking_evidence contents_result
  7. | Activate_account_result : Alpha_context.Receipt.balance_updates -> Alpha_context.Kind.activate_account contents_result
  8. | Proposals_result : Alpha_context.Kind.proposals contents_result
  9. | Ballot_result : Alpha_context.Kind.ballot contents_result
  10. | Manager_operation_result : {
    1. balance_updates : Alpha_context.Receipt.balance_updates;
    2. operation_result : 'kind manager_operation_result;
    3. internal_operation_results : packed_internal_manager_operation_result list;
    } -> 'kind Alpha_context.Kind.manager contents_result

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

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

The result of an operation in the queue. Skipped ones should always be at the tail, and after a single Failed.

and successful_transaction_result =
  1. | Transaction_to_contract_result of {
    1. storage : Alpha_context.Script.expr option;
    2. lazy_storage_diff : Alpha_context.Lazy_storage.diffs option;
    3. balance_updates : Alpha_context.Receipt.balance_updates;
    4. originated_contracts : Alpha_context.Contract.t list;
    5. consumed_gas : Alpha_context.Gas.Arith.fp;
    6. storage_size : Tezos_protocol_environment_013_PtJakart.Z.t;
    7. paid_storage_size_diff : Tezos_protocol_environment_013_PtJakart.Z.t;
    8. allocated_destination_contract : bool;
    }
  2. | Transaction_to_tx_rollup_result of {
    1. ticket_hash : Alpha_context.Ticket_hash.t;
    2. balance_updates : Alpha_context.Receipt.balance_updates;
    3. consumed_gas : Alpha_context.Gas.Arith.fp;
    4. paid_storage_size_diff : Tezos_protocol_environment_013_PtJakart.Z.t;
    }

Result of applying a transaction, either internal or external

and _ 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 : {
    1. lazy_storage_diff : Alpha_context.Lazy_storage.diffs option;
    2. balance_updates : Alpha_context.Receipt.balance_updates;
    3. originated_contracts : Alpha_context.Contract.t list;
    4. consumed_gas : Alpha_context.Gas.Arith.fp;
    5. storage_size : Tezos_protocol_environment_013_PtJakart.Z.t;
    6. paid_storage_size_diff : Tezos_protocol_environment_013_PtJakart.Z.t;
    } -> 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_013_PtJakart.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. | 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
  8. | 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_013_PtJakart.Z.t;
    } -> Alpha_context.Kind.tx_rollup_submit_batch successful_manager_operation_result
  9. | 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
  10. | 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
  11. | 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
  12. | 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
  13. | 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
  14. | 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_013_PtJakart.Z.t;
    } -> Alpha_context.Kind.tx_rollup_dispatch_tickets successful_manager_operation_result
  15. | 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_013_PtJakart.Z.t;
    } -> Alpha_context.Kind.transfer_ticket successful_manager_operation_result
  16. | Sc_rollup_originate_result : {
    1. balance_updates : Alpha_context.Receipt.balance_updates;
    2. address : Alpha_context.Sc_rollup.Address.t;
    3. consumed_gas : Alpha_context.Gas.Arith.fp;
    4. size : Tezos_protocol_environment_013_PtJakart.Z.t;
    } -> Alpha_context.Kind.sc_rollup_originate successful_manager_operation_result
  17. | 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
  18. | Sc_rollup_cement_result : {
    1. consumed_gas : Alpha_context.Gas.Arith.fp;
    } -> Alpha_context.Kind.sc_rollup_cement successful_manager_operation_result
  19. | Sc_rollup_publish_result : {
    1. consumed_gas : Alpha_context.Gas.Arith.fp;
    2. staked_hash : Alpha_context.Sc_rollup.Commitment_hash.t;
    } -> Alpha_context.Kind.sc_rollup_publish successful_manager_operation_result

Result of applying a manager_operation_content, either internal or external.

and packed_successful_manager_operation_result =
  1. | Successful_manager_result : 'kind successful_manager_operation_result -> packed_successful_manager_operation_result
and packed_internal_manager_operation_result =
  1. | Internal_manager_operation_result : 'kind internal_contents * 'kind manager_operation_result -> packed_internal_manager_operation_result
val contents_of_internal_operation : 'kind Script_typed_ir.internal_operation -> 'kind internal_contents

Serializer for packed_operation_result.

type packed_contents_and_result_list =
  1. | Contents_and_result_list : 'kind contents_and_result_list -> packed_contents_and_result_list
val pack_contents_list : 'kind Alpha_context.contents_list -> 'kind contents_result_list -> 'kind contents_and_result_list
val unpack_contents_list : 'kind contents_and_result_list -> 'kind Alpha_context.contents_list * 'kind contents_result_list
type ('a, 'b) eq =
  1. | Eq : ('a, 'a) eq
val kind_equal_list : 'kind Alpha_context.contents_list -> 'kind2 contents_result_list -> ('kind, 'kind2) eq option
type precheck_result = {
  1. consumed_gas : Alpha_context.Gas.Arith.fp;
  2. balance_updates : Alpha_context.Receipt.balance_updates;
}
type 'kind prechecked_contents = {
  1. contents : 'kind Alpha_context.contents;
  2. result : precheck_result;
}
type _ prechecked_contents_list =
  1. | PrecheckedSingle : 'kind prechecked_contents -> 'kind prechecked_contents_list
  2. | PrecheckedCons : 'kind Alpha_context.Kind.manager prechecked_contents * 'rest Alpha_context.Kind.manager prechecked_contents_list -> ('kind * 'rest) Alpha_context.Kind.manager prechecked_contents_list
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct