package tezos-protocol-alpha

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Type-Safe Storage Access and Gas Accounting
Errors
The Context Functor

tezos-protocol-alpha

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Tezos_raw_protocol_alpha.Tx_rollup_l2_context`Source

Source

val metadata_encoding : 
  Tx_rollup_l2_context_sig.metadata
    Tezos_protocol_environment_alpha.Data_encoding.encoding

Type-Safe Storage Access and Gas Accounting

Sourcetype _ 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).

Sourcetype packed_key =

| Key : 'a key -> packed_key

A monomorphic version of Key, used for serialization purposes.

Source

val packed_key_encoding : 
  packed_key Tezos_protocol_environment_alpha.Data_encoding.t

The encoding used to serialize keys to be used with an untyped storage.

Source

val value_encoding : 
  'a. 'a key ->
  'a Tezos_protocol_environment_alpha.Data_encoding.t

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

Sourcetype Tezos_protocol_environment_alpha.Error_monad.error +=

| Key_cannot_be_serialized

Sourcetype Tezos_protocol_environment_alpha.Error_monad.error +=

| Value_cannot_be_serialized

Sourcetype Tezos_protocol_environment_alpha.Error_monad.error +=

| Value_cannot_be_deserialized

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

package tezos-protocol-alpha

Module Tezos_raw_protocol_alpha.Tx_rollup_l2_contextSource

Type-Safe Storage Access and Gas Accounting

Errors

The Context Functor

Module `Tezos_raw_protocol_alpha.Tx_rollup_l2_context`Source