package tezos-protocol-013-PtJakart

  1. Overview
  2. Docs
package tezos-protocol-013-PtJakart
Legend:
Library
Module
Module type
Parameter
Class
Class type
include Tx_rollup_l2_storage_sig.STORAGE with type t = Tezos_protocol_environment_013_PtJakart.Context.tree and type 'a m = ('a, Tezos_protocol_environment_013_PtJakart.Error_monad.error) Tezos_protocol_environment_013_PtJakart.Pervasives.result Tezos_protocol_environment_013_PtJakart.Lwt.t

The state of the storage.

The API adopts a functional paradigm, where the set function returns a new state for the storage, and where it should be possible to reuse a previous state.

The monad of the storage backend.

module Syntax : sig ... end

The necessary monadic operators the monad of the storage backend is required to provide.

val get : t -> bytes -> bytes option m

get storage key returns the value stored in storage for key, if it exists. Returns None if it does not.

val set : t -> bytes -> bytes -> t m

set storage key computes a new state for the storage wherein the value associated to key is value.

storage is expected to remain usable and consistent even after the execution of set.

val remove : t -> bytes -> t m

remove storage key removes key from the storage.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct