Module `Tezos_context_disk.Context_binary`Source

Sourcetype Tezos_base.TzPervasives.error +=

| Cannot_create_file of string
| Cannot_open_file of string
| Cannot_find_protocol
| Suspicious_file of int

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

Sourcetype tree

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

Sourcetype value_key

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

Source

val to_memory_tree : 
  t ->
  string list ->
  Tezos_context_memory.Context.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 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

Sourceval sync : index -> unit Lwt.t

Sourceval flush : t -> t Lwt.t

Source

val restore_context : 
  index ->
  expected_context_hash:Tezos_base.TzPervasives.Context_hash.t ->
  nb_context_elements:int ->
  fd:Lwt_unix.file_descr ->
  in_memory:bool ->
  progress_display_mode:Tezos_stdlib_unix.Animation.progress_display_mode ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

Sourcemodule Checks : sig ... end

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos_context_disk/Tezos_context_disk/Context_binary/index.html

Module `Tezos_context_disk.Context_binary`Source

package octez-libs

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos_context_disk/Tezos_context_disk/Context_binary/index.html

Module Tezos_context_disk.Context_binarySource

Module `Tezos_context_disk.Context_binary`Source