pub struct BindingFateOperation { /* private fields */ }Expand description
Durable facts of one observed binding fate (crash/death), as recorded by the shell.
Both fate authorities are private-field types constructible only through
the crate’s own transitions, so this event cannot assert a fate that never
committed. Each authority carries the conversation validated at its
minting transition (the committed Died terminal for ordinary fate, the
frontier-validated marker provenance for recovered fate), so the shell’s
conversation-congruence refusal applies to this arm exactly as it does to
the other five.
Implementations§
Source§impl BindingFateOperation
impl BindingFateOperation
Sourcepub const fn from_ordinary(fate: &OrdinaryBindingFate) -> Self
pub const fn from_ordinary(fate: &OrdinaryBindingFate) -> Self
Creates the fate event body from an ordinary binding death.
Sourcepub const fn from_recovered(fate: &RecoveredBindingFate) -> Self
pub const fn from_recovered(fate: &RecoveredBindingFate) -> Self
Creates the fate event body from a recovered-epoch binding death.
Sourcepub const fn conversation_id(self) -> ConversationId
pub const fn conversation_id(self) -> ConversationId
Returns the conversation whose binding fate was observed.
Sourcepub const fn participant_id(self) -> ParticipantId
pub const fn participant_id(self) -> ParticipantId
Returns the participant whose binding died.
Sourcepub const fn last_dead_binding_epoch(self) -> BindingEpoch
pub const fn last_dead_binding_epoch(self) -> BindingEpoch
Returns the exact dead binding epoch whose fate was observed.
Sourcepub const fn resulting_floor(self) -> DeliverySeq
pub const fn resulting_floor(self) -> DeliverySeq
Returns the floor measured in the binding-fate transaction.
Trait Implementations§
Source§impl Clone for BindingFateOperation
impl Clone for BindingFateOperation
Source§fn clone(&self) -> BindingFateOperation
fn clone(&self) -> BindingFateOperation
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read more