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-project

Dependency

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

Authors

T

Tezos devteam

Maintainers

C

contact@tezos.com

Sources

tezos-16.1.tar.gz

sha256=43723d096307603703a1a89ed1b2eb202b365f5e7824b96b0cbf813b343a6cf7

sha512=b2a637f2e965000d3d49ad85277ca24d6cb07a1a7cf2bc69d296d8b03ad78c3eaa8e21e94b9162e62c2e11649cd03bc845b2a3dafe623b91065df69d47dc8e4f

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-project 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

dune-project
Dependency

Module `Tezos_raw_protocol_015_PtLimaPt.Apply_internal_results`Source