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
Sourcemodule Proof : sig ... end
Sourcetype node_key = Tezos_base.TzPervasives.Context_hash.t
Sourcetype value_key = Tezos_base.TzPervasives.Context_hash.t
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
Sourceval 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 ]) result Lwt.t
Sourceval produce_stream_proof : index -> kinded_key -> (tree -> (tree * 'a) Lwt.t) -> (Proof.stream Proof.t * 'a) Lwt.t
Sourceval 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 ]) 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 compute_testchain_chain_id : Tezos_base.TzPervasives.Block_hash.t -> Tezos_base.TzPervasives.Chain_id.t
Sourceval compute_testchain_genesis : Tezos_base.TzPervasives.Block_hash.t -> Tezos_base.TzPervasives.Block_hash.t
Sourceval empty : index -> t
Sourceval is_empty : t -> bool
Sourceval commit_genesis : index -> chain_id:Tezos_base.TzPervasives.Chain_id.t -> time:Tezos_base.TzPervasives.Time.Protocol.t -> protocol:Tezos_base.TzPervasives.Protocol_hash.t -> Tezos_base.TzPervasives.Context_hash.t Tezos_base.TzPervasives.tzresult Lwt.t
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 exists : index -> Tezos_base.TzPervasives.Context_hash.t -> bool Lwt.t
Sourceval checkout : index -> Tezos_base.TzPervasives.Context_hash.t -> context option Lwt.t
Sourceval checkout_exn : index -> Tezos_base.TzPervasives.Context_hash.t -> context Lwt.t
Sourceval hash : time:Tezos_base.TzPervasives.Time.Protocol.t -> ?message:string -> t -> Tezos_base.TzPervasives.Context_hash.t
Sourceval commit : time:Tezos_base.TzPervasives.Time.Protocol.t -> ?message:string -> context -> Tezos_base.TzPervasives.Context_hash.t Lwt.t
Sourceval gc : index -> Tezos_base.TzPervasives.Context_hash.t -> unit 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_head : index -> Tezos_crypto.Hashed.Chain_id.t -> Tezos_base.TzPervasives.Context_hash.t -> unit Lwt.t
Sourceval set_master : index -> Tezos_base.TzPervasives.Context_hash.t -> unit Lwt.t
Sourceval get_hash_version : context -> Tezos_base.TzPervasives.Context_hash.Version.t
Sourceval set_hash_version : context -> Tezos_base.TzPervasives.Context_hash.Version.t -> context Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval get_protocol : context -> Tezos_base.TzPervasives.Protocol_hash.t Lwt.t
Sourceval add_protocol : context -> Tezos_base.TzPervasives.Protocol_hash.t -> context Lwt.t
Sourceval remove_test_chain : context -> context Lwt.t
Sourceval fork_test_chain : context -> protocol:Tezos_base.TzPervasives.Protocol_hash.t -> expiration:Tezos_base.TzPervasives.Time.Protocol.t -> 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