package tezos-protocol-007-PsDELPH1
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680
sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc
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