package tezos-protocol-007-PsDELPH1
Tezos/Protocol: economic-protocol definition
Install
Dune Dependency
Authors
Maintainers
Sources
tezos-17.3.tar.gz
sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680
sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc
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.