pub struct ContainerRebuildSummary { /* private fields */ }Expand description
Summary returned by container rebuild.
changed means some container entry changed during rebuild, either because
its contents changed or because its outer id canonicalized.
dirty_ids is narrower: it records container ids whose semantics changed
while their stored outer id stayed stable. Ordinary table rebuild already
handles changed-id cases; these ids need a follow-up parent-row refresh.
For example, l(vec-of(w(k(b)))) can rebuild to l(vec-of(k(b))) without
changing the Vec id. The row is now newly matchable, but seminaive will
miss it unless the parent row is retimestamped.
Implementations§
Trait Implementations§
Source§impl Clone for ContainerRebuildSummary
impl Clone for ContainerRebuildSummary
Source§fn clone(&self) -> ContainerRebuildSummary
fn clone(&self) -> ContainerRebuildSummary
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Default for ContainerRebuildSummary
impl Default for ContainerRebuildSummary
Source§fn default() -> ContainerRebuildSummary
fn default() -> ContainerRebuildSummary
Returns the “default value” for a type. Read more
Auto Trait Implementations§
impl Freeze for ContainerRebuildSummary
impl RefUnwindSafe for ContainerRebuildSummary
impl Send for ContainerRebuildSummary
impl Sync for ContainerRebuildSummary
impl Unpin for ContainerRebuildSummary
impl UnwindSafe for ContainerRebuildSummary
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
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 moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
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