tezos-protocol-014-PtKathma 20.1

Types representing results of applying an internal operation.

These are used internally by Apply.

type 'kind internal_manager_operation =

| 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_manager_operation
| Origination : {
1. delegate : Tezos_protocol_environment_014_PtKathma.Signature.Public_key_hash.t option;
2. script : Alpha_context.Script.t;
3. credit : Alpha_context.Tez.tez;
} -> Alpha_context.Kind.origination internal_manager_operation
| Delegation : Tezos_protocol_environment_014_PtKathma.Signature.Public_key_hash.t option -> Alpha_context.Kind.delegation internal_manager_operation
| Event : {
1. ty : Alpha_context.Script.expr;
2. tag : Alpha_context.Entrypoint.t;
3. payload : Alpha_context.Script.expr;
} -> Alpha_context.Kind.event internal_manager_operation

type 'kind internal_contents = {

source : Alpha_context.Contract.t;
operation : 'kind internal_manager_operation;
nonce : int;

}

type packed_internal_contents =

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

| 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;
}
| 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;
}
| 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 = {

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_014_PtKathma.Z.t;
paid_storage_size_diff : Tezos_protocol_environment_014_PtKathma.Z.t;

}

Result of applying an internal origination.

type _ successful_internal_manager_operation_result =

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

Result of applying a Script_typed_ir.internal_operation.

type 'kind internal_manager_operation_result =
  ('kind,
    'kind Alpha_context.Kind.manager,
    'kind successful_internal_manager_operation_result)
    Apply_operation_result.operation_result

type packed_internal_manager_operation_result =

| 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

val pack_internal_manager_operation_result : 
  'kind Script_typed_ir.internal_operation ->
  'kind internal_manager_operation_result ->
  packed_internal_manager_operation_result

val internal_contents_encoding : 
  packed_internal_contents
    Tezos_protocol_environment_014_PtKathma.Data_encoding.t

val internal_manager_operation_result_encoding : 
  packed_internal_manager_operation_result
    Tezos_protocol_environment_014_PtKathma.Data_encoding.t

package tezos-protocol-014-PtKathma