Struct cvrdt_exposition::g_set::GSet

pub struct GSet<X: Clone + Eq + Hash> {
    pub values: HashSet<X>,
}

A set that can only add values

Examples

Example usage, including demonstrating some properties:

use std::collections::HashSet;
use cvrdt_exposition::{Grow, GSet};
let mut x = GSet::new(HashSet::new());
for c in "abc".chars() {
    x.add(c);
}
assert_eq!(x.query(&'a'), true);
assert_eq!(x.query(&'z'), false);
assert!(x.le(&GSet::new("abcdef".chars().collect())));
let y = GSet::new("cdefg".chars().collect());
assert_eq!(x.merge(&y).payload(), y.merge(&x).payload());
let z = GSet::new("8675309abcdefg".chars().collect());
assert_eq!(x.merge(&y.merge(&z)).payload(), x.merge(&y).merge(&z).payload());

Fields

values: HashSet<X>

The contents of this set

Trait Implementations

impl<X: Clone + Eq + Hash> Clone for GSet<X>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<X: Debug + Clone + Eq + Hash> Debug for GSet<X>

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

Formats the value using the given formatter.

impl<X: Clone + Eq + Hash> Grow for GSet<X>

type Payload = HashSet<X>

The internal state of our CvRDT; sufficient to build a new copy via new. Required to implement Eq for testing and verification.

type Update = X

Message to update our internal state

type Query = X

Message to query the Value of our CvRDT

type Value = bool

The response to a Query

fn new(payload: Self::Payload) -> Self

Create a new version of our data structure from the given Payload

fn payload(&self) -> Self::Payload

Retrieve the Payload (internal state) of this CvRDT

fn add(&mut self, update: Self::Update)

Add an item to the data structure, mutating this CvRDT in place

fn le(&self, other: &Self) -> bool

Is this CvRDT ≤ another in the semilattice's partial order?

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

Merge this data structure and another into a new CvRDT

fn query(&self, query: &Self::Query) -> Self::Value

Query the data structure to get some Value