Struct ORSet 

pub struct ORSet<T: Ord> { /* private fields */ }

An observed-remove set (OR-Set) with add-wins semantics.

Each element is tracked with a timestamp. Removals record a tombstone timestamp. An element is considered present when its entry timestamp is greater than or equal to its tombstone timestamp (add-wins: concurrent add and remove resolve in favor of add).

The internal clock advances automatically on mutation and is bumped to max(self, other) on merge.

Implementations

impl<T: Ord> ORSet<T>

pub fn new() -> Self

Create an empty OR-Set.

pub fn insert(&mut self, value: T)

Insert an element. If previously removed, the add-wins semantics re-add it.

pub fn remove(&mut self, value: &T)

where T: Clone,

Remove an element by recording a tombstone at the current clock.

pub fn contains(&self, value: &T) -> bool

Returns true if the element is present (entry timestamp >= tombstone timestamp).

pub fn elements(&self) -> Vec<&T>

Returns a sorted vector of references to all present elements.

pub fn len(&self) -> usize

Returns the number of present elements.

pub fn is_empty(&self) -> bool

Returns true if no elements are present.

Trait Implementations

impl<T: Clone + Ord> Clone for ORSet<T>

fn clone(&self) -> ORSet<T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Debug + Ord> Debug for ORSet<T>

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

Formats the value using the given formatter.

impl<T: Ord> Default for ORSet<T>

fn default() -> Self

Returns the “default value” for a type.

impl<'de, T: Ord + DeserializeOwned> Deserialize<'de> for ORSet<T>

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>

where D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<T: Ord + Clone + PartialEq> Lattice for ORSet<T>

fn merge(&self, other: &Self) -> Self

Compute the least upper bound of self and other.

impl<T: PartialEq + Ord> PartialEq for ORSet<T>

fn eq(&self, other: &ORSet<T>) -> 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<T> Serialize for ORSet<T>

where T: 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<T: Eq + Ord> Eq for ORSet<T>

impl<T: Ord> StructuralPartialEq for ORSet<T>