package tezos-context

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

tezos-context
- Tezos_context
  - Context
    
    Block_data_legacy
    
    Protocol_data_legacy
    
    Pruned_block_legacy
    
    S
    
    Tree
    
    Tree
  - Context_dump
    
    Make
    
    I
    
    Block_header
    
    Commit_hash
    
    Make_legacy
    
    I
    
    Block_data
    
    Block_header
    
    Commit_hash
    
    Protocol_data
    
    Pruned_block
  - Context_dump_intf
    
    Context_dump
    
    Make
    
    I
    
    Block_header
    
    Commit_hash
    
    Context_dump_legacy
    
    Make_legacy
    
    I
    
    Block_data
    
    Block_header
    
    Commit_hash
    
    Protocol_data
    
    Pruned_block
    
    Dump_interface
    
    Block_header
    
    Commit_hash
    
    Dump_interface_legacy
    
    Block_data
    
    Block_header
    
    Commit_hash
    
    Protocol_data
    
    Pruned_block
    
    S
    
    S_legacy
tezos-context.encoding
- Tezos_context_encoding
  - Context
    
    Conf
    
    Hash
tezos-context.helpers
- Tezos_context_helpers
  - Context
    
    Make_tree
tezos-context.memory
- Tezos_context_memory
  - Context
    
    Tree
tezos-context.sigs
- Tezos_context_sigs
  - Context
    
    S
    
    Tree
    
    TREE
    
    VIEW

Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module DB : DB

Signature

include Tezos_context_sigs.Context.TREE
  with type t := DB.t
   and type key := DB.key
   and type value := DB.contents
   and type tree := DB.tree

include Tezos_context_sigs.Context.VIEW
  with type t := DB.tree
   and type tree := DB.tree
  with type key := DB.key
  with type value := DB.contents

Getters

val mem : DB.tree -> DB.key -> bool Lwt.t

mem t k is an Lwt promise that resolves to true iff k is bound to a value in t.

val mem_tree : DB.tree -> DB.key -> bool Lwt.t

mem_tree t k is like mem but for trees.

val find : DB.tree -> DB.key -> DB.contents option Lwt.t

find t k is an Lwt promise that resolves to Some v if k is bound to the value v in t and None otherwise.

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

find_tree t k is like find but for trees.

val list : 
  DB.tree ->
  ?offset:int ->
  ?length:int ->
  DB.key ->
  (string * DB.tree) list Lwt.t

list t key is the list of files and sub-nodes stored under k in t. The result order is not specified but is stable.

offset and length are used for pagination.

Setters

val add : DB.tree -> DB.key -> DB.contents -> DB.tree Lwt.t

add t k v is an Lwt promise that resolves to c such that:

k is bound to v in c;
and c is similar to t otherwise.

If k was already bound in t to a value that is physically equal to v, the result of the function is a promise that resolves to t. Otherwise, the previous binding of k in t disappears.

val add_tree : DB.tree -> DB.key -> DB.tree -> DB.tree Lwt.t

add_tree is like add but for trees.

val remove : DB.tree -> DB.key -> DB.tree Lwt.t

remove t k v is an Lwt promise that resolves to c such that:

k is unbound in c;
and c is similar to t otherwise.

Folding

val fold : 
  ?depth:[ `Eq of int | `Le of int | `Lt of int | `Ge of int | `Gt of int ] ->
  DB.tree ->
  DB.key ->
  init:'a ->
  f:(DB.key -> DB.tree -> 'a -> 'a Lwt.t) ->
  'a Lwt.t

fold ?depth t root ~init ~f recursively folds over the trees and values of t. The f callbacks are called with a key relative to root. f is never called with an empty key for values; i.e., folding over a value is a no-op.

Elements are traversed in lexical order of keys.

The depth is 0-indexed. If depth is set (by default it is not), then f is only called when the conditions described by the parameter is true:

Eq d folds over nodes and contents of depth exactly d.
Lt d folds over nodes and contents of depth strictly less than d.
Le d folds over nodes and contents of depth less than or equal to d.
Gt d folds over nodes and contents of depth strictly more than d.
Ge d folds over nodes and contents of depth more than or equal to d.

val is_empty : DB.tree -> bool

is_empty t is true iff t is empty _.

val kind : DB.tree -> [ `Value | `Tree ]

kind t is t's kind. It's either a tree node or a leaf value.

val to_value : DB.tree -> DB.contents option Lwt.t

to_value t is an Lwt promise that resolves to Some v if t is a leaf tree and None otherwise. It is equivalent to find t [].

val hash : DB.tree -> Tezos_base__TzPervasives.Context_hash.t

hash t is t's Merkle hash.

val equal : DB.tree -> DB.tree -> bool

equal x y is true iff x and y have the same Merkle hash.

Caches

val clear : ?depth:int -> DB.tree -> unit

clear ?depth t clears all caches in the tree t for subtrees with a depth higher than depth. If depth is not set, all of the subtrees are cleared.

val pp : Stdlib.Format.formatter -> DB.tree -> unit

val empty : _ -> DB.tree

val of_value : _ -> DB.contents -> DB.tree Lwt.t

type raw = [

| `Value of DB.contents
| `Tree of raw Tezos_stdlib.TzString.Map.t

]

val raw_encoding : raw Tezos_base__TzPervasives.Data_encoding.t

val to_raw : DB.tree -> raw Lwt.t

val of_raw : raw -> DB.tree

type kinded_hash := [

| `Contents of Tezos_base__TzPervasives.Context_hash.t
| `Node of Tezos_base__TzPervasives.Context_hash.t

]

type repo = DB.repo

val make_repo : unit -> DB.repo Lwt.t

val shallow : DB.repo -> kinded_hash -> DB.tree