Skip to main content

TimelineDiffMinimizer

Struct TimelineDiffMinimizer 

Source
struct TimelineDiffMinimizer<'a, S, I> {
    store: &'a S,
    item_map: HashMap<String, I>,
    updated_item_ids: HashSet<String>,
}
Expand description

A helper struct to minimize a list of VectorDiff.

This does not support VectorDiff::Clear, VectorDiff::Truncate and VectorDiff::Reset as we assume that lists including those cannot be minimized in an optimal way.

Fields§

§store: &'a S§item_map: HashMap<String, I>§updated_item_ids: HashSet<String>

Implementations§

Source§

impl<'a, S, I> TimelineDiffMinimizer<'a, S, I>

Source

fn new(store: &'a S) -> Self

Construct a TimelineDiffMinimizer with the given store.

Source§

impl<S, I> TimelineDiffMinimizer<'_, S, I>
where S: TimelineDiffItemStore<Item = I>, I: TimelineDiffItem + Debug,

Source

fn load_items(&mut self) -> Vec<String>

Load the items from the store.

Returns the list of timeline IDs of the items.

Source

fn update_or_create_item(&mut self, data: &S::Data) -> String

Update or create an item in the store using the given data.

Returns the timeline ID of the item.

Source

fn apply_diff_to_items( &mut self, item_ids: &[String], diff_list: Vec<VectorDiff<S::Data>>, ) -> Vec<String>

Apply the given diff to the given items.

Source

fn item_diff_list( &self, old_item_ids: &[String], new_item_ids: &[String], ) -> Vec<TimelineDiff<S::Item>>

Compute the list of item diffs between the two given lists.

Uses a diff algorithm to minimize the removals and additions.

Source

fn per_item_diff<'a>( old_item_ids: &'a [String], new_item_ids: &'a [String], ) -> Vec<ItemDiff<'a>>

Get a per-item diff by implementing a simple longest common subsequence (LCS) algorithm to find the minimal diff. Given that the list should not be too long, we do not need an efficient and more complicated algorithm.

Source: https://en.wikipedia.org/wiki/Longest_common_subsequence

Source

fn apply(self, diff_list: Vec<VectorDiff<S::Data>>)

Minimize the given diff and apply it to the store.

Auto Trait Implementations§

§

impl<'a, S, I> Freeze for TimelineDiffMinimizer<'a, S, I>

§

impl<'a, S, I> RefUnwindSafe for TimelineDiffMinimizer<'a, S, I>

§

impl<'a, S, I> Send for TimelineDiffMinimizer<'a, S, I>
where S: Sync, I: Send,

§

impl<'a, S, I> Sync for TimelineDiffMinimizer<'a, S, I>
where S: Sync, I: Sync,

§

impl<'a, S, I> Unpin for TimelineDiffMinimizer<'a, S, I>
where I: Unpin,

§

impl<'a, S, I> UnsafeUnpin for TimelineDiffMinimizer<'a, S, I>

§

impl<'a, S, I> UnwindSafe for TimelineDiffMinimizer<'a, S, I>

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> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, W> HasTypeWitness<W> for T
where W: MakeTypeWitness<Arg = T>, T: ?Sized,

Source§

const WITNESS: W = W::MAKE

A constant of the type witness
Source§

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

Source§

const TYPE_EQ: TypeEq<T, <T as Identity>::Type> = TypeEq::NEW

Proof that Self is the same type as Self::Type, provides methods for casting between Self and Self::Type.
Source§

type Type = T

The same type as Self, used to emulate type equality bounds (T == U) with associated type equality constraints (T: Identity<Type = U>).
Source§

impl<T> Instrument for T

Source§

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

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

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> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

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

Source§

fn and<P, B, E>(self, other: P) -> And<T, P>
where T: Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns Action::Follow only if self and other return Action::Follow. Read more
Source§

fn or<P, B, E>(self, other: P) -> Or<T, P>
where T: Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns Action::Follow if either self or other returns Action::Follow. Read more
Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
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.
Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V

Source§

impl<T> WithSubscriber for T

Source§

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

fn with_current_subscriber(self) -> WithDispatch<Self>

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

impl<T> Any for T
where T: Any,

§

impl<T> JsonCastable<CanonicalJsonValue> for T

§

impl<T> JsonCastable<Value> for T

§

impl<T> SendOutsideWasm for T
where T: Send,

§

impl<T> SyncOutsideWasm for T
where T: Sync,