package octez-libs

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

Module Tezos_context_memory.MakeSource

Parameters

Signature

include sig ... end
Sourcetype tree
Sourcetype index
Sourcetype t
Sourcetype key = string list
Sourcetype value = bytes
Sourceval mem : t -> key -> bool Lwt.t
Sourceval mem_tree : t -> key -> bool Lwt.t
Sourceval find : t -> key -> value option Lwt.t
Sourceval find_tree : t -> key -> tree option Lwt.t
Sourceval list : t -> ?offset:int -> ?length:int -> key -> (string * tree) list Lwt.t
Sourceval length : t -> key -> int Lwt.t
Sourceval add : t -> key -> value -> t Lwt.t
Sourceval add_tree : t -> key -> tree -> t Lwt.t
Sourceval remove : t -> key -> t Lwt.t
Sourceval fold : ?depth:[ `Eq of int | `Le of int | `Lt of int | `Ge of int | `Gt of int ] -> t -> key -> order:[ `Sorted | `Undefined ] -> init:'a -> f:(key -> tree -> 'a -> 'a Lwt.t) -> 'a Lwt.t
module Proof : sig ... end
Sourcetype kinded_key = [
  1. | `Node of node_key
  2. | `Value of value_key
]
Sourcemodule Tree : sig ... end
Sourceval produce_tree_proof : index -> kinded_key -> (tree -> (tree * 'a) Lwt.t) -> (Proof.tree Proof.t * 'a) Lwt.t
val verify_tree_proof : Proof.tree Proof.t -> (tree -> (tree * 'a) Lwt.t) -> (tree * 'a, [ `Proof_mismatch of string | `Stream_too_long of string | `Stream_too_short of string ]) Stdlib.result Lwt.t
Sourceval produce_stream_proof : index -> kinded_key -> (tree -> (tree * 'a) Lwt.t) -> (Proof.stream Proof.t * 'a) Lwt.t
val verify_stream_proof : Proof.stream Proof.t -> (tree -> (tree * 'a) Lwt.t) -> (tree * 'a, [ `Proof_mismatch of string | `Stream_too_long of string | `Stream_too_short of string ]) Stdlib.result Lwt.t
Sourcetype context = t
Sourceval index : context -> index
Sourceval init : ?patch_context:(context -> context Tezos_base.TzPervasives.tzresult Lwt.t) -> ?readonly:bool -> ?index_log_size:int -> string -> index Lwt.t
Sourceval close : index -> unit Lwt.t
Sourceval empty : index -> t
Sourceval is_empty : t -> bool
Sourceval to_memory_tree : t -> string list -> tree option Lwt.t
Sourceval merkle_tree : t -> Tezos_context_sigs__Context.Proof_types.merkle_leaf_kind -> key -> Tezos_context_sigs__Context.Proof_types.merkle_node Tezos_base.TzPervasives.String.Map.t Lwt.t
Sourceval merkle_tree_v2 : t -> Tezos_context_sigs__Context.Proof_types.merkle_leaf_kind -> key -> Proof.tree Proof.t Lwt.t
Sourceval wait_gc_completion : index -> unit Lwt.t
Sourceval sync : index -> unit Lwt.t
Sourceval is_gc_allowed : index -> bool
Sourceval split : index -> unit Lwt.t
Sourceval export_snapshot : index -> Tezos_base.TzPervasives.Context_hash.t -> path:string -> unit Lwt.t
Sourceval set_master : index -> Tezos_base.TzPervasives.Context_hash.t -> unit Lwt.t
Sourceval remove_test_chain : context -> context Lwt.t
Sourceval clear_test_chain : index -> Tezos_base.TzPervasives.Chain_id.t -> unit Lwt.t
Sourceval find_predecessor_block_metadata_hash : context -> Tezos_base.TzPervasives.Block_metadata_hash.t option Lwt.t
Sourceval add_predecessor_block_metadata_hash : context -> Tezos_base.TzPervasives.Block_metadata_hash.t -> context Lwt.t
Sourceval find_predecessor_ops_metadata_hash : context -> Tezos_base.TzPervasives.Operation_metadata_list_list_hash.t option Lwt.t
Sourceval add_predecessor_ops_metadata_hash : context -> Tezos_base.TzPervasives.Operation_metadata_list_list_hash.t -> context Lwt.t
Sourceexception Context_dangling_hash of string
Sourceval encoding : t Tezos_base.TzPervasives.Data_encoding.t
Sourceval make_empty_context : ?root:string -> unit -> t
Sourceval make_empty_tree : unit -> tree
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