package tezos-protocol-008-PtEdoTez

  1. Overview
  2. Docs
Tezos/Protocol: economic-protocol definition

Install 

dune-project
 Dependency

www.tezos.com Readme Edit opam file Versions (8)

Authors

  1. T
    Tezos devteam

Maintainers

  1. C
    contact@tezos.com

Sources

tezos-16.0.tar.gz
sha256=ad9e08819871c75ba6f4530b125f7d157799398e4d77a1e6bfea9d91ff37ff55
sha512=c5dc4d40cc09bc6980fbbdb5c2e105bf4252cf9cfcb2b49660b0ebe4dc789f6709ec3b3bf2f87d81580d3eed9521eeb1c960f24d9b14eb0285aaba1f84d10a9b

doc/tezos-protocol-008-PtEdoTez.raw/Tezos_raw_protocol_008_PtEdoTez/Raw_context/index.html

Module Tezos_raw_protocol_008_PtEdoTez.Raw_contextSource

Errors

Sourcetype missing_key_kind =
  1. | Get
  2. | Set
  3. | Del
  4. | Copy
Sourcetype storage_error =
  1. | Incompatible_protocol_version of string
  2. | Missing_key of string list * missing_key_kind
  3. | Existing_key of string list
  4. | Corrupted_data of string list

An internal storage error that should not happen

Sourcetype Tezos_protocol_environment_008_PtEdoTez.Error_monad.error +=
  1. | Failed_to_parse_parameter of bytes

Abstract Context

Sourcetype t

Abstract view of the context. Includes a handle to the functional key-value database (Context.t) along with some in-memory values (gas, etc.).

Sourcetype context = t
Sourcetype root_context = t

Retrieves the state of the database and gives its abstract view. It also returns wether this is the first block validated with this version of the protocol.

Sourcetype previous_protocol =
  1. | Genesis of Parameters_repr.t
  2. | Delphi_007

Returns the state of the database resulting of operations on its abstract view

Sourceval current_level : context -> Level_repr.t
Sourceval first_level : context -> Raw_level_repr.t

Increment the current block fee stash that will be credited to baker's frozen_fees account at finalize_application

Increment the current block reward stash that will be credited to baker's frozen_fees account at finalize_application

Increment the current block deposit stash for a specific delegate. All the delegates' frozen_deposit accounts are credited at finalize_application

Sourceval get_fees : context -> Tez_repr.t
Sourceval get_rewards : context -> Tez_repr.t
Sourceval set_gas_limit : t -> 'a Gas_limit_repr.Arith.t -> t
Sourceval set_gas_unlimited : t -> t
Sourceval gas_level : t -> Gas_limit_repr.t
Sourceval gas_consumed : since:t -> until:t -> Gas_limit_repr.Arith.fp
Sourceval block_gas_level : t -> Gas_limit_repr.Arith.fp
Sourceval init_storage_space_to_pay : t -> t
Sourceval update_storage_space_to_pay : t -> Tezos_protocol_environment_008_PtEdoTez.Z.t -> t
Sourceval update_allocated_contracts_count : t -> t
Sourceval clear_storage_space_to_pay : t -> t * Tezos_protocol_environment_008_PtEdoTez.Z.t * int
Sourceval unset_origination_nonce : t -> t

Generic accessors

Sourcetype key = string list
Sourcetype value = bytes
Sourcemodule type T = sig ... end

All context manipulation functions. This signature is included as-is for direct context accesses, and used in Storage_functors to provide restricted views to the context.

include T with type t := t and type context := context

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

Sourceval project : context -> root_context

Internally used in Storage_functors to escape from a view.

Sourceval absolute_key : context -> key -> key

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

Sourceval reset_internal_nonce : context -> context

Initialize the local nonce used for preventing a script to duplicate an internal operation to replay it.

Increments the internal operation nonce.

Sourceval record_internal_nonce : context -> int -> context

Mark an internal operation nonce as taken.

Sourceval internal_nonce_already_recorded : context -> int -> bool

Check is the internal operation nonce has been taken.

Returns a map where to each endorser's pkh is associated the list of its endorsing slots (in decreasing order) for a given level.

Sourceval included_endorsements : context -> int

Keep track of the number of endorsements that are included in a block

Initializes the map of allowed endorsements, this function must only be called once.

Marks an endorsement in the map as used.

Sourceval fold_map_temporary_lazy_storage_ids : context -> (Lazy_storage_kind.Temp_ids.t -> Lazy_storage_kind.Temp_ids.t * 'res) -> context * 'res