Skip to main content

MarkerAckCommit

Struct MarkerAckCommit 

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

Atomic zero-debt marker-ack commit.

The retained marker permit proves delivery to the exact authoritative binding epoch. The cursor update is opaque and can be applied only through Self::apply_to. Nonzero-debt edge completion is deliberately outside this operation.

Implementations§

Source§

impl MarkerAckCommit

Source

pub const fn outcome(&self) -> &MarkerAckCommitted

Borrows the exact committed wire outcome.

Source

pub const fn observer_progress_projection(&self) -> ObserverProgressProjection

Projects the exact committed marker boundary into hard observer progress.

Source

pub const fn canonical_request(&self) -> MarkerAck

Returns the exact canonical request selected into this commit.

Source

pub const fn receiving_binding_epoch(&self) -> BindingEpoch

Returns the receiving binding epoch authorized by shared lookup.

Source

pub const fn offered_marker_delivery_seq(&self) -> DeliverySeq

Returns the exact marker sequence proven offered to the binding.

Source

pub const fn delivered_binding_epoch(&self) -> BindingEpoch

Returns the binding epoch on which the marker was proven offered.

Source

pub const fn from_cursor(&self) -> DeliverySeq

Returns the durable cursor prestate checked by this transition.

Source

pub const fn resulting_cursor(&self) -> DeliverySeq

Returns the exact post-transition cursor for replay audit.

Source

pub const fn proof(&self) -> &MarkerProofPermit

Borrows the exact delivered-marker authority retained by this commit.

Source

pub fn apply_to<F>( self, member: &mut LiveMember<F>, ) -> Result<MarkerAckCommitted, MarkerAckCommitError>

Applies this commit to either its exact old cursor or its already-written resulting cursor.

Replaying after a crash is idempotent: the old prestate advances once, while the exact new prestate returns the same MarkerAckCommitted without another mutation.

§Errors

Returns MarkerAckCommitError if the supplied member differs in conversation, participant, generation, or cursor prestate.

Trait Implementations§

Source§

impl Clone for MarkerAckCommit

Source§

fn clone(&self) -> MarkerAckCommit

Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
Source§

impl Debug for MarkerAckCommit

Source§

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

Formats the value using the given formatter. Read more
Source§

impl Eq for MarkerAckCommit

Source§

impl PartialEq for MarkerAckCommit

Source§

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

Equality operator ==. Read more
1.0.0 (const: unstable) · Source§

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

Inequality operator !=. Read more
Source§

impl StructuralPartialEq for MarkerAckCommit

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> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. 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> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
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.