Module Storage_functors.Make_subcontext

Tells if the key is already defined as a value.

Tells if the key is already defined as a directory.

Retrieve the value from the storage bucket ; returns a Storage_errorMissing_key if the key is not set.

Retrieves the value from the storage bucket ; returns None if the data is not initialized.

Allocates the storage bucket and initializes it ; returns a Storage_errorExisting_key if the bucket exists.

Updates the content of the bucket ; returns a Storage_error Missing_key if the value does not exists.

Allocates the data and initializes it with a value ; just updates it if the bucket exists.

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.

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.

Recursively removes all the storage buckets and contents ; does nothing if no bucket exists.

Iterator on all the items of a given directory.

Recursively list all subkeys of a given key.

Recursive iterator on all the subkeys of a given key.

Internally used in Storage_functors to escape from a view.

Internally used in Storage_functors to retrieve a full key from partial key relative a view.

Internally used in Storage_functors to consume gas from within a view.

Check if consume_gas will fail