Module `Tezos_raw_protocol_005_PsBabyM1.Raw_context`Source

Errors

Sourcetype Tezos_protocol_environment_005_PsBabyM1.Error_monad.error +=

| Too_many_internal_operations

Sourcetype storage_error =

| Incompatible_protocol_version of string
| Missing_key of string list * [ `Get | `Set | `Del | `Copy ]
| Existing_key of string list
| Corrupted_data of string list

An internal storage error that should not happen

Sourcetype Tezos_protocol_environment_005_PsBabyM1.Error_monad.error +=

| Storage_error of storage_error

Sourcetype Tezos_protocol_environment_005_PsBabyM1.Error_monad.error +=

| Failed_to_parse_parameter of Tezos_protocol_environment_005_PsBabyM1.MBytes.t

Sourcetype Tezos_protocol_environment_005_PsBabyM1.Error_monad.error +=

| Failed_to_decode_parameter of Tezos_protocol_environment_005_PsBabyM1.Data_encoding.json * string

Source

val storage_error : 
  storage_error ->
  'a Tezos_protocol_environment_005_PsBabyM1.Error_monad.tzresult
    Tezos_protocol_environment_005_PsBabyM1.Lwt.t

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

Source

val prepare : 
  level:Tezos_protocol_environment_005_PsBabyM1.Int32.t ->
  predecessor_timestamp:Tezos_protocol_environment_005_PsBabyM1.Time.t ->
  timestamp:Tezos_protocol_environment_005_PsBabyM1.Time.t ->
  fitness:Tezos_protocol_environment_005_PsBabyM1.Fitness.t ->
  Tezos_protocol_environment_005_PsBabyM1.Context.t ->
  context Tezos_protocol_environment_005_PsBabyM1.Error_monad.tzresult
    Tezos_protocol_environment_005_PsBabyM1.Lwt.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 =

| Genesis of Parameters_repr.t
| Athens_004

Source

val prepare_first_block : 
  level:int32 ->
  timestamp:Tezos_protocol_environment_005_PsBabyM1.Time.t ->
  fitness:Tezos_protocol_environment_005_PsBabyM1.Fitness.t ->
  Tezos_protocol_environment_005_PsBabyM1.Context.t ->
  (previous_protocol * context)
    Tezos_protocol_environment_005_PsBabyM1.Error_monad.tzresult
    Tezos_protocol_environment_005_PsBabyM1.Lwt.t

Source

val activate : 
  context ->
  Tezos_protocol_environment_005_PsBabyM1.Protocol_hash.t ->
  t Tezos_protocol_environment_005_PsBabyM1.Lwt.t

Source

val fork_test_chain : 
  context ->
  Tezos_protocol_environment_005_PsBabyM1.Protocol_hash.t ->
  Tezos_protocol_environment_005_PsBabyM1.Time.t ->
  t Tezos_protocol_environment_005_PsBabyM1.Lwt.t

Sourceval recover : context -> Tezos_protocol_environment_005_PsBabyM1.Context.t

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

Sourceval current_level : context -> Level_repr.t

Source

val predecessor_timestamp : 
  context ->
  Tezos_protocol_environment_005_PsBabyM1.Time.t

Source

val current_timestamp : 
  context ->
  Tezos_protocol_environment_005_PsBabyM1.Time.t

Source

val current_fitness : 
  context ->
  Tezos_protocol_environment_005_PsBabyM1.Int64.t

Source

val set_current_fitness : 
  context ->
  Tezos_protocol_environment_005_PsBabyM1.Int64.t ->
  t

Sourceval constants : context -> Constants_repr.parametric

Source

val patch_constants : 
  context ->
  (Constants_repr.parametric -> Constants_repr.parametric) ->
  context Tezos_protocol_environment_005_PsBabyM1.Lwt.t

Sourceval first_level : context -> Raw_level_repr.t

Source

