Struct differential_dataflow::trace::wrappers::enter_at::TraceEnter [−][src]
Wrapper to provide trace to nested scope.
Each wrapped update is presented with a timestamp determined by logic
.
At the same time, we require a method prior
that can “invert” timestamps,
and which will be applied to compaction frontiers as they are communicated
back to the wrapped traces. A better explanation is pending, and until that
happens use this construct at your own peril!
Implementations
impl<Tr, TInner, F, G> TraceEnter<Tr, TInner, F, G> where
Tr: TraceReader,
Tr::Time: Timestamp,
TInner: Refines<Tr::Time> + Lattice,
[src]
Tr: TraceReader,
Tr::Time: Timestamp,
TInner: Refines<Tr::Time> + Lattice,
Trait Implementations
impl<Tr, TInner, F, G> Clone for TraceEnter<Tr, TInner, F, G> where
Tr: TraceReader + Clone,
F: Clone,
G: Clone,
[src]
Tr: TraceReader + Clone,
F: Clone,
G: Clone,
fn clone(&self) -> Self
[src]
pub fn clone_from(&mut self, source: &Self)
1.0.0[src]
impl<Tr, TInner, F, G> TraceReader for TraceEnter<Tr, TInner, F, G> where
Tr: TraceReader,
Tr::Batch: Clone,
Tr::Key: 'static,
Tr::Val: 'static,
Tr::Time: Timestamp,
TInner: Refines<Tr::Time> + Lattice,
Tr::R: 'static,
F: 'static,
F: FnMut(&Tr::Key, &Tr::Val, &Tr::Time) -> TInner + Clone,
G: FnMut(&TInner) -> Tr::Time + Clone + 'static,
[src]
Tr: TraceReader,
Tr::Batch: Clone,
Tr::Key: 'static,
Tr::Val: 'static,
Tr::Time: Timestamp,
TInner: Refines<Tr::Time> + Lattice,
Tr::R: 'static,
F: 'static,
F: FnMut(&Tr::Key, &Tr::Val, &Tr::Time) -> TInner + Clone,
G: FnMut(&TInner) -> Tr::Time + Clone + 'static,
type Key = Tr::Key
Key by which updates are indexed.
type Val = Tr::Val
Values associated with keys.
type Time = TInner
Timestamps associated with updates
type R = Tr::R
Associated update.
type Batch = BatchEnter<Tr::Key, Tr::Val, Tr::Time, Tr::R, Tr::Batch, TInner, F>
The type of an immutable collection of updates.
type Cursor = CursorEnter<Tr::Key, Tr::Val, Tr::Time, Tr::R, Tr::Cursor, TInner, F>
The type used to enumerate the collections contents.
fn map_batches<F2: FnMut(&Self::Batch)>(&self, f: F2)
[src]
fn set_logical_compaction(&mut self, frontier: AntichainRef<'_, TInner>)
[src]
fn get_logical_compaction(&mut self) -> AntichainRef<'_, TInner>
[src]
fn set_physical_compaction(&mut self, frontier: AntichainRef<'_, TInner>)
[src]
fn get_physical_compaction(&mut self) -> AntichainRef<'_, TInner>
[src]
fn cursor_through(
&mut self,
upper: AntichainRef<'_, TInner>
) -> Option<(Self::Cursor, <Self::Cursor as Cursor<Tr::Key, Tr::Val, TInner, Tr::R>>::Storage)>
[src]
&mut self,
upper: AntichainRef<'_, TInner>
) -> Option<(Self::Cursor, <Self::Cursor as Cursor<Tr::Key, Tr::Val, TInner, Tr::R>>::Storage)>
fn cursor(
&mut self
) -> (Self::Cursor, <Self::Cursor as Cursor<Self::Key, Self::Val, Self::Time, Self::R>>::Storage)
[src]
&mut self
) -> (Self::Cursor, <Self::Cursor as Cursor<Self::Key, Self::Val, Self::Time, Self::R>>::Storage)
fn advance_by(&mut self, frontier: AntichainRef<'_, Self::Time>)
[src]
fn advance_frontier(&mut self) -> AntichainRef<'_, Self::Time>
[src]
fn distinguish_since(&mut self, frontier: AntichainRef<'_, Self::Time>)
[src]
fn distinguish_frontier(&mut self) -> AntichainRef<'_, Self::Time>
[src]
fn read_upper(&mut self, target: &mut Antichain<Self::Time>) where
Self::Time: Timestamp,
[src]
Self::Time: Timestamp,
fn advance_upper(&mut self, upper: &mut Antichain<Self::Time>) where
Self::Time: Timestamp,
[src]
Self::Time: Timestamp,
Auto Trait Implementations
impl<Tr, TInner, F, G> RefUnwindSafe for TraceEnter<Tr, TInner, F, G> where
F: RefUnwindSafe,
G: RefUnwindSafe,
TInner: RefUnwindSafe,
Tr: RefUnwindSafe,
<Tr as TraceReader>::Time: RefUnwindSafe,
F: RefUnwindSafe,
G: RefUnwindSafe,
TInner: RefUnwindSafe,
Tr: RefUnwindSafe,
<Tr as TraceReader>::Time: RefUnwindSafe,
impl<Tr, TInner, F, G> Send for TraceEnter<Tr, TInner, F, G> where
F: Send,
G: Send,
TInner: Send,
Tr: Send,
<Tr as TraceReader>::Time: Send,
F: Send,
G: Send,
TInner: Send,
Tr: Send,
<Tr as TraceReader>::Time: Send,
impl<Tr, TInner, F, G> Sync for TraceEnter<Tr, TInner, F, G> where
F: Sync,
G: Sync,
TInner: Sync,
Tr: Sync,
<Tr as TraceReader>::Time: Sync,
F: Sync,
G: Sync,
TInner: Sync,
Tr: Sync,
<Tr as TraceReader>::Time: Sync,
impl<Tr, TInner, F, G> Unpin for TraceEnter<Tr, TInner, F, G> where
F: Unpin,
G: Unpin,
TInner: Unpin,
Tr: Unpin,
<Tr as TraceReader>::Time: Unpin,
F: Unpin,
G: Unpin,
TInner: Unpin,
Tr: Unpin,
<Tr as TraceReader>::Time: Unpin,
impl<Tr, TInner, F, G> UnwindSafe for TraceEnter<Tr, TInner, F, G> where
F: UnwindSafe,
G: UnwindSafe,
TInner: UnwindSafe,
Tr: UnwindSafe,
<Tr as TraceReader>::Time: UnwindSafe,
F: UnwindSafe,
G: UnwindSafe,
TInner: UnwindSafe,
Tr: UnwindSafe,
<Tr as TraceReader>::Time: UnwindSafe,
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
pub fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> Data for T where
T: 'static + Clone,
[src]
T: 'static + Clone,
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
pub fn to_owned(&self) -> T
[src]
pub fn clone_into(&self, target: &mut T)
[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,