Module Tezos_tx_rollup_015_PtLimaPt.InboxSource

A non-compact representation of inboxes that represents complete messages and not their hashes.

Sourcetype message_result =
  1. | Interpreted of Tezos_protocol_015_PtLimaPt.Protocol.Tx_rollup_l2_apply.Message_result.t
    (*

    The message was interpreted by the rollup node but may have failed

    *)
  2. | Discarded of Tezos_base.TzPervasives.tztrace
    (*

    The message was discarded because it could not be interpreted

    *)

Result of application of an inbox message

Sourcetype l2_context_hash = {
  1. irmin_hash : Tezos_protocol_015_PtLimaPt.Protocol.Tx_rollup_l2_context_hash.t;
    (*

    The context hash of the commited context, used for checkout

    *)
  2. tree_hash : Tezos_base.TzPervasives.Context_hash.t;
    (*

    The tree hash is the hash of the underlying tree in the Context, used to produce proofs

    *)
}
Sourcetype message = {
  1. message : Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Tx_rollup_message.t;
  2. result : message_result;
  3. l2_context_hash : l2_context_hash;
}

Type of inbox message with the context hash resulting from the application of the message

Sourcetype t = message list

The type representing an inbox whose contents are the messages and not the hashed messages.

Sourceval l2_context_hash_encoding : l2_context_hash Tezos_base.TzPervasives.Data_encoding.t

Encoding for l2 context hashes

Sourceval message_encoding : message Tezos_base.TzPervasives.Data_encoding.t

Encoding for inbox messages

Sourceval encoding : t Tezos_base.TzPervasives.Data_encoding.t

Encoding for inboxes

Sourceval merkle_root : t -> Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Tx_rollup_inbox.Merkle.root

Returns the Merkle root of the (contents of the) inbox.

Sourceval to_proto : t -> Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Tx_rollup_inbox.t

Returns the protocol inbox from an L2 inbox. The protocol inbox corresponds to the structure that is stored on L1, i.e. an inbox with Merklized contents.

Sourceval proto_message_results : t -> Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Tx_rollup_message_result.t list

Return protocol message results for an inbox