val add_fees : 
  context ->
  Tez_repr.t ->
  context Tezos_protocol_environment_005_PsBabyM1.Error_monad.tzresult
    Tezos_protocol_environment_005_PsBabyM1.Lwt.t

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

Source

val add_rewards : 
  context ->
  Tez_repr.t ->
  context Tezos_protocol_environment_005_PsBabyM1.Error_monad.tzresult
    Tezos_protocol_environment_005_PsBabyM1.Lwt.t

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

Source

val add_deposit : 
  context ->
  Tezos_protocol_environment_005_PsBabyM1.Signature.Public_key_hash.t ->
  Tez_repr.t ->
  context Tezos_protocol_environment_005_PsBabyM1.Error_monad.tzresult
    Tezos_protocol_environment_005_PsBabyM1.Lwt.t

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

Source

val get_deposits : 
  context ->
  Tez_repr.t
    Tezos_protocol_environment_005_PsBabyM1.Signature.Public_key_hash.Map.t

Sourcetype Tezos_protocol_environment_005_PsBabyM1.Error_monad.error +=

| Gas_limit_too_high

Source

val check_gas_limit : 
  t ->
  Tezos_protocol_environment_005_PsBabyM1.Z.t ->
  unit Tezos_protocol_environment_005_PsBabyM1.Error_monad.tzresult

Sourceval set_gas_limit : t -> Tezos_protocol_environment_005_PsBabyM1.Z.t -> t

Sourceval set_gas_unlimited : t -> t

Sourceval gas_level : t -> Gas_limit_repr.t

Source

val gas_consumed : 
  since:t ->
  until:t ->
  Tezos_protocol_environment_005_PsBabyM1.Z.t

Sourceval block_gas_level : t -> Tezos_protocol_environment_005_PsBabyM1.Z.t

Sourceval init_storage_space_to_pay : t -> t

Source

val update_storage_space_to_pay : 
  t ->
  Tezos_protocol_environment_005_PsBabyM1.Z.t ->
  t

Sourceval update_allocated_contracts_count : t -> t

Source

val clear_storage_space_to_pay : 
  t ->
  t * Tezos_protocol_environment_005_PsBabyM1.Z.t * int

Sourcetype Tezos_protocol_environment_005_PsBabyM1.Error_monad.error +=

| Undefined_operation_nonce

Source

val init_origination_nonce : 
  t ->
  Tezos_protocol_environment_005_PsBabyM1.Operation_hash.t ->
  t

Source

val origination_nonce : 
  t ->
  Contract_repr.origination_nonce
    Tezos_protocol_environment_005_PsBabyM1.Error_monad.tzresult

Source

val increment_origination_nonce : 
  t ->
  (t * Contract_repr.origination_nonce)
    Tezos_protocol_environment_005_PsBabyM1.Error_monad.tzresult

Sourceval unset_origination_nonce : t -> t

Generic accessors

Sourcetype key = string list

Sourcetype value = Tezos_protocol_environment_005_PsBabyM1.MBytes.t

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

Sourceval mem : context -> key -> bool Tezos_protocol_environment_005_PsBabyM1.Lwt.t

Tells if the key is already defined as a value.

Source

val dir_mem : 
  context ->
  key ->
  bool Tezos_protocol_environment_005_PsBabyM1.Lwt.t

Tells if the key is already defined as a directory.

Source

val get : 
  context ->
  key ->
  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_errorMissing_key if the key is not set.

Source

val get_option : 
  context ->
  key ->
  value option Tezos_protocol_environment_005_PsBabyM1.Lwt.t

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

Source

val init : 
  context ->
  key ->
  value ->
  context 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.

Source

val set : 
  context ->
  key ->
  value ->
  context 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.

Source

val init_set : 
  context ->
  key ->
  value ->
  context Tezos_protocol_environment_005_PsBabyM1.Lwt.t

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

Source

val set_option : 
  context ->
  key ->
  value option ->
  context 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.

Source

val delete : 
  context ->
  key ->
  context 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.

Source

