Enum ObligationDebtDispatchState 

pub enum ObligationDebtDispatchState {
    Clear(LiveFrontierOwner),
    Owed(CoupledObligationDebtOwner),
}

Sole protocol-owned live frontier and obligation-debt dispatch state.

Variants

Clear(LiveFrontierOwner)

Closure accounting is clear and no cursor episode exists.

Owed(CoupledObligationDebtOwner)

Closure accounting is owed and one complete episode is move-coupled to it.

Implementations

impl ObligationDebtDispatchState

pub fn from_frontier( frontier: LiveFrontierOwner, observer_progress: DeliverySeq, ) -> Result<Self, ObligationDebtOwnerError>

Couples one validated frontier according to its resulting closure state.

Errors

Returns ObligationDebtOwnerError if an Owed frontier cannot form a complete episode from the same validated frontier and observer state.

pub const fn frontier(&self) -> &LiveFrontierOwner

Borrows the one live frontier owner.

pub const fn episode(&self) -> Option<&NonzeroDebtCursorEpisode>

Borrows the episode only on the Owed branch.

pub fn frontier_participant( &self, participant_id: ParticipantId, ) -> Option<(FrontierBinding, DeliverySeq)>

Returns one participant’s binding-tagged protocol cursor from the live frontier on both owner variants.

pub fn participant( &self, participant_id: ParticipantId, ) -> Option<(FrontierBinding, DeliverySeq)>

Returns one participant’s binding-tagged episode cursor on Owed.

pub fn begin_transition( self, ) -> (LiveFrontierOwner, ObligationDebtDispatchTransition)

Begins one consuming frontier transition while retaining the prior episode in an unforgeable completion token.

Trait Implementations

impl Debug for ObligationDebtDispatchState

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

Formats the value using the given formatter.

impl Eq for ObligationDebtDispatchState

impl PartialEq for ObligationDebtDispatchState

fn eq(&self, other: &ObligationDebtDispatchState) -> bool

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ObligationDebtDispatchState