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
    
    Conf
    
    Hash
    
    Schema
    
    Branch
    
    Commit
    
    Commit_key
    
    Node_key
    
    Contents
    
    Hash
    
    Metadata
    
    Node
    
    Contents_key
    
    Metadata
    
    Node_key
    
    Path
  - Context_binary
    
    Conf
tezos-context.helpers
- Tezos_context_helpers
  - Context
    
    DB
    
    Backend
    
    Branch
    
    Key
    
    Val
    
    Commit
    
    Hash
    
    Key
    
    Node
    
    Contents
    
    Hash
    
    Key
    
    Val
    
    Hash
    
    Key
    
    Metadata
    
    Path
    
    Val
    
    Metadata
    
    Val
    
    Contents
    
    Hash
    
    Key
    
    Val
    
    Node
    
    Contents
    
    Hash
    
    Key
    
    Val
    
    Hash
    
    Key
    
    Val
    
    Metadata
    
    Remote
    
    Repo
    
    Slice
    
    Branch
    
    Commit
    
    Contents
    
    Hash
    
    Head
    
    Info
    
    Metadata
    
    Path
    
    Repo
    
    Status
    
    Tree
    
    Contents
    
    Private
    
    Env
    
    Proof
    
    Make_config
    
    Conf
    
    Make_proof
    
    DB
    
    Backend
    
    Branch
    
    Key
    
    Val
    
    Commit
    
    Hash
    
    Key
    
    Node
    
    Contents
    
    Hash
    
    Key
    
    Val
    
    Hash
    
    Key
    
    Metadata
    
    Path
    
    Val
    
    Metadata
    
    Val
    
    Contents
    
    Hash
    
    Key
    
    Val
    
    Node
    
    Contents
    
    Hash
    
    Key
    
    Val
    
    Hash
    
    Key
    
    Val
    
    Metadata
    
    Remote
    
    Repo
    
    Slice
    
    Branch
    
    Commit
    
    Contents
    
    Hash
    
    Head
    
    Info
    
    Metadata
    
    Path
    
    Repo
    
    Status
    
    Tree
    
    Contents
    
    Private
    
    Env
    
    Proof
    
    Proof
    
    Store_conf
    
    Make_tree
    
    Conf
    
    DB
    
    Backend
    
    Branch
    
    Key
    
    Val
    
    Commit
    
    Hash
    
    Key
    
    Node
    
    Contents
    
    Hash
    
    Key
    
    Val
    
    Hash
    
    Key
    
    Metadata
    
    Path
    
    Val
    
    Metadata
    
    Val
    
    Contents
    
    Hash
    
    Key
    
    Val
    
    Node
    
    Contents
    
    Hash
    
    Key
    
    Val
    
    Hash
    
    Key
    
    Val
    
    Metadata
    
    Remote
    
    Repo
    
    Slice
    
    Branch
    
    Commit
    
    Contents
    
    Hash
    
    Head
    
    Info
    
    Metadata
    
    Path
    
    Repo
    
    Status
    
    Tree
    
    Contents
    
    Private
    
    Env
    
    Proof
  - 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

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.

type key = string list

type tree

type value

val find : tree -> key -> value option Lwt.t

val find_tree : tree -> key -> tree option Lwt.t

val unshallow : tree -> tree Lwt.t