Skip to main content

Change

Struct Change 

Source
pub struct Change<V> {
    pub generation: u64,
    pub operation: Operation<V>,
}
Expand description

A row change carries the generation on the authoring device (§8.3).

Fields§

§generation: u64

Generation at which the change was made.

§operation: Operation<V>

The change and the values it sets.

Implementations§

Source§

impl<V> Change<V>

Source

pub fn validate(&self, row: &RowId) -> Result<(), MergeError>

Validate generation parity, advancement without overflow, and every written parent’s generation and audience for this row (§8.3–§9.1, §15). Values and their encodings are opaque here. The authoring database establishes generation witnesses; crate::apply checks the received change against applied metadata.

Source

pub fn after(&self) -> Result<u64, MergeError>

The row’s generation after this change: an insert or a delete advances it, an update keeps it (§8.3).

Source

pub fn incarnation(&self) -> Result<u64, MergeError>

The incarnation this change belongs to: generation + 1 for an insert, generation for an update or delete. Invalid parity is a typed error.

Trait Implementations§

Source§

impl<V: Clone> Clone for Change<V>

Source§

fn clone(&self) -> Change<V>

Returns a duplicate 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<V: Debug> Debug for Change<V>

Source§

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

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

impl<V: PartialEq> PartialEq for Change<V>

Source§

fn eq(&self, other: &Change<V>) -> bool

Tests for self and other values to be equal, and is used by ==.
1.0.0 · Source§

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
Source§

impl<V: Eq> Eq for Change<V>

Source§

impl<V> StructuralPartialEq for Change<V>

Auto Trait Implementations§

§

impl<V> Freeze for Change<V>

§

impl<V> RefUnwindSafe for Change<V>
where V: RefUnwindSafe,

§

impl<V> Send for Change<V>
where V: Send,

§

impl<V> Sync for Change<V>
where V: Sync,

§

impl<V> Unpin for Change<V>

§

impl<V> UnsafeUnpin for Change<V>

§

impl<V> UnwindSafe for Change<V>
where V: RefUnwindSafe,

Blanket Implementations§

Source§

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

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

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

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

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

Source§

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

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

§

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

§

impl<T> Instrument for T

§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided [Span], returning an Instrumented wrapper. Read more
§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
Source§

impl<T, U> Into<U> for T
where 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 T
where T: Clone,

Source§

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 T
where U: Into<T>,

Source§

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 T
where U: TryFrom<T>,

Source§

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

impl<T> WithSubscriber for T

§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a [WithDispatch] wrapper. Read more
§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a [WithDispatch] wrapper. Read more
§

impl<T> ErasedDestructor for T
where T: 'static,