package tezos-tx-rollup-015-PtLimaPt

  1. Overview
  2. Docs
package tezos-tx-rollup-015-PtLimaPt
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Tezos_tx_rollup_015_PtLimaPt.Fancy_l2blockSource

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.

Sourcetype l2_message =
  1. | 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.

    *)
  2. | 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.

    *)
  3. | 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.

    *)
  4. | 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.

    *)
  5. | Unparsable_batch of string
    (*

    The batch is unparsable.

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

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

Sourceval 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.

Sourceval encoding : t Tezos_base.TzPervasives.Data_encoding.t

Encoding used for block RPCs.