package tezos-protocol-007-PsDELPH1
Tezos/Protocol: economic-protocol definition
Install
Dune Dependency
Authors
Maintainers
Sources
tezos-16.0.tar.gz
sha256=ad9e08819871c75ba6f4530b125f7d157799398e4d77a1e6bfea9d91ff37ff55
sha512=c5dc4d40cc09bc6980fbbdb5c2e105bf4252cf9cfcb2b49660b0ebe4dc789f6709ec3b3bf2f87d81580d3eed9521eeb1c960f24d9b14eb0285aaba1f84d10a9b
doc/tezos-protocol-007-PsDELPH1.raw/Tezos_raw_protocol_007_PsDELPH1/Storage/Contract/index.html
Module Storage.ContractSource
Storage from this submodule must only be accessed through the module `Contract`.
Source
val fold :
Raw_context.t ->
init:'a ->
f:(Contract_repr.t -> 'a -> 'a Tezos_protocol_environment_007_PsDELPH1.Lwt.t) ->
'a Tezos_protocol_environment_007_PsDELPH1.Lwt.tThe domain of alive contracts
Source
val list :
Raw_context.t ->
Contract_repr.t list Tezos_protocol_environment_007_PsDELPH1.Lwt.tSource
module Balance :
Storage_sigs.Indexed_data_storage
with type key = Contract_repr.t
and type value = Tez_repr.t
and type t := Raw_context.tAll the tez possessed by a contract, including rolls and change
Source
module Frozen_deposits :
Storage_sigs.Indexed_data_storage
with type key = Cycle_repr.t
and type value = Tez_repr.t
and type t = Raw_context.t * Contract_repr.tFrozen balance, see 'delegate_storage.mli' for more explanation. Always update `Delegates_with_frozen_balance` accordingly.
Source
module Frozen_fees :
Storage_sigs.Indexed_data_storage
with type key = Cycle_repr.t
and type value = Tez_repr.t
and type t = Raw_context.t * Contract_repr.tSource
module Frozen_rewards :
Storage_sigs.Indexed_data_storage
with type key = Cycle_repr.t
and type value = Tez_repr.t
and type t = Raw_context.t * Contract_repr.tSource
module Manager :
Storage_sigs.Indexed_data_storage
with type key = Contract_repr.t
and type value = Manager_repr.t
and type t := Raw_context.tThe manager of a contract
Source
module Delegate :
Storage_sigs.Indexed_data_storage
with type key = Contract_repr.t
and type value =
Tezos_protocol_environment_007_PsDELPH1.Signature.Public_key_hash.t
and type t := Raw_context.tThe delegate of a contract, if any.
Source
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
Source
module Inactive_delegate :
Storage_sigs.Data_set_storage
with type elt = Contract_repr.t
and type t = Raw_context.tSource
module Delegate_desactivation :
Storage_sigs.Indexed_data_storage
with type key = Contract_repr.t
and type value = Cycle_repr.t
and type t := Raw_context.tThe cycle where the delegate should be deactivated.
Source
module Counter :
Storage_sigs.Indexed_data_storage
with type key = Contract_repr.t
and type value = Tezos_protocol_environment_007_PsDELPH1.Z.t
and type t := Raw_context.tSource
module 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.tSource
module 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.tSource
module Used_storage_space :
Storage_sigs.Indexed_data_storage
with type key = Contract_repr.t
and type value = Tezos_protocol_environment_007_PsDELPH1.Z.t
and type t := Raw_context.tCurrent storage space in bytes. Includes code, global storage and big map elements.
Source
module Paid_storage_space :
Storage_sigs.Indexed_data_storage
with type key = Contract_repr.t
and type value = Tezos_protocol_environment_007_PsDELPH1.Z.t
and type t := Raw_context.tMaximal space available without needing to burn new fees.