Struct crdts::glist::GList

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

The GList is a grow-only list, that is, it allows inserts but not deletes. Elements in the list are paths through an ordered tree, the tree grows deeper when we try to insert between two elements who were inserted concurrently and whose paths happen to have the same prefix.

Implementations

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

pub fn new() -> Self

Create an empty GList

pub fn read<'a, C: FromIterator<&'a T>>(&'a self) -> C

Read the elements of the list into a user defined container

pub fn read_into<C: FromIterator<T>>(self) -> C

Read the elements of the list into a user defined container, consuming the list in the process.

pub fn iter(&self) -> Iter<'_, Identifier<T>>

Iterate over the elements of the list

pub fn get(&self, idx: usize) -> Option<&Identifier<T>>

Return the element and it’s marker at the specified index

pub fn insert_before( &self, high_id_opt: Option<&Identifier<T>>, elem: T ) -> Op<T>

Generate an Op to insert the given element before the given marker

pub fn insert_after(&self, low_id_opt: Option<&Identifier<T>>, elem: T) -> Op<T>

Generate an insert op to insert the given element after the given marker

pub fn len(&self) -> usize

Get the length of the list.

pub fn is_empty(&self) -> bool

Check if the list is empty.

pub fn first(&self) -> Option<&Identifier<T>>

Get first element of the sequence represented by the list.

pub fn last(&self) -> Option<&Identifier<T>>

Get last element of the sequence represented by the list.

Trait Implementations

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

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

Returns a copy of the value.

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

Performs copy-assignment from source.

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

type Op = 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.

type Validation = Infallible

The validation error returned by validate_op.

fn validate_op(&self, _: &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.

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

Apply an Op to the CRDT

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

type Validation = Infallible

The validation error returned by validate_merge.

fn validate_merge(&self, _: &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.

fn merge(&mut self, other: Self)

Merge the given CRDT into the current CRDT.

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

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

Formats the value using the given formatter.

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

fn default() -> Self

Returns the “default value” for a type.

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

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

Deserialize this value from the given Serde deserializer.

impl<T: Display + Ord> Display for GList<T>

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

Formats the value using the given formatter.

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

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

Feeds this value into the given Hasher.

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

Feeds a slice of this type into the given Hasher.

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

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

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

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.

impl<T> Serialize for GList<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 GList<T>

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

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