package tezos-context

You can search for identifiers within the package.

in-package search v0.2.0

tezos-context
- Tezos_context
tezos-context.disk
- Tezos_context_disk
  - Context
    
    Checks
    
    Index
    
    Integrity_check
    
    Stat
    
    Pack
    
    Integrity_check
    
    Integrity_check_index
    
    Integrity_check_inodes
    
    Reconstruct_index
    
    Stat
    
    Stats_commit
    
    Proof
    
    Internal_for_tests
    
    Stream
    
    Tree
  - Context_binary
    
    Checks
    
    Index
    
    Integrity_check
    
    Stat
    
    Pack
    
    Integrity_check
    
    Integrity_check_index
    
    Integrity_check_inodes
    
    Reconstruct_index
    
    Stat
    
    Stats_commit
    
    Proof
    
    Internal_for_tests
    
    Stream
    
    Tree
tezos-context.dump
- Tezos_context_dump
  - Context_dump
    
    Make
    
    I
    
    Block_header
    
    Commit_hash
    
    Kinded_hash
    
    Snapshot
  - Context_dump_intf
    
    Context_dump
    
    Make
    
    I
    
    Block_header
    
    Commit_hash
    
    Kinded_hash
    
    Snapshot
    
    Dump_interface
    
    Block_header
    
    Commit_hash
    
    Kinded_hash
    
    Snapshot
    
    Kinded_hash
    
    S
tezos-context.encoding
- Tezos_context_encoding
  - Context
    
    Hash
  - Context_binary
    
    Conf
tezos-context.helpers
- Tezos_context_helpers
  - Context
    
    Make_config
    
    Make_proof
    
    Proof
    
    Make_tree
  - Env
tezos-context.memory
- Tezos_context_memory
  - Context
    
    Proof
    
    Internal_for_tests
    
    Stream
    
    Tree
  - Context_binary
    
    Proof
    
    Internal_for_tests
    
    Stream
    
    Tree
tezos-context.merkle_proof_encoding
- Tezos_context_merkle_proof_encoding
  - Merkle_proof_encoding
    
    V1
    
    Tree2
    
    Tree32
    
    V2
    
    Tree2
    
    Tree32
tezos-context.sigs
- Tezos_context_sigs
  - Config
  - Context
    
    HASH_VERSION
    
    Kind
    
    PROOF
    
    PROOF_ENCODING
    
    Proof_types
    
    Internal_for_tests
    
    Stream
    
    Storelike
    
    TEZOS_CONTEXT
    
    Proof
    
    Tree
    
    TREE
    
    VIEW
    
    With_get_data
    
    Store

Legend:
Library
Module
Module type
Parameter
Class
Class type

type depth = [

| `Eq of int
| `Le of int
| `Lt of int
| `Ge of int
| `Gt of int

]

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

module type VIEW = sig ... end

module Kind : sig ... end

module 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.

module type HASH_VERSION = sig ... end

module 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.

module type PROOF = sig ... end

module type PROOF_ENCODING = sig ... end

module 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).

module 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,verify_tree_proof, which is its intended goal.

val current_data_key : string list

val data_key : string list -> string list

module With_get_data (Store : Storelike) : sig ... end