Struct MembershipDelta 

pub struct MembershipDelta {
    pub joined: Vec<Atom>,
    pub left: Vec<Atom>,
}

A membership transition carried from the event source to the consumer.

beamr delivers one transition at a time (INV-ALTERNATION, INV-EXACTLY-ONCE), so a delta produced by the source names exactly one peer on exactly one side. The batching shape is retained because it is the consumer-facing surface and the initial view legitimately yields several.

Fields

joined: Vec<Atom>

Peers that joined.

left: Vec<Atom>

Peers that left.

Implementations

impl MembershipDelta

pub fn is_empty(&self) -> bool

True when no peer joined or left.

Trait Implementations

impl Clone for MembershipDelta

fn clone(&self) -> MembershipDelta

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MembershipDelta

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

Formats the value using the given formatter.

impl Default for MembershipDelta

fn default() -> MembershipDelta

Returns the “default value” for a type.

impl Eq for MembershipDelta

impl PartialEq for MembershipDelta

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for MembershipDelta