package tezos-protocol-005-PsBabyM1
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=43723d096307603703a1a89ed1b2eb202b365f5e7824b96b0cbf813b343a6cf7
sha512=b2a637f2e965000d3d49ad85277ca24d6cb07a1a7cf2bc69d296d8b03ad78c3eaa8e21e94b9162e62c2e11649cd03bc845b2a3dafe623b91065df69d47dc8e4f
doc/tezos-protocol-005-PsBabyM1.raw/Tezos_raw_protocol_005_PsBabyM1/Storage/Roll/Next/index.html
Module Roll.Next
Source
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_005_PsBabyM1.Error_monad.tzresult
Tezos_protocol_environment_005_PsBabyM1.Lwt.t
Retrieve 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_005_PsBabyM1.Error_monad.tzresult
Tezos_protocol_environment_005_PsBabyM1.Lwt.t
Retrieves 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_005_PsBabyM1.Error_monad.tzresult
Tezos_protocol_environment_005_PsBabyM1.Lwt.t
Allocates 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_005_PsBabyM1.Error_monad.tzresult
Tezos_protocol_environment_005_PsBabyM1.Lwt.t
Updates 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_005_PsBabyM1.Lwt.t
Allocates 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_005_PsBabyM1.Lwt.t
When 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 ->
Raw_context.t Tezos_protocol_environment_005_PsBabyM1.Error_monad.tzresult
Tezos_protocol_environment_005_PsBabyM1.Lwt.t
Delete 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