Make_carbonated_data_set_storage (tezos-protocol-019-PtParisB.Tezos_raw_protocol_019_PtParisB.Storage_functors.Make_carbonated_data_set

Parameters

module C : Raw_context.T

module I : INDEX

Signature

type t = C.t

type context = t

type elt = I.t

The type of elements.

val is_empty : 
  context ->
  (Raw_context.t * bool)
    Tezos_protocol_environment_019_PtParisB.Error_monad.tzresult
    Tezos_protocol_environment_019_PtParisB.Lwt.t

Returns true if and only if the set contains no elements. Consumes Gas_repr.read_bytes_cost Z.zero.

val mem : 
  context ->
  elt ->
  (Raw_context.t * bool)
    Tezos_protocol_environment_019_PtParisB.Error_monad.tzresult
    Tezos_protocol_environment_019_PtParisB.Lwt.t

Tells whether an elt is a member of the set. Consumes Gas_repr.read_bytes_cost Z.zero

val init : 
  context ->
  elt ->
  (Raw_context.t * int)
    Tezos_protocol_environment_019_PtParisB.Error_monad.tzresult
    Tezos_protocol_environment_019_PtParisB.Lwt.t

Adds an elt as a member of the set. Consumes Gas_repr.write_bytes_cost <size of the new value>. Returns the new size.

val add : 
  context ->
  elt ->
  (Raw_context.t * int * bool)
    Tezos_protocol_environment_019_PtParisB.Error_monad.tzresult
    Tezos_protocol_environment_019_PtParisB.Lwt.t

Adds an elt as a member of the set. Consumes Gas_repr.write_bytes_cost <size of the new value>. Returns the new size, and true if the value previously existed.

val remove : 
  context ->
  elt ->
  (Raw_context.t * int * bool)
    Tezos_protocol_environment_019_PtParisB.Error_monad.tzresult
    Tezos_protocol_environment_019_PtParisB.Lwt.t

Removes an elt from the set ; does nothing if not a member. Consumes Gas_repr.write_bytes_cost Z.zero. Returns the freed size, and a boolean indicating if a value was already associated to this key.

val clear : 
  context ->
  Raw_context.t Tezos_protocol_environment_019_PtParisB.Error_monad.tzresult
    Tezos_protocol_environment_019_PtParisB.Lwt.t

Removes all elt from the set. Consumes Gas_repr.write_bytes_cost Z.zero.

This function does not returns the freed size. This is because it would need to fold over all keys or add a size accumulator and no usage exists so far.

val fold_keys_unaccounted : 
  context ->
  order:[ `Sorted | `Undefined ] ->
  init:'acc ->
  f:(elt -> 'acc -> 'acc Tezos_protocol_environment_019_PtParisB.Lwt.t) ->
  'acc Tezos_protocol_environment_019_PtParisB.Lwt.t