package tezos-protocol-014-PtKathma

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

Types representing results of applying an internal operation.

These are used internally by Apply.

type 'kind internal_contents = {
  1. source : Alpha_context.Contract.t;
  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 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 : Contract_hash.t list;
    5. consumed_gas : Alpha_context.Gas.Arith.fp;
    6. storage_size : Tezos_protocol_environment_014_PtKathma.Z.t;
    7. paid_storage_size_diff : Tezos_protocol_environment_014_PtKathma.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_014_PtKathma.Z.t;
    }
  3. | Transaction_to_sc_rollup_result of {
    1. consumed_gas : Alpha_context.Gas.Arith.fp;
    2. inbox_after : Alpha_context.Sc_rollup.Inbox.t;
    }

Result of applying an internal transaction.

type successful_origination_result = {
  1. lazy_storage_diff : Alpha_context.Lazy_storage.diffs option;
  2. balance_updates : Alpha_context.Receipt.balance_updates;
  3. originated_contracts : Contract_hash.t list;
  4. consumed_gas : Alpha_context.Gas.Arith.fp;
  5. storage_size : Tezos_protocol_environment_014_PtKathma.Z.t;
  6. paid_storage_size_diff : Tezos_protocol_environment_014_PtKathma.Z.t;
}

Result of applying an internal origination.

Result of applying a Script_typed_ir.internal_operation.

type packed_internal_manager_operation_result =
  1. | Internal_manager_operation_result : 'kind internal_contents * 'kind internal_manager_operation_result -> packed_internal_manager_operation_result
val contents_of_internal_operation : 'kind Script_typed_ir.internal_operation -> 'kind internal_contents
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