This mapping tracks how many open channel requests were accepted by a given recipient para.
Invariant: HrmpOpenChannelRequests
should contain the same number of items (_, X)
with
confirmed
set to true, as the number of HrmpAcceptedChannelRequestCount
for X
.
Storage for the messages for each channel.
Invariant: cannot be non-empty if the corresponding channel in HrmpChannels
is None
.
Maintains a mapping that can be used to answer the question: What paras sent a message at
the given block number for a given receiver. Invariants:
HRMP channel data associated with each para.
Invariant:
A set of pending HRMP close channel requests that are going to be closed during the session
change. Used for checking if a given channel is registered for closure.
Storage type is [StorageValue
] with value type Vec < HrmpChannelId >
.
Storage type is [StorageMap
] with key type ParaId
and value type Vec < ParaId >
.
Ingress/egress indexes allow to find all the senders and receivers given the opposite side.
I.e.
This mapping tracks how many open channel requests are initiated by a given sender para.
Invariant: HrmpOpenChannelRequests
should contain the same number of items that has
(X, _)
as the number of HrmpOpenChannelRequestCount
for X
.
The set of pending HRMP open channel requests.
Storage type is [StorageValue
] with value type Vec < HrmpChannelId >
.
The HRMP watermark associated with each para.
Invariant:
Type alias to Pallet
, to be used by construct_runtime
.