Struct DiffSet 

pub struct DiffSet<F: Format<S, B>, T: SchemaWithPK, S, B> { /* private fields */ }

A frozen changeset or patchset whose rows are emitted in stored order.

DiffSet is produced by the binary parser (via ParsedDiffSet) or by converting from a DiffSetBuilder using Into::into. Unlike DiffSetBuilder, it stores tables and rows in a plain Vec, reflecting the fact that no further mutation or PK-based lookup is needed.

build serializes rows in the order they are stored. No session hash-table simulation is applied. This preserves the original row order of parsed binary data across roundtrips.

To modify a DiffSet, convert it back to a DiffSetBuilder using Into::into.

Implementations

impl<F: Format<S, B>, T: SchemaWithPK, S: AsRef<str> + Hash + Eq, B: AsRef<[u8]> + Hash + Eq> DiffSet<F, T, S, B>

pub fn is_empty(&self) -> bool

Returns true if there are no operations in any table.

pub fn len(&self) -> usize

Returns the total number of operations across all tables.

impl<F: Format<S, B>, T: SchemaWithPK, S: AsRef<str> + Hash + Eq, B: AsRef<[u8]> + Hash + Eq> DiffSet<F, T, S, B>

pub fn tables(&self) -> impl Iterator<Item = &T>

Returns the schema of each table that holds at least one operation, in stored order.

impl<T: SchemaWithPK, S: Clone + Debug + AsRef<str>, B: Clone + Debug + AsRef<[u8]>> DiffSet<ChangesetFormat, T, S, B>

pub fn iter(&self) -> impl Iterator<Item = ChangesetOp<'_, T, S, B>>

Iterate over every operation in the changeset.

Operations are yielded in stored order, grouped by table. Each ChangesetOp borrows from this DiffSet, so the returned iterator is invalidated when the DiffSet is dropped or mutated.

impl<T: SchemaWithPK, S: Clone + AsRef<str>, B: Clone + AsRef<[u8]>> DiffSet<PatchsetFormat, T, S, B>

pub fn iter(&self) -> impl Iterator<Item = PatchsetOp<'_, T, S, B>>

Iterate over every operation in the patchset.

Operations are yielded in stored order, grouped by table. Each PatchsetOp borrows from this DiffSet. For DELETE and UPDATE ops only the primary-key columns are available (patchset format does not carry full old-row values).

impl<T: SchemaWithPK, S: Clone + Debug + Hash + Eq + AsRef<str>, B: Clone + Debug + Hash + Eq + AsRef<[u8]>> DiffSet<ChangesetFormat, T, S, B>

pub fn build(&self) -> Vec<u8>

Serialize the changeset to binary.

Rows are emitted in stored order (no hash simulation).

impl<T: SchemaWithPK, S: Clone + Hash + Eq + AsRef<str>, B: Clone + Hash + Eq + AsRef<[u8]>> DiffSet<PatchsetFormat, T, S, B>

pub fn build(&self) -> Vec<u8>

Serialize the patchset to binary.

Rows are emitted in stored order (no hash simulation).

Trait Implementations

impl<F: Clone + Format<S, B>, T: Clone + SchemaWithPK, S: Clone, B: Clone> Clone for DiffSet<F, T, S, B>

fn clone(&self) -> DiffSet<F, T, S, B>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F: Debug + Format<S, B>, T: Debug + SchemaWithPK, S: Debug, B: Debug> Debug for DiffSet<F, T, S, B>

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

Formats the value using the given formatter.

impl<F: Format<S, B>, T: SchemaWithPK, S: AsRef<str> + Hash + Eq, B: AsRef<[u8]> + Hash + Eq> Default for DiffSet<F, T, S, B>

fn default() -> Self

Returns the “default value” for a type.

impl<T: SchemaWithPK, S: Clone + Debug + Hash + Eq + AsRef<str>, B: Clone + Debug + Hash + Eq + AsRef<[u8]>> DiffOps<T, S, B> for DiffSet<ChangesetFormat, T, S, B>

type Format = ChangesetFormat

The format (changeset or patchset) of the diff set.

type DeleteArg = ChangeDelete<T, S, B>

The argument type for the delete operation.

fn insert( self, insert: Insert<T, S, B>, ) -> DiffSetBuilder<ChangesetFormat, T, S, B>

Add an INSERT operation.

fn delete( self, delete: ChangeDelete<T, S, B>, ) -> DiffSetBuilder<ChangesetFormat, T, S, B>

