package tezos-protocol-015-PtLimaPt

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-16.0.tar.gz

sha256=ad9e08819871c75ba6f4530b125f7d157799398e4d77a1e6bfea9d91ff37ff55

sha512=c5dc4d40cc09bc6980fbbdb5c2e105bf4252cf9cfcb2b49660b0ebe4dc789f6709ec3b3bf2f87d81580d3eed9521eeb1c960f24d9b14eb0285aaba1f84d10a9b

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

Module `Tezos_raw_protocol_015_PtLimaPt.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_015_PtLimaPt.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_015_PtLimaPt.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 = {

source : Alpha_context.Contract.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 : Alpha_context.Ticket_receipt.t;
5. originated_contracts : Contract_hash.t list;
6. consumed_gas : Alpha_context.Gas.Arith.fp;
7. storage_size : Tezos_protocol_environment_015_PtLimaPt.Z.t;
8. paid_storage_size_diff : Tezos_protocol_environment_015_PtLimaPt.Z.t;
9. allocated_destination_contract : bool;
}
| 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_015_PtLimaPt.Z.t;
}
| Transaction_to_sc_rollup_result of {
1. consumed_gas : Alpha_context.Gas.Arith.fp;
2. inbox_after : Alpha_context.Sc_rollup.Inbox.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_015_PtLimaPt.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_015_PtLimaPt.Z.t;
paid_storage_size_diff : Tezos_protocol_environment_015_PtLimaPt.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_015_PtLimaPt.Data_encoding.t

Source

val internal_operation_result_encoding : 
  packed_internal_operation_result
    Tezos_protocol_environment_015_PtLimaPt.Data_encoding.t

package tezos-protocol-015-PtLimaPt

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module Tezos_raw_protocol_015_PtLimaPt.Apply_internal_resultsSource

Module `Tezos_raw_protocol_015_PtLimaPt.Apply_internal_results`Source