[][src]Struct crdts::gset::GSet

pub struct GSet<T: Ord> { /* fields omitted */ }

A GSet is a grow-only set.

Implementations

impl<T: Ord> GSet<T>[src]

pub fn new() -> Self[src]

Instantiates an empty GSet.

pub fn insert(&mut self, element: T)[src]

Inserts an element into this GSet.

Examples

use crdts::GSet;
let mut a = GSet::new();
a.insert(1);
assert!(a.contains(&1));

pub fn contains(&self, element: &T) -> bool[src]

Returns true if the GSet contains the element.

Examples

use crdts::GSet;
let mut a = GSet::new();
a.insert(1);
assert!(a.contains(&1));

pub fn read(&self) -> BTreeSet<T> where
    T: Clone
[src]

Returns the BTreeSet for this GSet.

Examples

use crdts::GSet;
use std::collections::BTreeSet;
let mut a = GSet::new();
let mut b = BTreeSet::new();
for i in 1..10 {
    a.insert(i);
    b.insert(i);
}

assert_eq!(a.read(), b);

Trait Implementations

impl<T: Clone + Ord> Clone for GSet<T>[src]

impl<T: Ord> CmRDT for GSet<T>[src]

type Op = T

Op defines a mutation to the CRDT. As long as Op's from one actor are replayed in exactly the same order they were generated by that actor, the CRDT will converge. In other words, we must have a total ordering on each actors operations, while requiring only a partial order over all ops. E.g. Read more

impl<T: Ord + Clone> CvRDT for GSet<T>[src]

fn merge(&mut self, other: Self)[src]

Merges another GSet into this one.

Examples

use crdts::{GSet, CvRDT, CmRDT};
let (mut a, mut b) = (GSet::new(), GSet::new());
a.insert(1);
b.insert(2);
a.merge(b);
assert!(a.contains(&1));
assert!(a.contains(&2));

impl<T: Debug + Ord> Debug for GSet<T>[src]

impl<T: Ord> Default for GSet<T>[src]

impl<'de, T: Ord> Deserialize<'de> for GSet<T> where
    T: Deserialize<'de>, 
[src]

impl<T: Eq + Ord> Eq for GSet<T>[src]

impl<T: Ord> From<GSet<T>> for BTreeSet<T>[src]

impl<T: Hash + Ord> Hash for GSet<T>[src]

impl<T: PartialEq + Ord> PartialEq<GSet<T>> for GSet<T>[src]

impl<T: Ord> Serialize for GSet<T> where
    T: Serialize
[src]

impl<T: Ord> StructuralEq for GSet<T>[src]

impl<T: Ord> StructuralPartialEq for GSet<T>[src]

Auto Trait Implementations

impl<T> RefUnwindSafe for GSet<T> where
    T: RefUnwindSafe

impl<T> Send for GSet<T> where
    T: Send

impl<T> Sync for GSet<T> where
    T: Sync

impl<T> Unpin for GSet<T> where
    T: Unpin

impl<T> UnwindSafe for GSet<T> where
    T: RefUnwindSafe + UnwindSafe

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> DeserializeOwned for T where
    T: for<'de> Deserialize<'de>, 
[src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> Member for T where
    T: Clone + Eq + Hash
[src]

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<V, T> VZip<V> for T where
    V: MultiLane<T>,