package tezos-protocol-017-PtNairob
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680
sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc
doc/tezos-protocol-017-PtNairob.raw/Tezos_raw_protocol_017_PtNairob/Storage/Slashed_deposits/index.html
Module Storage.Slashed_depositsSource
Set used to avoid slashing multiple times the same event
include Storage_sigs.Non_iterable_indexed_data_storage
with type t := Raw_context.t * Cycle_repr.t
with type key =
Raw_level_repr.t
* Tezos_protocol_environment_017_PtNairob.Signature.Public_key_hash.t
with type value = slashed_level
type key =
Raw_level_repr.t
* Tezos_protocol_environment_017_PtNairob.Signature.Public_key_hash.tAn abstract type for keys
The type of values
Tells if a given key is already bound to a storage bucket
val get :
context ->
key ->
value Tezos_protocol_environment_017_PtNairob.Error_monad.tzresult
Tezos_protocol_environment_017_PtNairob.Lwt.tRetrieve a value from the storage bucket at a given key ; returns Storage_errorMissing_key if the key is not set ; returns Storage_errorCorrupted_data if the deserialisation fails.
val find :
context ->
key ->
value option Tezos_protocol_environment_017_PtNairob.Error_monad.tzresult
Tezos_protocol_environment_017_PtNairob.Lwt.tRetrieve a value from the storage bucket at a given key ; returns None if the value is not set ; returns Storage_error
Corrupted_data if the deserialisation fails.
val update :
context ->
key ->
value ->
Raw_context.t Tezos_protocol_environment_017_PtNairob.Error_monad.tzresult
Tezos_protocol_environment_017_PtNairob.Lwt.tUpdates the content of a bucket ; returns A Storage_Error
Missing_key if the value does not exists.
val init :
context ->
key ->
value ->
Raw_context.t Tezos_protocol_environment_017_PtNairob.Error_monad.tzresult
Tezos_protocol_environment_017_PtNairob.Lwt.tAllocates a storage bucket at the given key and initializes it ; returns a Storage_errorExisting_key if the bucket exists.
val add :
context ->
key ->
value ->
Raw_context.t Tezos_protocol_environment_017_PtNairob.Lwt.tAllocates a storage bucket at the given key and initializes it with a value ; just updates it if the bucket exists.
val add_or_remove :
context ->
key ->
value option ->
Raw_context.t Tezos_protocol_environment_017_PtNairob.Lwt.tWhen the value is Some v, allocates the data and initializes it with v ; just updates it if the bucket exists. When the value is None, delete the storage bucket when the value ; does nothing if the bucket does not exists.
val remove_existing :
context ->
key ->
Raw_context.t Tezos_protocol_environment_017_PtNairob.Error_monad.tzresult
Tezos_protocol_environment_017_PtNairob.Lwt.tDelete a storage bucket and its contents ; returns a Storage_errorMissing_key if the bucket does not exists.
Removes a storage bucket and its contents ; does nothing if the bucket does not exists.
Empties all the keys and associated data.
Lists all the keys.
Lists all the keys and associated data.
val fold :
context ->
order:[ `Sorted | `Undefined ] ->
init:'a ->
f:(key -> value -> 'a -> 'a Tezos_protocol_environment_017_PtNairob.Lwt.t) ->
'a Tezos_protocol_environment_017_PtNairob.Lwt.tIterates over all the keys and associated data.
val fold_keys :
context ->
order:[ `Sorted | `Undefined ] ->
init:'a ->
f:(key -> 'a -> 'a Tezos_protocol_environment_017_PtNairob.Lwt.t) ->
'a Tezos_protocol_environment_017_PtNairob.Lwt.tIterate over all the keys.
Returns true iff context is empty.