package tezos-protocol-008-PtEdo2Zk

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Index of the randomly selected roll snapshot of a given cycle.

include Storage_sigs.Non_iterable_indexed_data_storage with type key = Cycle_repr.t with type value = int with type t := Raw_context.t
type context = Raw_context.t
type key = Cycle_repr.t

An abstract type for keys

type value = int

The type of values

Tells if a given key is already bound to a storage bucket

Retrieve 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.

Retrieve 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.

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

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

Allocates a storage bucket at the given key 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 value is None, delete the storage bucket when the value ; does nothing if the bucket does not exists.

Delete a storage bucket and its contents ; returns a Storage_errorMissing_key if the bucket does not exists.

Removes a storage bucket and its contents ; does nothing if the bucket does not exists.

Empties all the keys and associated data.

Lists all the keys.

Lists all the keys and associated data.

Iterates over all the keys and associated data.

Iterate over all the keys.