package tezos-protocol-003-PsddFKi3
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=43723d096307603703a1a89ed1b2eb202b365f5e7824b96b0cbf813b343a6cf7
sha512=b2a637f2e965000d3d49ad85277ca24d6cb07a1a7cf2bc69d296d8b03ad78c3eaa8e21e94b9162e62c2e11649cd03bc845b2a3dafe623b91065df69d47dc8e4f
doc/tezos-protocol-003-PsddFKi3.raw/Tezos_raw_protocol_003_PsddFKi3/Storage/Seed/Nonce/index.html
Module Seed.NonceSource
Tells if a given key is already bound to a storage bucket
val get :
context ->
Level_repr.t ->
nonce_status Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult
Tezos_protocol_environment_003_PsddFKi3.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 get_option :
context ->
Level_repr.t ->
nonce_status option
Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult
Tezos_protocol_environment_003_PsddFKi3.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 set :
context ->
Level_repr.t ->
nonce_status ->
Raw_context.t Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult
Tezos_protocol_environment_003_PsddFKi3.Lwt.tUpdates the content of a bucket ; returns A Storage_Error
Missing_key if the value does not exists.
val init :
context ->
Level_repr.t ->
nonce_status ->
Raw_context.t Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult
Tezos_protocol_environment_003_PsddFKi3.Lwt.tAllocates a storage bucket at the given key and initializes it ; returns a Storage_errorExisting_key if the bucket exists.
val init_set :
context ->
Level_repr.t ->
nonce_status ->
Raw_context.t Tezos_protocol_environment_003_PsddFKi3.Lwt.tAllocates a storage bucket at the given key and initializes it with a value ; just updates it if the bucket exists.
val set_option :
context ->
Level_repr.t ->
nonce_status option ->
Raw_context.t Tezos_protocol_environment_003_PsddFKi3.Lwt.tWhen the value is Some v, allocates the data and initializes it with v ; just updates it if the bucket exists. When the valus is None, delete the storage bucket when the value ; does nothing if the bucket does not exists.
val delete :
context ->
Level_repr.t ->
Raw_context.t Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult
Tezos_protocol_environment_003_PsddFKi3.Lwt.tDelete a storage bucket and its contents ; returns a Storage_errorMissing_key if the bucket does not exists.
val remove :
context ->
Level_repr.t ->
Raw_context.t Tezos_protocol_environment_003_PsddFKi3.Lwt.tRemoves a storage bucket and its contents ; does nothing if the bucket does not exists.