package tezos-protocol-007-PsDELPH1
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=ad9e08819871c75ba6f4530b125f7d157799398e4d77a1e6bfea9d91ff37ff55
sha512=c5dc4d40cc09bc6980fbbdb5c2e105bf4252cf9cfcb2b49660b0ebe4dc789f6709ec3b3bf2f87d81580d3eed9521eeb1c960f24d9b14eb0285aaba1f84d10a9b
doc/tezos-protocol-007-PsDELPH1.raw/Tezos_raw_protocol_007_PsDELPH1/Storage/Roll/Next/index.html
Module Roll.NextSource
The next roll to be allocated.
The type of the value
Tells if the data is already defined
val get :
context ->
value Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult
Tezos_protocol_environment_007_PsDELPH1.Lwt.tRetrieve the value from the storage bucket ; returns a Storage_error if the key is not set or if the deserialisation fails
val get_option :
context ->
value option Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult
Tezos_protocol_environment_007_PsDELPH1.Lwt.tRetrieves the value from the storage bucket ; returns None if the data is not initialized, or Storage_helpers.Storage_error if the deserialisation fails
val init :
context ->
value ->
Raw_context.t Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult
Tezos_protocol_environment_007_PsDELPH1.Lwt.tAllocates the storage bucket and initializes it ; returns a Storage_errorExisting_key if the bucket exists
val set :
context ->
value ->
Raw_context.t Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult
Tezos_protocol_environment_007_PsDELPH1.Lwt.tUpdates the content of the bucket ; returns a Storage_Error
Missing_key if the value does not exists
val init_set :
context ->
value ->
Raw_context.t Tezos_protocol_environment_007_PsDELPH1.Lwt.tAllocates the data and initializes it with a value ; just updates it if the bucket exists
val set_option :
context ->
value option ->
Raw_context.t Tezos_protocol_environment_007_PsDELPH1.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 delete :
context ->
Raw_context.t Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult
Tezos_protocol_environment_007_PsDELPH1.Lwt.tDelete the storage bucket ; returns a Storage_error
Missing_key if the bucket does not exists
Removes the storage bucket and its contents ; does nothing if the bucket does not exists