val remove : 
  context ->
  key ->
  context Tezos_protocol_environment_005_PsBabyM1.Lwt.t

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

Source

val remove_rec : 
  context ->
  key ->
  context Tezos_protocol_environment_005_PsBabyM1.Lwt.t

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

Source

val copy : 
  context ->
  from:key ->
  to_:key ->
  context Tezos_protocol_environment_005_PsBabyM1.Error_monad.tzresult
    Tezos_protocol_environment_005_PsBabyM1.Lwt.t

Source

val fold : 
  context ->
  key ->
  init:'a ->
  f:
    ([ `Key of key | `Dir of key ] ->
      'a ->
      'a Tezos_protocol_environment_005_PsBabyM1.Lwt.t) ->
  'a Tezos_protocol_environment_005_PsBabyM1.Lwt.t

Iterator on all the items of a given directory.

Source

val keys : 
  context ->
  key ->
  key list Tezos_protocol_environment_005_PsBabyM1.Lwt.t

Recursively list all subkeys of a given key.

Source

val fold_keys : 
  context ->
  key ->
  init:'a ->
  f:(key -> 'a -> 'a Tezos_protocol_environment_005_PsBabyM1.Lwt.t) ->
  'a Tezos_protocol_environment_005_PsBabyM1.Lwt.t

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.

Source

val consume_gas : 
  context ->
  Gas_limit_repr.cost ->
  context Tezos_protocol_environment_005_PsBabyM1.Error_monad.tzresult

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

Source

val check_enough_gas : 
  context ->
  Gas_limit_repr.cost ->
  unit Tezos_protocol_environment_005_PsBabyM1.Error_monad.tzresult

Check if consume_gas will fail

Sourceval description : context Storage_description.t

Sourceval reset_internal_nonce : context -> context

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

Source

val fresh_internal_nonce : 
  context ->
  (context * int) Tezos_protocol_environment_005_PsBabyM1.Error_monad.tzresult

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.

Source

val allowed_endorsements : 
  context ->
  (Tezos_protocol_environment_005_PsBabyM1.Signature.Public_key.t
   * int list
   * bool)
    Tezos_protocol_environment_005_PsBabyM1.Signature.Public_key_hash.Map.t

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

Source

val init_endorsements : 
  context ->
  (Tezos_protocol_environment_005_PsBabyM1.Signature.Public_key.t
   * int list
   * bool)
    Tezos_protocol_environment_005_PsBabyM1.Signature.Public_key_hash.Map.t ->
  context

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

Source

val record_endorsement : 
  context ->
  Tezos_protocol_environment_005_PsBabyM1.Signature.Public_key_hash.t ->
  context

Marks an endorsment in the map as used.

Source

val fresh_temporary_big_map : 
  context ->
  context * Tezos_protocol_environment_005_PsBabyM1.Z.t

Provide a fresh identifier for a temporary big map (negative index).

Sourceval reset_temporary_big_map : context -> context

Reset the temporary big_map identifier generator to -1.

Source

val temporary_big_maps : 
  context ->
  ('a ->
    Tezos_protocol_environment_005_PsBabyM1.Z.t ->
    'a Tezos_protocol_environment_005_PsBabyM1.Lwt.t) ->
  'a ->
  'a Tezos_protocol_environment_005_PsBabyM1.Lwt.t

Iterate over all created temporary big maps since the last reset_temporary_big_map.

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-005-PsBabyM1.raw/Tezos_raw_protocol_005_PsBabyM1/Raw_context/index.html

Module `Tezos_raw_protocol_005_PsBabyM1.Raw_context`Source

Errors

Abstract Context

Generic accessors

package tezos-protocol-005-PsBabyM1

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-005-PsBabyM1.raw/Tezos_raw_protocol_005_PsBabyM1/Raw_context/index.html

Module Tezos_raw_protocol_005_PsBabyM1.Raw_contextSource

Errors

Abstract Context

Generic accessors

Module `Tezos_raw_protocol_005_PsBabyM1.Raw_context`Source