Skip to main content

ObligationDebtDispatchTransition

Struct ObligationDebtDispatchTransition 

Source
pub struct ObligationDebtDispatchTransition { /* private fields */ }
Expand description

Move-only authority that prevents production from reinstalling a bare frontier after beginning a coupled transition.

Implementations§

Source§

impl ObligationDebtDispatchTransition

Source

pub fn complete( self, frontier: LiveFrontierOwner, observer_progress: DeliverySeq, ) -> Result<ObligationDebtDispatchState, ObligationDebtOwnerError>

Completes a coupled transition from the operation’s exact resulting frontier. Clear consumes any old episode; Owed reconciles all tagged participants and surviving facts into one complete episode.

§Errors

Returns ObligationDebtOwnerError if resulting frontier and observer state cannot form one coherent owner.

Source

pub fn complete_nonzero_ack<F>( self, frontier: LiveFrontierOwner, commit: NonzeroParticipantAckCommit, member: &mut LiveMember<F>, observer_progress: DeliverySeq, ) -> Result<(ObligationDebtDispatchState, AckCommitted), ObligationDebtOwnerError>

Completes one nonzero acknowledgement with the exact episode produced by its sealed commit instead of regenerating cursor facts from frontier scalars. The member, episode, and frontier therefore cross one protocol barrier as the same commit.

§Errors

Returns ObligationDebtOwnerError if the transition did not begin from Owed, the aggregate commit rejects the member/episode pair, or the exact resulting episode disagrees with the resulting frontier and closure debt.

Trait Implementations§

Source§

impl Debug for ObligationDebtDispatchTransition

Source§

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

Formats the value using the given formatter. Read more

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.