Module `Tezos_context_ops.Context_ops`Source

Sourcemodule Environment_context = Tezos_protocol_environment.Context

Sourcemodule Memory_context = Tezos_protocol_environment.Memory_context

Sourceval err_implementation_mismatch : expected:string -> got:string -> 'a

Sourcetype index =

| Disk_index of Tezos_context.Context.index
| Memory_index of Tezos_context_memory.Context.index

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

Sourceval index : Environment_context.t -> index

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

Source

val find : 
  Environment_context.t ->
  Tezos_context.Context.key ->
  Tezos_context.Context.value option Lwt.t

Source

val add : 
  Environment_context.t ->
  Tezos_context.Context.key ->
  Tezos_context.Context.value ->
  Tezos_protocol_environment.Context.t Lwt.t

Source

val 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

Source

val add_protocol : 
  Environment_context.t ->
  Tezos_base.TzPervasives.Protocol_hash.t ->
  Tezos_protocol_environment.Context.t Lwt.t

Source

val get_protocol : 
  Environment_context.t ->
  Tezos_base.TzPervasives.Protocol_hash.t Lwt.t

Source

val add_predecessor_block_metadata_hash : 
  Environment_context.t ->
  Tezos_base.TzPervasives.Block_metadata_hash.t ->
  Tezos_protocol_environment.Context.t Lwt.t

Source

val add_predecessor_ops_metadata_hash : 
  Environment_context.t ->
  Tezos_base.TzPervasives.Operation_metadata_list_list_hash.t ->
  Tezos_protocol_environment.Context.t Lwt.t

Source

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

Source

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

Source

val add_test_chain : 
  Environment_context.t ->
  Tezos_base.TzPervasives.Test_chain_status.t ->
  Tezos_protocol_environment.Context.t Lwt.t

Source

val 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

Source

val 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

Source

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

Source

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

Source

val 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

Source

val 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

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 checkout : 
  index ->
  Tezos_base.TzPervasives.Context_hash.t ->
  Tezos_protocol_environment.Context.t option Lwt.t

Source

val 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

Install

Dune Dependency

Authors

Maintainers

Sources

doc/octez-shell-libs.context-ops/Tezos_context_ops/Context_ops/index.html

Module `Tezos_context_ops.Context_ops`Source

package octez-shell-libs

Install

Dune Dependency

Authors

Maintainers

Sources

doc/octez-shell-libs.context-ops/Tezos_context_ops/Context_ops/index.html

Module Tezos_context_ops.Context_opsSource

Module `Tezos_context_ops.Context_ops`Source