package octez-libs

  1. Overview
  2. Docs
package octez-libs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Tezos_context_sigs.ContextSource

Sourcetype depth = [
  1. | `Eq of int
  2. | `Le of int
  3. | `Lt of int
  4. | `Ge of int
  5. | `Gt of int
]

The tree depth of a fold. See the fold function for more information.

Sourcemodule type VIEW = sig ... end
Sourcemodule Kind : sig ... end
Sourcemodule type TREE = sig ... end

Tree provides immutable, in-memory partial mirror of the context, with lazy reads and delayed writes. The trees are Merkle trees that carry the same hash as the part of the context they mirror.

Sourcemodule type HASH_VERSION = sig ... end
Sourcemodule Proof_types : sig ... end

Tezos-specific proof types, as opposed to proofs provided by Irmin. These types are used only by the light mode and it is recommended to avoid extending their usage: only the light mode should use them.

Sourcemodule type PROOF = sig ... end
Sourcemodule type PROOF_ENCODING = sig ... end
Sourcemodule type TEZOS_CONTEXT = sig ... end

TEZOS_CONTEXT is the module type implemented by all storage implementations. This is the module type that the shell expects for its operation. As such, it should be a strict superset of the interface exposed to the protocol (see module type S above and Tezos_protocol_environment.Environment_context_intf.S).

Sourcemodule type Storelike = sig ... end

Functor With_get_data adds a get_data function to modules of signature S. Note that the partially applied get_data kind key function has the correct type to be provided to produce_tree_proof and verify_tree_proof which is its intended goal.

Sourceval current_data_key : string list
Sourceval data_key : string list -> string list
Sourcemodule With_get_data (Store : Storelike) : sig ... end
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