Struct StandingStoreAck 

pub struct StandingStoreAck {
    pub assertion: StoreAckAssertion,
    pub activating_commit: Option<StoreBatchCommitRef>,
}

The acknowledgement a device currently stands behind: what it asserted, and the commit that carried it.

Kept so the next cycle can ask whether that acknowledgement still says everything true, instead of publishing another one to find out.

Fields

assertion: StoreAckAssertion

activating_commit: Option<StoreBatchCommitRef>

The commit that published it, when it activated one.

An acknowledgement cannot cover the commit that carries it — that commit does not exist until the acknowledgement is signed. So this is the one position in the Store’s history the assertion leaves behind on purpose, and the one advance that is not a reason to acknowledge again. Without it a device acknowledges its own acknowledgement, cycle after cycle, forever.

Implementations

impl StandingStoreAck

pub fn still_holds(&self, assertion: &StoreAckAssertion) -> bool

Whether assertion says exactly what this acknowledgement already said.

Destructured exhaustively for the same reason StoreAckBody::assertion is: a field added to the assertion has to be compared here, or the acknowledgement could change without anything noticing.

Trait Implementations

impl Clone for StandingStoreAck

fn clone(&self) -> StandingStoreAck

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StandingStoreAck

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for StandingStoreAck

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for StandingStoreAck

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for StandingStoreAck

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for StandingStoreAck

impl StructuralPartialEq for StandingStoreAck