package tezos-protocol-017-PtNairob
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680
sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc
doc/tezos-protocol-017-PtNairob.raw/Tezos_raw_protocol_017_PtNairob/Storage/Contract/index.html
Module Storage.ContractSource
Storage from this submodule must only be accessed through the module `Contract`.
val fold :
Raw_context.t ->
order:[ `Sorted | `Undefined ] ->
init:'a ->
f:(Contract_repr.t -> 'a -> 'a Tezos_protocol_environment_017_PtNairob.Lwt.t) ->
'a Tezos_protocol_environment_017_PtNairob.Lwt.tThe domain of alive contracts
val list :
Raw_context.t ->
Contract_repr.t list Tezos_protocol_environment_017_PtNairob.Lwt.tval with_local_context :
Raw_context.t ->
Contract_repr.t ->
(local_context ->
(local_context * 'a)
Tezos_protocol_environment_017_PtNairob.Error_monad.tzresult
Tezos_protocol_environment_017_PtNairob.Lwt.t) ->
(Raw_context.t * 'a)
Tezos_protocol_environment_017_PtNairob.Error_monad.tzresult
Tezos_protocol_environment_017_PtNairob.Lwt.tmodule Spendable_balance :
Storage_sigs.Indexed_data_storage_with_local_context
with type key = Contract_repr.t
and type value = Tez_repr.t
and type t := Raw_context.t
and type local_context := local_contextThe tez possessed by a contract and that can be used. A contract may also possess tez in frozen deposits. Empty balances (of zero tez) are only allowed for originated contracts, not for implicit ones.
module Missed_endorsements :
Storage_sigs.Indexed_data_storage
with type key = Contract_repr.t
and type value = missed_endorsements_info
and type t := Raw_context.tIf the value is not set, the delegate didn't miss any endorsing opportunity. If it is set, this value is a record of type missed_endorsements_info, where:
module Manager :
Storage_sigs.Indexed_data_storage_with_local_context
with type key = Contract_repr.t
and type value = Manager_repr.t
and type t := Raw_context.t
and type local_context := local_contextThe manager of a contract
module Consensus_key :
Storage_sigs.Indexed_data_storage
with type key = Contract_repr.t
and type value =
Tezos_protocol_environment_017_PtNairob.Signature.Public_key.t
and type t := Raw_context.tThe active consensus key of a delegate
module Pending_consensus_keys :
Storage_sigs.Indexed_data_storage
with type key = Cycle_repr.t
and type value =
Tezos_protocol_environment_017_PtNairob.Signature.Public_key.t
and type t := Raw_context.t * Contract_repr.tThe pending consensus key of a delegate
module Delegate :
Storage_sigs.Indexed_data_storage
with type key = Contract_repr.t
and type value =
Tezos_protocol_environment_017_PtNairob.Signature.Public_key_hash.t
and type t := Raw_context.tThe delegate of a contract, if any.
module Delegated :
Storage_sigs.Data_set_storage
with type elt = Contract_repr.t
and type t = Raw_context.t * Contract_repr.tAll contracts (implicit and originated) that are delegated, if any
module Frozen_deposits :
Storage_sigs.Indexed_data_storage
with type key = Contract_repr.t
and type value = deposits
and type t := Raw_context.tThe part of a delegate balance that can't be used. The total balance is frozen_deposits.current_amount + balance. It also stores the initial frozen balance in frozen_deposits.initial_amount. We have current_amount <= initial_amount and current_amount < initial_amount iff the delegate was slashed.
module Frozen_deposits_limit :
Storage_sigs.Indexed_data_storage
with type key = Contract_repr.t
and type value = Tez_repr.t
and type t := Raw_context.tIf there is a value, the frozen balance for the contract won't exceed it (starting in preserved_cycles + 1).
module Inactive_delegate :
Storage_sigs.Data_set_storage
with type elt = Contract_repr.t
and type t = Raw_context.tmodule Delegate_last_cycle_before_deactivation :
Storage_sigs.Indexed_data_storage
with type key = Contract_repr.t
and type value = Cycle_repr.t
and type t := Raw_context.tThe last cycle where the delegate is considered active; that is, at the next cycle it will be considered inactive.
module Counter :
Storage_sigs.Indexed_data_storage_with_local_context
with type key = Contract_repr.t
and type value = Manager_counter_repr.t
and type t := Raw_context.t
and type local_context := local_contextmodule Code :
Storage_sigs.Non_iterable_indexed_carbonated_data_storage
with type key = Contract_repr.t
and type value = Script_repr.lazy_expr
and type t := Raw_context.tmodule Storage :
Storage_sigs.Non_iterable_indexed_carbonated_data_storage
with type key = Contract_repr.t
and type value = Script_repr.lazy_expr
and type t := Raw_context.tmodule Used_storage_space :
Storage_sigs.Indexed_data_storage
with type key = Contract_repr.t
and type value = Tezos_protocol_environment_017_PtNairob.Z.t
and type t := Raw_context.tCurrent storage space in bytes. Includes code, global storage and big map elements.
module Paid_storage_space :
Storage_sigs.Indexed_data_storage
with type key = Contract_repr.t
and type value = Tezos_protocol_environment_017_PtNairob.Z.t
and type t := Raw_context.tMaximal space available without needing to burn new fees.
module Frozen_bonds :
Storage_sigs.Non_iterable_indexed_carbonated_data_storage
with type key = Bond_id_repr.t
and type value = Tez_repr.t
and type t := Raw_context.t * Contract_repr.tAssociates a contract and a bond_id with a bond, i.e. an amount of tez that is frozen.
val fold_bond_ids :
(Raw_context.t * Contract_repr.t) ->
order:[ `Sorted | `Undefined ] ->
init:'a ->
f:(Bond_id_repr.t -> 'a -> 'a Tezos_protocol_environment_017_PtNairob.Lwt.t) ->
'a Tezos_protocol_environment_017_PtNairob.Lwt.tmodule Total_frozen_bonds :
Storage_sigs.Indexed_data_storage
with type key = Contract_repr.t
and type value = Tez_repr.t
and type t := Raw_context.tAssociates a contract with the total of all its frozen bonds.