pub struct CursorProgressMarker { /* private fields */ }Expand description
Marker-backed cursor-progress witness.
This value has no public constructor. It is produced only by consuming an
exact MarkerDelivery with its matching Event::marker_delivered. That
makes the durable exact-epoch delivery fact required by the frozen contract
a type-level precondition for detached credential recovery.
Implementations§
Source§impl CursorProgressMarker
impl CursorProgressMarker
Sourcepub const fn conversation_id(self) -> ConversationId
pub const fn conversation_id(self) -> ConversationId
Returns the conversation inherited from the exact marker delivery.
Sourcepub const fn participant_id(self) -> ParticipantId
pub const fn participant_id(self) -> ParticipantId
Returns the participant whose marker must be accepted.
Sourcepub const fn binding_epoch(self) -> BindingEpoch
pub const fn binding_epoch(self) -> BindingEpoch
Returns the exact epoch that received the marker.
Sourcepub const fn through_seq(self) -> DeliverySeq
pub const fn through_seq(self) -> DeliverySeq
Returns the required cumulative boundary.
Sourcepub const fn marker_delivery_seq(self) -> DeliverySeq
pub const fn marker_delivery_seq(self) -> DeliverySeq
Returns the exact delivered marker.
Sourcepub const fn storage_description(self) -> StoredEdgeRestore
pub const fn storage_description(self) -> StoredEdgeRestore
Describes this witness as the capsule that restores it.
Including the nested delivery predecessor, which restore requires to agree with the witness field for field, so it has no field of its own to supply.