Apply_internal_results (mavryk-protocol-001-PtAtLas.Mavryk_raw_protocol_001_PtAtLas.Apply_internal

type 'kind internal_operation_contents =

| Transaction : {
1. amount : Alpha_context.Tez.mav;
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 : Mavryk_protocol_environment_001_PtAtLas.Signature.Public_key_hash.t option;
2. script : Alpha_context.Script.t;
3. credit : Alpha_context.Tez.mav;
} -> Alpha_context.Kind.origination internal_operation_contents
| Delegation : Mavryk_protocol_environment_001_PtAtLas.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).

type 'kind internal_operation = {

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

}

type packed_internal_operation =

| Internal_operation : 'kind internal_operation -> packed_internal_operation

val packed_internal_operation : 
  Script_typed_ir.packed_internal_operation ->
  packed_internal_operation

val packed_internal_operations : 
  Script_typed_ir.packed_internal_operation list ->
  packed_internal_operation 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. ticket_receipt : Ticket_receipt.t;
5. originated_contracts : Contract_hash.t list;
6. consumed_gas : Alpha_context.Gas.Arith.fp;
7. storage_size : Mavryk_protocol_environment_001_PtAtLas.Z.t;
8. paid_storage_size_diff : Mavryk_protocol_environment_001_PtAtLas.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 : Mavryk_protocol_environment_001_PtAtLas.Z.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 : Mavryk_protocol_environment_001_PtAtLas.Z.t;
paid_storage_size_diff : Mavryk_protocol_environment_001_PtAtLas.Z.t;

}

Result of applying an internal origination.

type _ 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;
2. balance_updates : Alpha_context.Receipt.balance_updates;
} -> 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.

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

type packed_internal_operation_result =

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

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

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

val internal_operation_encoding : 
  packed_internal_operation
    Mavryk_protocol_environment_001_PtAtLas.Data_encoding.t

val internal_operation_result_encoding : 
  packed_internal_operation_result
    Mavryk_protocol_environment_001_PtAtLas.Data_encoding.t