tezos-tx-rollup-013-PtJakart 14.0

An index store to map commitment hashes to their inclusion information.

type value = {

block : Tezos_crypto.Block_hash.t;
(*
Tezos block in which the commitment is included.
*)
operation : Tezos_crypto.Operation_hash.t;
(*
Operation of the block in which the commitment is included.
*)

}

include INDEXABLE_REMOVABLE_STORE
  with type key :=
         Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tx_rollup_commitment_hash.t
   and type value := value

include INDEXABLE_STORE
  with type key :=
         Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tx_rollup_commitment_hash.t
  with type value := value

type t

The type of store build in indexes

val mem : 
  t ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tx_rollup_commitment_hash.t ->
  bool Lwt.t

Returns true if the key has a value associated in the store.

val find : 
  t ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tx_rollup_commitment_hash.t ->
  value option Lwt.t

Returns the value associated to a key in the store, or None otherwise.

val add : 
  ?flush:bool ->
  t ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tx_rollup_commitment_hash.t ->
  value ->
  unit Lwt.t

Add an association from a key to a value in the store. If flush (default to true) is set, the index is written on disk right away.

val remove : 
  ?flush:bool ->
  t ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tx_rollup_commitment_hash.t ->
  unit Lwt.t

Removes an association from the store. Does nothing if the key was not registered.