Tezos_context_disk.Context
The context of a tezos node. Persisted to disk.
val equal_config :
Tezos_context_sigs.Config.t ->
Tezos_context_sigs.Config.t ->
bool
val config : t -> Tezos_context_sigs.Config.t
module Proof : sig ... end
module Tree : sig ... end
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
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
type context = t
val init :
?patch_context:(context -> context Tezos_base.TzPervasives.tzresult Lwt.t) ->
?readonly:bool ->
?index_log_size:int ->
string ->
index Lwt.t
val close : index -> unit Lwt.t
val compute_testchain_chain_id :
Tezos_base.TzPervasives.Block_hash.t ->
Tezos_base.TzPervasives.Chain_id.t
val compute_testchain_genesis :
Tezos_base.TzPervasives.Block_hash.t ->
Tezos_base.TzPervasives.Block_hash.t
val is_empty : t -> bool
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
val commit_test_chain_genesis :
context ->
Tezos_base.TzPervasives.Block_header.t ->
Tezos_base.TzPervasives.Block_header.t Lwt.t
val to_memory_tree :
t ->
string list ->
Tezos_context_memory.Context.tree option Lwt.t
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
val merkle_tree_v2 :
t ->
Tezos_context_sigs__Context.Proof_types.merkle_leaf_kind ->
key ->
Proof.tree Proof.t Lwt.t
val exists : index -> Tezos_base.TzPervasives.Context_hash.t -> bool Lwt.t
val checkout :
index ->
Tezos_base.TzPervasives.Context_hash.t ->
context option Lwt.t
val checkout_exn :
index ->
Tezos_base.TzPervasives.Context_hash.t ->
context Lwt.t
val hash :
time:Tezos_base.TzPervasives.Time.Protocol.t ->
?message:string ->
t ->
Tezos_base.TzPervasives.Context_hash.t
val commit :
time:Tezos_base.TzPervasives.Time.Protocol.t ->
?message:string ->
context ->
Tezos_base.TzPervasives.Context_hash.t Lwt.t
val gc : index -> Tezos_base.TzPervasives.Context_hash.t -> unit Lwt.t
val wait_gc_completion : index -> unit Lwt.t
val is_gc_allowed : index -> bool
val split : index -> unit Lwt.t
val export_snapshot :
index ->
Tezos_base.TzPervasives.Context_hash.t ->
path:string ->
unit Lwt.t
val set_head :
index ->
Tezos_crypto.Hashed.Chain_id.t ->
Tezos_base.TzPervasives.Context_hash.t ->
unit Lwt.t
val set_master : index -> Tezos_base.TzPervasives.Context_hash.t -> unit Lwt.t
val get_hash_version :
context ->
Tezos_base.TzPervasives.Context_hash.Version.t
val set_hash_version :
context ->
Tezos_base.TzPervasives.Context_hash.Version.t ->
context Tezos_base.TzPervasives.tzresult Lwt.t
val get_protocol : context -> Tezos_base.TzPervasives.Protocol_hash.t Lwt.t
val add_protocol :
context ->
Tezos_base.TzPervasives.Protocol_hash.t ->
context Lwt.t
val get_test_chain :
context ->
Tezos_base.TzPervasives.Test_chain_status.t Lwt.t
val add_test_chain :
context ->
Tezos_base.TzPervasives.Test_chain_status.t ->
context Lwt.t
val fork_test_chain :
context ->
protocol:Tezos_base.TzPervasives.Protocol_hash.t ->
expiration:Tezos_base.TzPervasives.Time.Protocol.t ->
context Lwt.t
val clear_test_chain :
index ->
Tezos_base.TzPervasives.Chain_id.t ->
unit Lwt.t
val find_predecessor_block_metadata_hash :
context ->
Tezos_base.TzPervasives.Block_metadata_hash.t option Lwt.t
val add_predecessor_block_metadata_hash :
context ->
Tezos_base.TzPervasives.Block_metadata_hash.t ->
context Lwt.t
val find_predecessor_ops_metadata_hash :
context ->
Tezos_base.TzPervasives.Operation_metadata_list_list_hash.t option Lwt.t
val add_predecessor_ops_metadata_hash :
context ->
Tezos_base.TzPervasives.Operation_metadata_list_list_hash.t ->
context Lwt.t
val sync : index -> unit Lwt.t
module Checks : sig ... end