package tezos-protocol-012-Psithaca

  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-17.3.tar.gz
sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680
sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc

doc/tezos-protocol-012-Psithaca.raw/Tezos_raw_protocol_012_Psithaca/Apply_results/index.html

Module Tezos_raw_protocol_012_Psithaca.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_012_Psithaca.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_012_Psithaca.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_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

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

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 : {
    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_012_Psithaca.Z.t;
    7. paid_storage_size_diff : Tezos_protocol_environment_012_Psithaca.Z.t;
    8. allocated_destination_contract : bool;
    } -> 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_012_Psithaca.Z.t;
    6. paid_storage_size_diff : Tezos_protocol_environment_012_Psithaca.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_012_Psithaca.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

Result of applying a manager_operation_content, either internal or external.

Sourceand packed_successful_manager_operation_result =
  1. | Successful_manager_result : 'kind successful_manager_operation_result -> packed_successful_manager_operation_result
Sourceand packed_internal_operation_result =
  1. | Internal_operation_result : 'kind Alpha_context.internal_operation * 'kind manager_operation_result -> packed_internal_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 precheck_result = {
  1. consumed_gas : Alpha_context.Gas.Arith.fp;
  2. balance_updates : Alpha_context.Receipt.balance_updates;
}
Sourcetype 'kind prechecked_contents = {
  1. contents : 'kind Alpha_context.contents;
  2. result : precheck_result;
}