Struct GSet 

pub struct GSet<T: Ord + Clone> { /* private fields */ }

A grow-only set (G-Set).

Elements can be added but never removed. Merge is simply the union of both sets. This is the simplest set CRDT.

Example

use crdt_kit::prelude::*;

let mut s1 = GSet::new();
s1.insert("apple");
s1.insert("banana");

let mut s2 = GSet::new();
s2.insert("cherry");

s1.merge(&s2);
assert_eq!(s1.len(), 3);
assert!(s1.contains(&"cherry"));

Implementations

impl<T: Ord + Clone> GSet<T>

pub fn new() -> Self

Create a new empty G-Set.

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

Insert an element into the set.

Returns true if the element was newly inserted.

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

Check if the set contains an element.

pub fn len(&self) -> usize

Get the number of elements in the set.

pub fn is_empty(&self) -> bool

Check if the set is empty.

pub fn iter(&self) -> impl Iterator<Item = &T>

Iterate over the elements in the set.

Trait Implementations

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

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Ord + Clone> Crdt for GSet<T>

fn merge(&mut self, other: &Self)

Merge another replica’s state into this one.

impl<T: Debug + Ord + Clone> Debug for GSet<T>

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

Formats the value using the given formatter.

impl<T: Ord + Clone> Default for GSet<T>

fn default() -> Self

Returns the “default value” for a type.

impl<T: Ord + Clone> FromIterator<T> for GSet<T>

fn from_iter<I: IntoIterator<Item = T>>(iter: I) -> Self

Creates a value from an iterator.

impl<T: Ord + Clone> IntoIterator for GSet<T>

type Item = T

The type of the elements being iterated over.

type IntoIter = IntoIter<T>

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.

impl<T: PartialEq + Ord + Clone> PartialEq for GSet<T>

fn eq(&self, other: &GSet<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: Eq + Ord + Clone> Eq for GSet<T>

impl<T: Ord + Clone> StructuralPartialEq for GSet<T>