Struct crdts::gset::GSet

source ·
pub struct GSet<T: Ord> { /* private fields */ }
Expand description

A GSet is a grow-only set.

Implementations§

source§

impl<T: Ord> GSet<T>

source

pub fn new() -> Self

Instantiates an empty GSet.

source

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

Inserts an element into this GSet.

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

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

Returns true if the GSet contains the element.

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

pub fn read(&self) -> BTreeSet<T>where T: Clone,

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§

source§

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

source§

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

Returns a copy of the value. Read more
1.0.0 · source§

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

Performs copy-assignment from source. Read more
source§

impl<T: Ord> CmRDT for GSet<T>

§

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
§

type Validation = Infallible

The validation error returned by validate_op.
source§

fn validate_op(&self, _op: &Self::Op) -> Result<(), Self::Validation>

Some CRDT’s have stricter requirements on how they must be used. To avoid violating these requirements, CRDT’s provide an interface to optionally validate op’s before they are applied. Read more
source§

fn apply(&mut self, op: Self::Op)

Apply an Op to the CRDT
source§

impl<T: Ord> CvRDT for GSet<T>

source§

fn merge(&mut self, other: Self)

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));
§

type Validation = Infallible

The validation error returned by validate_merge.
source§

fn validate_merge(&self, _other: &Self) -> Result<(), Self::Validation>

Some CRDT’s have stricter requirements on how they must be used. To avoid violating these requirements, CRDT’s provide an interface to optionally validate merge compatibility before attempting to merge. Read more
source§

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

source§

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

Formats the value using the given formatter. Read more
source§

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

source§

fn default() -> Self

Returns the “default value” for a type. Read more
source§

impl<'de, T> Deserialize<'de> for GSet<T>where T: Deserialize<'de> + Ord,

source§

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

Deserialize this value from the given Serde deserializer. Read more
source§

impl<T: Ord> From<GSet<T>> for BTreeSet<T>

source§

fn from(gset: GSet<T>) -> BTreeSet<T>

Converts to this type from the input type.
source§

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

source§

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

Feeds this value into the given Hasher. Read more
1.3.0 · source§

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

Feeds a slice of this type into the given Hasher. Read more
source§

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

source§

fn eq(&self, other: &GSet<T>) -> bool

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

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.
source§

impl<T> Serialize for GSet<T>where T: Serialize + Ord,

source§

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

Serialize this value into the given Serde serializer. Read more
source§

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

source§

impl<T: Ord> StructuralEq for GSet<T>

source§

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

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>

§

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

Blanket Implementations§

source§

impl<T> Any for Twhere T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for Twhere T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for Twhere T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for Twhere U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> ToOwned for Twhere T: Clone,

§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

§

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

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
source§

impl<T> DeserializeOwned for Twhere T: for<'de> Deserialize<'de>,