Struct ParticipantConversationState 

pub struct ParticipantConversationState<EF, V, LF, D> { /* private fields */ }

Fully validated whole-conversation participant state.

This state can execute restored edge authority. It has no public constructor and its fields are private: the sole producer is ParticipantConversationRestore::restore, so possession of this value proves the complete snapshot validated jointly.

use liminal_protocol::lifecycle::ParticipantConversationState;

fn fabricate() {
    let _ = ParticipantConversationState::<[u8; 4], [u8; 4], [u8; 4], [u8; 4]> {
        participants: unreachable!(),
        frontiers: unreachable!(),
        closure: unreachable!(),
    };
}

Implementations

impl<EF, V, LF, D> ParticipantConversationState<EF, V, LF, D>

pub fn participants(&self) -> &[RestoredParticipantLifecycle<EF, V, LF, D>]

Borrows every restored participant and tombstone.

pub const fn frontiers(&self) -> &ClaimFrontiers

Borrows the finalized claim frontiers.

pub const fn closure(&self) -> ClosureState

Returns the exact closure state.

pub fn into_parts( self, ) -> (Vec<RestoredParticipantLifecycle<EF, V, LF, D>>, ClaimFrontiers, ClosureState)

Consumes the validated state into its participant, frontier, and closure components.

Decomposition is one-way: no public path recombines components into this validated form, so values split here cannot be spliced with components restored from another snapshot.

Trait Implementations

impl<EF: Debug, V: Debug, LF: Debug, D: Debug> Debug for ParticipantConversationState<EF, V, LF, D>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<EF: Eq, V: Eq, LF: Eq, D: Eq> Eq for ParticipantConversationState<EF, V, LF, D>

impl<EF: PartialEq, V: PartialEq, LF: PartialEq, D: PartialEq> PartialEq for ParticipantConversationState<EF, V, LF, D>

fn eq(&self, other: &ParticipantConversationState<EF, V, LF, D>) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl<EF: PartialEq, V: PartialEq, LF: PartialEq, D: PartialEq> StructuralPartialEq for ParticipantConversationState<EF, V, LF, D>