Enum crdts::orswot::Op

pub enum Op<M, A: Ord> {
    Add {
        dot: Dot<A>,
        members: Vec<M>,
    },
    Rm {
        clock: VClock<A>,
        members: Vec<M>,
    },
}

Op’s define an edit to an Orswot, Op’s must be replayed in the exact order they were produced to guarantee convergence.

Op’s are idempotent, that is, applying an Op twice will not have an effect

Variants

Add

Fields

dot: Dot<A>

witnessing dot

members: Vec<M>

Members to add

Add members to the set

Rm

Fields

clock: VClock<A>

witnessing clock

members: Vec<M>

Members to remove

Remove member from the set

Trait Implementations

impl<A: Ord + Hash + Arbitrary + Debug, M: Hash + Eq + Arbitrary> Arbitrary for Op<M, A>

fn arbitrary(g: &mut Gen) -> Self

Return an arbitrary value.

fn shrink(&self) -> Box<dyn Iterator<Item = Self>>

Return an iterator of values that are smaller than itself.

impl<M: Clone, A: Clone + Ord> Clone for Op<M, A>

fn clone(&self) -> Op<M, A>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<M: Debug, A: Ord + Hash + Debug> Debug for Op<M, A>

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

Formats the value using the given formatter.

impl<'de, M, A> Deserialize<'de> for Op<M, A>where M: Deserialize<'de>, A: Deserialize<'de> + Ord,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<M: Hash, A: Hash + Ord> Hash for Op<M, A>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<M: PartialEq, A: PartialEq + Ord> PartialEq<Op<M, A>> for Op<M, A>

fn eq(&self, other: &Op<M, A>) -> bool

This method tests for self and other values to be equal, and is used by ==.

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

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

impl<M, A> Serialize for Op<M, A>where M: Serialize, A: Serialize + Ord,

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

Serialize this value into the given Serde serializer.

impl<M: Eq, A: Eq + Ord> Eq for Op<M, A>

impl<M, A: Ord> StructuralEq for Op<M, A>

impl<M, A: Ord> StructuralPartialEq for Op<M, A>