tezos-tx-rollup-015-PtLimaPt 16.0

This module describes a fancy representation of a L2block.t. We define a fancy block with an associated encoding. The encoded JSON will later on be used in RPCs to provide a cleaner and easier to use JSON object.

type l2_message =

| Ok_deposit of Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Tx_rollup_message.t * Tezos_protocol_015_PtLimaPt.Protocol.Tx_rollup_l2_apply.indexes
(*
The deposit was interpreted with no error, we display only the created indexes if any.
*)
| Failing_deposit of {
1. message : Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Tx_rollup_message.t;
2. reason : Tezos_protocol_015_PtLimaPt.Environment.Error_monad.error;
3. withdrawal : Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Tx_rollup_withdraw.t;
}
(*
The deposit failed with an error, it produced a withdraw.
*)
| Ok_batch of {
1. transactions_and_results : ((Tezos_protocol_015_PtLimaPt.Protocol.Indexable.unknown, Tezos_protocol_015_PtLimaPt.Protocol.Indexable.unknown) Tezos_protocol_015_PtLimaPt.Protocol.Tx_rollup_l2_batch.V1.transaction * Tezos_protocol_015_PtLimaPt.Protocol.Tx_rollup_l2_apply.Message_result.transaction_result) list;
2. withdrawals : Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Tx_rollup_withdraw.t list;
3. indexes : Tezos_protocol_015_PtLimaPt.Protocol.Tx_rollup_l2_apply.indexes;
4. aggregated_signature : Tezos_protocol_015_PtLimaPt.Protocol.Tx_rollup_l2_batch.V1.signature;
}
(*
The batch was interpreted, we list all transaction alongside their results. The transactions are marked as (unknown, unknown) transaction but we try to replace as much as we can the indexes by their values.
*)
| Failing_batch of {
1. transactions : (Tezos_protocol_015_PtLimaPt.Protocol.Indexable.unknown, Tezos_protocol_015_PtLimaPt.Protocol.Indexable.unknown) Tezos_protocol_015_PtLimaPt.Protocol.Tx_rollup_l2_batch.V1.transaction list;
2. reasons : Tezos_base.TzPervasives.tztrace;
3. aggregated_signature : Tezos_protocol_015_PtLimaPt.Protocol.Tx_rollup_l2_batch.V1.signature;
}
(*
The batch was discarded, it could not be interpreted with the l2-apply because of tztrace.
*)
| Unparsable_batch of string
(*
The batch is unparsable.
*)

type fancy_message = {

message : l2_message;
l2_context_hash : Inbox.l2_context_hash;

}

type inbox = fancy_message list

type t = inbox L2block.block

A fancy block is a classic block where the contents are reorganized.

val of_l2block : Context.t -> L2block.t -> t Lwt.t

of_l2block ctxt block uses the ctxt to transform a L2block.t to a t. It tries to replace the indexes in block when there are associated values in the ctxt.

val encoding : t Tezos_base.TzPervasives.Data_encoding.t

Encoding used for block RPCs.

package tezos-tx-rollup-015-PtLimaPt