Module `Tezos_context_memory.Context`Source

Variant of Tezos_context.Context purely in-memory.

Sourcetype tree

Sourcetype index

val equal_config : 
  Tezos_context_sigs.Config.t ->
  Tezos_context_sigs.Config.t ->
  bool

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

Source

val 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

val config : t -> Tezos_context_sigs.Config.t

module Proof : sig ... end

Sourcetype node_key = Tezos_base.TzPervasives.Context_hash.t

Sourcetype value_key = Tezos_base.TzPervasives.Context_hash.t

Sourcetype kinded_key = [

| `Node of node_key
| `Value of value_key

]

Sourcemodule Tree : sig ... end

Source

val 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

Source

val 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

Source

val 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

Source

val compute_testchain_chain_id : 
  Tezos_base.TzPervasives.Block_hash.t ->
  Tezos_base.TzPervasives.Chain_id.t

Source

val compute_testchain_genesis : 
  Tezos_base.TzPervasives.Block_hash.t ->
  Tezos_base.TzPervasives.Block_hash.t

Sourceval empty : index -> t

Sourceval is_empty : t -> bool

Source

val 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

Source

val commit_test_chain_genesis : 
  context ->
  Tezos_base.TzPervasives.Block_header.t ->
  Tezos_base.TzPervasives.Block_header.t Lwt.t

Sourceval to_memory_tree : t -> string list -> tree option Lwt.t

Source

val 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

Source

val 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

Source

val checkout : 
  index ->
  Tezos_base.TzPervasives.Context_hash.t ->
  context option Lwt.t

Source

val checkout_exn : 
  index ->
  Tezos_base.TzPervasives.Context_hash.t ->
  context Lwt.t

Source

val hash : 
  time:Tezos_base.TzPervasives.Time.Protocol.t ->
  ?message:string ->
  t ->
  Tezos_base.TzPervasives.Context_hash.t

Source

val 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

Source

val export_snapshot : 
  index ->
  Tezos_base.TzPervasives.Context_hash.t ->
  path:string ->
  unit Lwt.t

Source

val 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

Source

val get_hash_version : 
  context ->
  Tezos_base.TzPervasives.Context_hash.Version.t

Source

val 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

Source

val add_protocol : 
  context ->
  Tezos_base.TzPervasives.Protocol_hash.t ->
  context Lwt.t

Source

val get_test_chain : 
  context ->
  Tezos_base.TzPervasives.Test_chain_status.t Lwt.t

Source

val add_test_chain : 
  context ->
  Tezos_base.TzPervasives.Test_chain_status.t ->
  context Lwt.t

Sourceval remove_test_chain : context -> context Lwt.t

Source

val fork_test_chain : 
  context ->
  protocol:Tezos_base.TzPervasives.Protocol_hash.t ->
  expiration:Tezos_base.TzPervasives.Time.Protocol.t ->
  context Lwt.t

Source

val clear_test_chain : 
  index ->
  Tezos_base.TzPervasives.Chain_id.t ->
  unit Lwt.t

Source

val find_predecessor_block_metadata_hash : 
  context ->
  Tezos_base.TzPervasives.Block_metadata_hash.t option Lwt.t

Source

val add_predecessor_block_metadata_hash : 
  context ->
  Tezos_base.TzPervasives.Block_metadata_hash.t ->
  context Lwt.t

Source

val find_predecessor_ops_metadata_hash : 
  context ->
  Tezos_base.TzPervasives.Operation_metadata_list_list_hash.t option Lwt.t

Source

val 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

Install

dune-project
Dependency

Authors

Maintainers

Sources

doc/tezos_context_memory/Tezos_context_memory/Context/index.html

Module `Tezos_context_memory.Context`Source

package octez-libs

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/tezos_context_memory/Tezos_context_memory/Context/index.html

Module Tezos_context_memory.ContextSource

dune-project
Dependency

Module `Tezos_context_memory.Context`Source