package tezos-protocol-003-PsddFKi3
Tezos/Protocol: 003_PsddFKi3 (economic-protocol definition, functor version)
Install
Dune Dependency
Authors
Maintainers
Sources
tezos-16.1.tar.gz
sha256=43723d096307603703a1a89ed1b2eb202b365f5e7824b96b0cbf813b343a6cf7
sha512=b2a637f2e965000d3d49ad85277ca24d6cb07a1a7cf2bc69d296d8b03ad78c3eaa8e21e94b9162e62c2e11649cd03bc845b2a3dafe623b91065df69d47dc8e4f
doc/tezos-protocol-003-PsddFKi3.raw/Tezos_raw_protocol_003_PsddFKi3/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_003_PsddFKi3.Lwt.t) ->
'a Tezos_protocol_environment_003_PsddFKi3.Lwt.tThe domain of alive contracts
Source
val list :
Raw_context.t ->
Contract_repr.t list Tezos_protocol_environment_003_PsddFKi3.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 possesed 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_003_PsddFKi3.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_hash.t
and type t = Raw_context.t * Contract_repr.tSource
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 desactivated.
Source
module Spendable :
Storage_sigs.Data_set_storage
with type elt = Contract_repr.t
and type t := Raw_context.tSource
module Delegatable :
Storage_sigs.Data_set_storage
with type elt = Contract_repr.t
and type t := Raw_context.tSource
module Counter :
Storage_sigs.Indexed_data_storage
with type key = Contract_repr.t
and type value = Tezos_protocol_environment_003_PsddFKi3.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_003_PsddFKi3.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_003_PsddFKi3.Z.t
and type t := Raw_context.tMaximal space available without needing to burn new fees.
Source
module Big_map :
Storage_sigs.Non_iterable_indexed_carbonated_data_storage
with type key = Script_expr_hash.t
and type value = Script_repr.expr
and type t := bigmap_key