Module Tezos_context_ops.Context_opsSource

Sourcemodule Environment_context = Tezos_protocol_environment.Context
Sourceval err_implementation_mismatch : expected:string -> got:string -> 'a
Sourcetype index =
  1. | Disk_index of Tezos_context.Context.index
  2. | Memory_index of Tezos_context_memory.Context.index

Values of type index are used to checkout contexts specified by their hash.

Sourceval mem : Environment_context.t -> Tezos_context.Context.key -> bool Lwt.t
Sourceval mem_tree : Environment_context.t -> Tezos_context.Context.key -> bool Lwt.t
Sourceval find : Environment_context.t -> Tezos_context.Context.key -> Tezos_context.Context.value option Lwt.t
Sourceval add : Environment_context.t -> Tezos_context.Context.key -> Tezos_context.Context.value -> Tezos_protocol_environment.Context.t Lwt.t
Sourceval fold_value : ?depth:Tezos_context_sigs__Context.depth -> Environment_context.t -> Tezos_context.Context.key -> order:[ `Sorted | `Undefined ] -> init:'a -> f: (Tezos_context.Context.key -> (unit -> Tezos_context_disk.Context.value option Lwt.t) -> 'a -> 'a Lwt.t) -> 'a Lwt.t
Sourceval add_protocol : Environment_context.t -> Tezos_base.TzPervasives.Protocol_hash.t -> Tezos_protocol_environment.Context.t Lwt.t
Sourceval get_protocol : Environment_context.t -> Tezos_base.TzPervasives.Protocol_hash.t Lwt.t
Sourceval add_predecessor_block_metadata_hash : Environment_context.t -> Tezos_base.TzPervasives.Block_metadata_hash.t -> Tezos_protocol_environment.Context.t Lwt.t
Sourceval add_predecessor_ops_metadata_hash : Environment_context.t -> Tezos_base.TzPervasives.Operation_metadata_list_list_hash.t -> Tezos_protocol_environment.Context.t Lwt.t
Sourceval hash : time:Tezos_base.TzPervasives.Time.Protocol.t -> ?message:string -> Environment_context.t -> Tezos_base.TzPervasives.Context_hash.t
Sourceval fork_test_chain : Environment_context.t -> protocol:Tezos_base.TzPervasives.Protocol_hash.t -> expiration:Tezos_base.TzPervasives.Time.Protocol.t -> Tezos_protocol_environment.Context.t Lwt.t
Sourceval commit : time:Tezos_base.TzPervasives.Time.Protocol.t -> ?message:string -> Environment_context.t -> 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
Sourceval sync : index -> unit Lwt.t
Sourceval compute_testchain_genesis : Environment_context.t -> Tezos_base.TzPervasives.Block_hash.t -> Tezos_base.TzPervasives.Block_hash.t
Sourceval merkle_tree : Environment_context.t -> Tezos_context_sigs__Context.Proof_types.merkle_leaf_kind -> Tezos_context.Context.key -> Tezos_context_sigs__Context.Proof_types.merkle_tree Lwt.t
Sourceval merkle_tree_v2 : Environment_context.t -> Tezos_context_sigs__Context.Proof_types.merkle_leaf_kind -> Tezos_context.Context.key -> Tezos_context.Context.Proof.tree Tezos_context.Context.Proof.t Lwt.t
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 checkout : index -> Tezos_base.TzPervasives.Context_hash.t -> Tezos_protocol_environment.Context.t option Lwt.t
Sourceval checkout_exn : index -> Tezos_base.TzPervasives.Context_hash.t -> Tezos_protocol_environment.Context.t Lwt.t
Sourceval exists : index -> Tezos_base.TzPervasives.Context_hash.t -> bool Lwt.t
Sourceval close : index -> unit Lwt.t