package tezos-protocol-013-PtJakart
Tezos/Protocol: economic-protocol definition
Install
Dune Dependency
Authors
Maintainers
Sources
tezos-16.0.tar.gz
sha256=ad9e08819871c75ba6f4530b125f7d157799398e4d77a1e6bfea9d91ff37ff55
sha512=c5dc4d40cc09bc6980fbbdb5c2e105bf4252cf9cfcb2b49660b0ebe4dc789f6709ec3b3bf2f87d81580d3eed9521eeb1c960f24d9b14eb0285aaba1f84d10a9b
doc/tezos-protocol-013-PtJakart.raw/Tezos_raw_protocol_013_PtJakart/Tx_rollup_l2_context/index.html
Module Tezos_raw_protocol_013_PtJakart.Tx_rollup_l2_contextSource
Type-Safe Storage Access and Gas Accounting
Source
type _ key = | Address_metadata : Tx_rollup_l2_context_sig.address_index -> Tx_rollup_l2_context_sig.metadata key| Address_count : int32 key| Address_index : Tx_rollup_l2_address.t -> Tx_rollup_l2_context_sig.address_index key| Ticket_count : int32 key| Ticket_index : Alpha_context.Ticket_hash.t -> Tx_rollup_l2_context_sig.ticket_index key| Ticket_ledger : Tx_rollup_l2_context_sig.ticket_index * Tx_rollup_l2_context_sig.address_index -> Tx_rollup_l2_qty.t key
A value of type 'a key identifies a value of type 'a in an underlying, untyped storage.
This GADT is used to enforce type-safety of the abstraction of the transactions rollup context. For this abstraction to work, it is necessary to ensure that the serialization of values 'a key and 'b key cannot collide. To that end, we use Data_encoding (see packed_key_encoding).
A monomorphic version of Key, used for serialization purposes.
The encoding used to serialize keys to be used with an untyped storage.
value_encoding key returns the encoding to be used to serialize and deserialize values associated to a key from and to the underlying storage.
Errors
The Context Functor
Source
module Make
(S : Tx_rollup_l2_storage_sig.STORAGE) :
Tx_rollup_l2_context_sig.CONTEXT with type t = S.t and type 'a m = 'a S.m