Struct VersionVector

pub struct VersionVector(/* private fields */);

Version vector.

The PartialOrd impl provides the “happened-before” relation like follows:

• Some(Ordering::Equal) -> the vectors are exactly equal
• Some(Ordering::Less) -> the lhs vector happened-before the rhs vector
• Some(Ordering::Greater) -> the rhs vector happened-before the lhs vector
• None -> the version vectors are concurrent

Implementations

impl VersionVector

pub const fn new() -> Self

Creates an empty version vector.

pub fn first(writer_id: PublicKey) -> Self

pub fn insert(&mut self, writer_id: PublicKey, version: u64)

Inserts an entry into this version vector. If the entry already exists, it’s overwritten only if the new version is higher than the existing version. This operation is idempotent.

pub fn get(&self, writer_id: &PublicKey) -> u64

Retrieves the version corresponding to the given replica id.

pub fn increment(&mut self, writer_id: PublicKey)

Increments the version corresponding to the given replica id.

pub fn incremented(self, writer_id: PublicKey) -> Self

Returns self with the version corresponding to writer_id incremented.

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

Merge two version vectors into one. The version of each entry in the resulting vector is the maximum of the corresponding entries of the input vectors.

This operation is commutative, associative and idempotent.

pub fn merged(self, other: &Self) -> Self

Returns self merged with other.

pub fn saturating_sub(&self, rhs: &Self) -> Self

Saturating subtraction.

pub fn is_empty(&self) -> bool

Trait Implementations

impl Add for &VersionVector

type Output = VersionVector

The resulting type after applying the + operator.

fn add(self, other: Self) -> Self::Output

Performs the + operation.

impl<'a> AddAssign<&'a VersionVector> for VersionVector

fn add_assign(&mut self, rhs: &'a VersionVector)

Performs the += operation.

impl AddAssign for VersionVector

fn add_assign(&mut self, rhs: VersionVector)

Performs the += operation.

impl Clone for VersionVector

fn clone(&self) -> VersionVector

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for VersionVector

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

Formats the value using the given formatter.

impl<'r> Decode<'r, Sqlite> for VersionVector

fn decode(value: SqliteValueRef<'r>) -> Result<Self, BoxDynError>

Decode a new value of this type using a raw value from the database.

impl Default for VersionVector

fn default() -> VersionVector

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for VersionVector

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<'q> Encode<'q, Sqlite> for VersionVector

fn encode_by_ref(&self, args: &mut Vec<SqliteArgumentValue<'q>>) -> IsNull

Writes the value of self into buf without moving self.

fn encode(self, buf: &mut <DB as HasArguments<'q>>::ArgumentBuffer) -> IsNull

where Self: Sized,

Writes the value of self into buf in the expected format for the database.

fn produces(&self) -> Option<<DB as Database>::TypeInfo>

fn size_hint(&self) -> usize

impl FromIterator<(PublicKey, u64)> for VersionVector

fn from_iter<T>(iter: T) -> Self

where T: IntoIterator<Item = (PublicKey, u64)>,

Creates a value from an iterator.

impl Hashable for VersionVector

fn update_hash<S: Digest>(&self, state: &mut S)

fn update_hash_slice<S>(slice: &[Self], state: &mut S)

where S: Digest, Self: Sized,

fn hash_with<H>(&self) -> Hash

where H: Digest<OutputSize = U32>,

fn hash(&self) -> Hash

impl PartialEq for VersionVector

fn eq(&self, other: &Self) -> 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 PartialOrd for VersionVector

fn partial_cmp(&self, other: &Self) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

Tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Serialize for VersionVector

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<'a> Sum<&'a VersionVector> for VersionVector

fn sum<I>(iter: I) -> Self

where I: Iterator<Item = &'a VersionVector>,

Takes an iterator and generates Self from the elements by “summing up” the items.

impl Type<Sqlite> for VersionVector

fn type_info() -> SqliteTypeInfo

Returns the canonical SQL type for this Rust type.

fn compatible(ty: &<DB as Database>::TypeInfo) -> bool

Determines if this Rust type is compatible with the given SQL type.

impl Eq for VersionVector