Add a DELETE operation.

fn update( self, update: Update<T, ChangesetFormat, S, B>, ) -> DiffSetBuilder<ChangesetFormat, T, S, B>

Add an UPDATE operation.

impl<T: SchemaWithPK, S: Clone + Hash + Eq + AsRef<str>, B: Clone + Hash + Eq + AsRef<[u8]>> DiffOps<T, S, B> for DiffSet<PatchsetFormat, T, S, B>

type Format = PatchsetFormat

The format (changeset or patchset) of the diff set.

type DeleteArg = PatchDelete<T, S, B>

The argument type for the delete operation.

fn insert( self, insert: Insert<T, S, B>, ) -> DiffSetBuilder<PatchsetFormat, T, S, B>

Add an INSERT operation.

fn delete( self, delete: PatchDelete<T, S, B>, ) -> DiffSetBuilder<PatchsetFormat, T, S, B>

Add a DELETE operation.

fn update( self, update: Update<T, PatchsetFormat, S, B>, ) -> DiffSetBuilder<PatchsetFormat, T, S, B>

Add an UPDATE operation.

impl<F: Format<S, B>, T: SchemaWithPK, S, B> Eq for DiffSet<F, T, S, B>

where S: Eq + Hash + AsRef<str>, B: Eq + Hash + AsRef<[u8]>, F::Old: Eq, F::DeleteData: Eq,

impl<T: SchemaWithPK, S: Clone + Debug + Hash + Eq + AsRef<str>, B: Clone + Debug + Hash + Eq + AsRef<[u8]>> From<&DiffSet<ChangesetFormat, T, S, B>> for Vec<u8>

fn from(diffset: &DiffSet<ChangesetFormat, T, S, B>) -> Self

Converts to this type from the input type.

impl<T: SchemaWithPK, S: AsRef<str> + Clone + Hash + Eq, B: AsRef<[u8]> + Clone + Hash + Eq> From<&DiffSet<PatchsetFormat, T, S, B>> for Vec<u8>

fn from(diffset: &DiffSet<PatchsetFormat, T, S, B>) -> Self

Converts to this type from the input type.

impl<T: SchemaWithPK, S: Clone + Debug + Hash + Eq + AsRef<str>, B: Clone + Debug + Hash + Eq + AsRef<[u8]>> From<DiffSet<ChangesetFormat, T, S, B>> for Vec<u8>

fn from(diffset: DiffSet<ChangesetFormat, T, S, B>) -> Self

Converts to this type from the input type.

impl<F: Format<S, B>, T: SchemaWithPK, S: Hash + Eq + AsRef<str>, B: Hash + Eq + AsRef<[u8]>> From<DiffSet<F, T, S, B>> for DiffSetBuilder<F, T, S, B>

fn from(diffset: DiffSet<F, T, S, B>) -> Self

Converts to this type from the input type.

impl<T: SchemaWithPK, S: AsRef<str> + Clone + Hash + Eq, B: AsRef<[u8]> + Clone + Hash + Eq> From<DiffSet<PatchsetFormat, T, S, B>> for Vec<u8>

fn from(diffset: DiffSet<PatchsetFormat, T, S, B>) -> Self

Converts to this type from the input type.

impl<F: Format<S, B>, T: SchemaWithPK, S: Hash + Eq + AsRef<str>, B: Hash + Eq + AsRef<[u8]>> From<DiffSetBuilder<F, T, S, B>> for DiffSet<F, T, S, B>

fn from(builder: DiffSetBuilder<F, T, S, B>) -> Self

Converts to this type from the input type.

impl<F: Format<S, B>, T: SchemaWithPK, S, B> PartialEq for DiffSet<F, T, S, B>

where S: PartialEq + Eq + Hash + AsRef<str>, B: PartialEq + Eq + Hash + AsRef<[u8]>, F::Old: PartialEq, F::DeleteData: PartialEq,

Custom PartialEq that ignores tables with no operations (same semantics as DiffSetBuilder).

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<T: SchemaWithPK, S: Clone + Debug + Hash + Eq + AsRef<str>, B: Clone + Debug + Hash + Eq + AsRef<[u8]>> Reverse for DiffSet<ChangesetFormat, T, S, B>

type Output = DiffSet<ChangesetFormat, T, S, B>

The reverse of this operation.

fn reverse(self) -> Self::Output

Returns the reverse of this operation.