Module Tezos_context_memory.ContextSource

Implementation of Tezos context fully in memory.

include Tezos_context_sigs.Context.S
include Tezos_context_sigs.Context.VIEW with type key = string list and type value = bytes
Sourcetype t

The type for context views.

Sourcetype key = string list

The type for context keys.

Sourcetype value = bytes

The type for context values.

Sourcetype tree

The type for context trees.

Getters

Sourceval mem : t -> key -> bool Lwt.t

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

Sourceval mem_tree : t -> key -> bool Lwt.t

mem_tree t k is like mem but for trees.

Sourceval find : t -> key -> value 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.

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

find_tree t k is like find but for trees.

Sourceval list : t -> ?offset:int -> ?length:int -> key -> (string * 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

Sourceval add : t -> key -> value -> t 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.

Sourceval add_tree : t -> key -> tree -> t Lwt.t

add_tree is like add but for trees.

Sourceval remove : t -> key -> t 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

Sourceval fold : ?depth:Tezos_context_sigs.Context.depth -> t -> key -> order:[ `Sorted | `Undefined ] -> init:'a -> f:(key -> tree -> 'a -> 'a Lwt.t) -> 'a Lwt.t

fold ?depth t root ~order ~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.

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.

If order is `Sorted (the default), the elements are traversed in lexicographic order of their keys. For large nodes, it is memory-consuming, use `Undefined for a more memory efficient fold.

Sourcemodule Tree : sig ... end
Sourcetype index
Sourceval index : t -> index
Sourceval exists : index -> Tezos_base__TzPervasives.Context_hash.t -> bool Lwt.t
Sourceval checkout : index -> Tezos_base__TzPervasives.Context_hash.t -> t option Lwt.t
Sourceval checkout_exn : index -> Tezos_base__TzPervasives.Context_hash.t -> t Lwt.t
Sourceval hash : time:Tezos_base.Time.Protocol.t -> ?message:string -> t -> Tezos_base__TzPervasives.Context_hash.t
Sourceval commit : time:Tezos_base.Time.Protocol.t -> ?message:string -> t -> Tezos_base__TzPervasives.Context_hash.t Lwt.t
Sourceval create : unit -> t
Sourceval empty : t
Sourceval encoding : t Tezos_base__TzPervasives.Data_encoding.t
Sourceval get_protocol : t -> Tezos_base__TzPervasives.Protocol_hash.t Lwt.t
Sourceval add_protocol : t -> Tezos_base__TzPervasives.Protocol_hash.t -> t Lwt.t
Sourceval get_hash_version : t -> Tezos_base__TzPervasives.Context_hash.Version.t

Get the hash version used for the context

Sourceval set_hash_version : t -> Tezos_base__TzPervasives.Context_hash.Version.t -> (t, Tezos_error_monad.TzCore.error list) result Lwt.t

Set the hash version used for the context. It may recalculate the hashes of the whole context, which can be a long process. Returns an Error if the hash version is unsupported.

Sourceexception Context_dangling_hash of string

Exception raised by find_tree and add_tree when applied to shallow trees. It is exposed so that it can be catched by the proxy where such operations on shallow trees are expected.

Sourceval add_predecessor_block_metadata_hash : t -> Tezos_base__TzPervasives.Block_metadata_hash.t -> t Lwt.t
Sourceval add_predecessor_ops_metadata_hash : t -> Tezos_base__TzPervasives.Operation_metadata_list_list_hash.t -> t Lwt.t
Sourceval get_test_chain : t -> Tezos_base.Test_chain_status.t Lwt.t
Sourceval add_test_chain : t -> Tezos_base.Test_chain_status.t -> t Lwt.t