1. Overview
  2. Docs
package tezos-tx-rollup-013-PtJakart
Legend:
Library
Module
Module type
Parameter
Class
Class type

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 =
  1. | Ok_deposit of Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tx_rollup_message.t * Tezos_protocol_013_PtJakart.Protocol.Tx_rollup_l2_apply.indexes
    (*

    The deposit was interpreted with no error, we display only the created indexes if any.

    *)
  2. | Failing_deposit of {
    1. message : Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tx_rollup_message.t;
    2. reason : Tezos_protocol_013_PtJakart.Environment.Error_monad.error;
    3. withdrawal : Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tx_rollup_withdraw.t;
    }
    (*

    The deposit failed with an error, it produced a withdraw.

    *)
  3. | Ok_batch of {
    1. transactions_and_results : ((Tezos_protocol_013_PtJakart.Protocol.Indexable.unknown, Tezos_protocol_013_PtJakart.Protocol.Indexable.unknown) Tezos_protocol_013_PtJakart.Protocol.Tx_rollup_l2_batch.V1.transaction * Tezos_protocol_013_PtJakart.Protocol.Tx_rollup_l2_apply.Message_result.transaction_result) list;
    2. withdrawals : Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tx_rollup_withdraw.t list;
    3. indexes : Tezos_protocol_013_PtJakart.Protocol.Tx_rollup_l2_apply.indexes;
    4. aggregated_signature : Tezos_protocol_013_PtJakart.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.

    *)
  4. | Failing_batch of {
    1. transactions : (Tezos_protocol_013_PtJakart.Protocol.Indexable.unknown, Tezos_protocol_013_PtJakart.Protocol.Indexable.unknown) Tezos_protocol_013_PtJakart.Protocol.Tx_rollup_l2_batch.V1.transaction list;
    2. reasons : Tezos_base.TzPervasives.tztrace;
    3. aggregated_signature : Tezos_protocol_013_PtJakart.Protocol.Tx_rollup_l2_batch.V1.signature;
    }
    (*

    The batch was discarded, it could not be interpreted with the l2-apply because of tztrace.

    *)
  5. | Unparsable_batch of string
    (*

    The batch is unparsable.

    *)
type fancy_message = {
  1. message : l2_message;
  2. l2_context_hash : Inbox.l2_context_hash;
}
type inbox = fancy_message list

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.

Encoding used for block RPCs.