package tezos-protocol-alpha

You can search for identifiers within the package.

in-package search v0.2.0

Tezos/Protocol: economic-protocol definition

Install

Dune Dependency

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

Authors

T

Tezos devteam

Maintainers

C

contact@tezos.com

Sources

tezos-17.3.tar.gz

sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680

sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc

doc/tezos-protocol-alpha.raw/Tezos_raw_protocol_alpha/Apply_internal_results/index.html

Module `Tezos_raw_protocol_alpha.Apply_internal_results`Source

Types representing results of applying an internal operation.

These are used internally by Apply.

Sourcetype 'kind internal_operation_contents =

| Transaction : {
1. amount : Alpha_context.Tez.tez;
2. parameters : Alpha_context.Script.lazy_expr;
3. entrypoint : Alpha_context.Entrypoint.t;
4. destination : Alpha_context.Destination.t;
} -> Alpha_context.Kind.transaction internal_operation_contents
| Origination : {
1. delegate : Tezos_protocol_environment_alpha.Signature.Public_key_hash.t option;
2. script : Alpha_context.Script.t;
3. credit : Alpha_context.Tez.tez;
} -> Alpha_context.Kind.origination internal_operation_contents
| Delegation : Tezos_protocol_environment_alpha.Signature.Public_key_hash.t option -> Alpha_context.Kind.delegation internal_operation_contents
| Event : {
1. ty : Alpha_context.Script.expr;
2. tag : Alpha_context.Entrypoint.t;
3. payload : Alpha_context.Script.expr;
} -> Alpha_context.Kind.event internal_operation_contents

internal_operation_contents are the internal operations as output in receipts. The type simply weakens Script_typed_ir.internal_operation_contents so that it is easier to define an encoding for it (i.e. we remove the typed parameter).

Sourcetype 'kind internal_operation = {

sender : Alpha_context.Destination.t;
operation : 'kind internal_operation_contents;
nonce : int;

}

Sourcetype packed_internal_operation =

| Internal_operation : 'kind internal_operation -> packed_internal_operation

Source

val packed_internal_operation : 
  Script_typed_ir.packed_internal_operation ->
  packed_internal_operation

Source

val packed_internal_operations : 
  Script_typed_ir.packed_internal_operation list ->
  packed_internal_operation list

Sourcetype successful_transaction_result =

| 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. ticket_receipt : Ticket_receipt.t;
5. originated_contracts : Contract_hash.t list;
6. consumed_gas : Alpha_context.Gas.Arith.fp;
7. storage_size : Tezos_protocol_environment_alpha.Z.t;
8. paid_storage_size_diff : Tezos_protocol_environment_alpha.Z.t;
9. allocated_destination_contract : bool;
}
| Transaction_to_sc_rollup_result of {
1. consumed_gas : Alpha_context.Gas.Arith.fp;
2. ticket_receipt : Ticket_receipt.t;
}
| Transaction_to_zk_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_alpha.Z.t;
}

Result of applying an internal transaction.

Sourcetype successful_origination_result = {

lazy_storage_diff : Alpha_context.Lazy_storage.diffs option;
balance_updates : Alpha_context.Receipt.balance_updates;
originated_contracts : Contract_hash.t list;
consumed_gas : Alpha_context.Gas.Arith.fp;
storage_size : Tezos_protocol_environment_alpha.Z.t;
paid_storage_size_diff : Tezos_protocol_environment_alpha.Z.t;

}

Result of applying an internal origination.

Sourcetype _ successful_internal_operation_result =

| ITransaction_result : successful_transaction_result -> Alpha_context.Kind.transaction successful_internal_operation_result
| IOrigination_result : successful_origination_result -> Alpha_context.Kind.origination successful_internal_operation_result
| IDelegation_result : {
1. consumed_gas : Alpha_context.Gas.Arith.fp;
} -> Alpha_context.Kind.delegation successful_internal_operation_result
| IEvent_result : {
1. consumed_gas : Alpha_context.Gas.Arith.fp;
} -> Alpha_context.Kind.event successful_internal_operation_result

Result of applying a Script_typed_ir.internal_operation_contents.

Source

type 'kind internal_operation_result =
  ('kind,
    'kind Alpha_context.Kind.manager,
    'kind successful_internal_operation_result)
    Apply_operation_result.operation_result

Sourcetype packed_internal_operation_result =

| Internal_operation_result : 'kind internal_operation * 'kind internal_operation_result -> packed_internal_operation_result

Source

val internal_operation : 
  'kind Script_typed_ir.internal_operation ->
  'kind internal_operation

Source

val pack_internal_operation_result : 
  'kind Script_typed_ir.internal_operation ->
  'kind internal_operation_result ->
  packed_internal_operation_result

Source

val internal_operation_encoding : 
  packed_internal_operation Tezos_protocol_environment_alpha.Data_encoding.t

Source

val internal_operation_result_encoding : 
  packed_internal_operation_result
    Tezos_protocol_environment_alpha.Data_encoding.t

package tezos-protocol-alpha

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-alpha.raw/Tezos_raw_protocol_alpha/Apply_internal_results/index.html

Module Tezos_raw_protocol_alpha.Apply_internal_resultsSource

Module `Tezos_raw_protocol_alpha.Apply_internal_results`Source