Struct differential_dataflow::trace::implementations::ord::OrdValBatch [−][src]
An immutable collection of update tuples, from a contiguous interval of logical times.
Fields
layer: OrderedLayer<K, OrderedLayer<V, OrderedLeaf<T, R>, O>, O>
Where all the dataz is.
desc: Description<T>
Description of the update times this layer represents.
Trait Implementations
impl<K, V, T, R, O> Abomonation for OrdValBatch<K, V, T, R, O> where
K: Ord,
V: Ord,
T: Lattice,
O: OrdOffset,
<O as TryFrom<usize>>::Error: Debug,
<O as TryInto<usize>>::Error: Debug,
OrderedLayer<K, OrderedLayer<V, OrderedLeaf<T, R>, O>, O>: Abomonation,
K: Abomonation,
V: Abomonation,
T: Abomonation,
R: Abomonation,
O: Abomonation,
Description<T>: Abomonation,
[src]
K: Ord,
V: Ord,
T: Lattice,
O: OrdOffset,
<O as TryFrom<usize>>::Error: Debug,
<O as TryInto<usize>>::Error: Debug,
OrderedLayer<K, OrderedLayer<V, OrderedLeaf<T, R>, O>, O>: Abomonation,
K: Abomonation,
V: Abomonation,
T: Abomonation,
R: Abomonation,
O: Abomonation,
Description<T>: Abomonation,
unsafe fn entomb<W: Write>(&self, _write: &mut W) -> Result<()>
[src]
fn extent(&self) -> usize
[src]
unsafe fn exhume<'a, 'b>(
&'a mut self,
bytes: &'b mut [u8]
) -> Option<&'b mut [u8]>
[src]
&'a mut self,
bytes: &'b mut [u8]
) -> Option<&'b mut [u8]>
impl<K, V, T, R, O> Batch<K, V, T, R> for OrdValBatch<K, V, T, R, O> where
K: Ord + Clone + 'static,
V: Ord + Clone + 'static,
T: Lattice + Timestamp + Ord + Clone + Debug + 'static,
R: Semigroup,
O: OrdOffset,
<O as TryFrom<usize>>::Error: Debug,
<O as TryInto<usize>>::Error: Debug,
[src]
K: Ord + Clone + 'static,
V: Ord + Clone + 'static,
T: Lattice + Timestamp + Ord + Clone + Debug + 'static,
R: Semigroup,
O: OrdOffset,
<O as TryFrom<usize>>::Error: Debug,
<O as TryInto<usize>>::Error: Debug,
type Batcher = MergeBatcher<K, V, T, R, Self>
A type used to assemble batches from disordered updates.
type Builder = OrdValBuilder<K, V, T, R, O>
A type used to assemble batches from ordered update sequences.
type Merger = OrdValMerger<K, V, T, R, O>
A type used to progressively merge batches.
fn begin_merge(
&self,
other: &Self,
compaction_frontier: Option<AntichainRef<'_, T>>
) -> Self::Merger
[src]
&self,
other: &Self,
compaction_frontier: Option<AntichainRef<'_, T>>
) -> Self::Merger
fn empty(lower: Antichain<T>, upper: Antichain<T>, since: Antichain<T>) -> Self
[src]
impl<K, V, T, R, O> BatchReader<K, V, T, R> for OrdValBatch<K, V, T, R, O> where
K: Ord + Clone + 'static,
V: Ord + Clone + 'static,
T: Lattice + Ord + Clone + 'static,
R: Semigroup,
O: OrdOffset,
<O as TryFrom<usize>>::Error: Debug,
<O as TryInto<usize>>::Error: Debug,
[src]
K: Ord + Clone + 'static,
V: Ord + Clone + 'static,
T: Lattice + Ord + Clone + 'static,
R: Semigroup,
O: OrdOffset,
<O as TryFrom<usize>>::Error: Debug,
<O as TryInto<usize>>::Error: Debug,
type Cursor = OrdValCursor<V, T, R, O>
The type used to enumerate the batch’s contents.
fn cursor(&self) -> Self::Cursor
[src]
fn len(&self) -> usize
[src]
fn description(&self) -> &Description<T>
[src]
fn is_empty(&self) -> bool
[src]
fn lower(&self) -> &Antichain<T>
[src]
fn upper(&self) -> &Antichain<T>
[src]
impl<K, V, T, R, O> Builder<K, V, T, R, OrdValBatch<K, V, T, R, O>> for OrdValBuilder<K, V, T, R, O> where
K: Ord + Clone + 'static,
V: Ord + Clone + 'static,
T: Lattice + Timestamp + Ord + Clone + Debug + 'static,
R: Semigroup,
O: OrdOffset,
<O as TryFrom<usize>>::Error: Debug,
<O as TryInto<usize>>::Error: Debug,
[src]
K: Ord + Clone + 'static,
V: Ord + Clone + 'static,
T: Lattice + Timestamp + Ord + Clone + Debug + 'static,
R: Semigroup,
O: OrdOffset,
<O as TryFrom<usize>>::Error: Debug,
<O as TryInto<usize>>::Error: Debug,
fn new() -> Self
[src]
fn with_capacity(cap: usize) -> Self
[src]
fn push(&mut self, (key, val, time, diff): (K, V, T, R))
[src]
fn done(
self,
lower: Antichain<T>,
upper: Antichain<T>,
since: Antichain<T>
) -> OrdValBatch<K, V, T, R, O>
[src]
self,
lower: Antichain<T>,
upper: Antichain<T>,
since: Antichain<T>
) -> OrdValBatch<K, V, T, R, O>
fn extend<I: Iterator<Item = (K, V, T, R)>>(&mut self, iter: I)
[src]
impl<K: Debug, V: Debug, T: Debug, R: Debug, O: Debug> Debug for OrdValBatch<K, V, T, R, O> where
K: Ord,
V: Ord,
T: Lattice,
O: OrdOffset,
<O as TryFrom<usize>>::Error: Debug,
<O as TryInto<usize>>::Error: Debug,
[src]
K: Ord,
V: Ord,
T: Lattice,
O: OrdOffset,
<O as TryFrom<usize>>::Error: Debug,
<O as TryInto<usize>>::Error: Debug,
impl<K, V, T, R, O> Merger<K, V, T, R, OrdValBatch<K, V, T, R, O>> for OrdValMerger<K, V, T, R, O> where
K: Ord + Clone + 'static,
V: Ord + Clone + 'static,
T: Lattice + Timestamp + Ord + Clone + Debug + 'static,
R: Semigroup,
O: OrdOffset,
<O as TryFrom<usize>>::Error: Debug,
<O as TryInto<usize>>::Error: Debug,
[src]
K: Ord + Clone + 'static,
V: Ord + Clone + 'static,
T: Lattice + Timestamp + Ord + Clone + Debug + 'static,
R: Semigroup,
O: OrdOffset,
<O as TryFrom<usize>>::Error: Debug,
<O as TryInto<usize>>::Error: Debug,
fn new(
batch1: &OrdValBatch<K, V, T, R, O>,
batch2: &OrdValBatch<K, V, T, R, O>,
compaction_frontier: Option<AntichainRef<'_, T>>
) -> Self
[src]
batch1: &OrdValBatch<K, V, T, R, O>,
batch2: &OrdValBatch<K, V, T, R, O>,
compaction_frontier: Option<AntichainRef<'_, T>>
) -> Self
fn done(self) -> OrdValBatch<K, V, T, R, O>
[src]
fn work(
&mut self,
source1: &OrdValBatch<K, V, T, R, O>,
source2: &OrdValBatch<K, V, T, R, O>,
fuel: &mut isize
)
[src]
&mut self,
source1: &OrdValBatch<K, V, T, R, O>,
source2: &OrdValBatch<K, V, T, R, O>,
fuel: &mut isize
)
Auto Trait Implementations
impl<K, V, T, R, O> RefUnwindSafe for OrdValBatch<K, V, T, R, O> where
K: RefUnwindSafe,
O: RefUnwindSafe,
R: RefUnwindSafe,
T: RefUnwindSafe,
V: RefUnwindSafe,
K: RefUnwindSafe,
O: RefUnwindSafe,
R: RefUnwindSafe,
T: RefUnwindSafe,
V: RefUnwindSafe,
impl<K, V, T, R, O> Send for OrdValBatch<K, V, T, R, O> where
K: Send,
O: Send,
R: Send,
T: Send,
V: Send,
K: Send,
O: Send,
R: Send,
T: Send,
V: Send,
impl<K, V, T, R, O> Sync for OrdValBatch<K, V, T, R, O> where
K: Sync,
O: Sync,
R: Sync,
T: Sync,
V: Sync,
K: Sync,
O: Sync,
R: Sync,
T: Sync,
V: Sync,
impl<K, V, T, R, O> Unpin for OrdValBatch<K, V, T, R, O> where
K: Unpin,
O: Unpin,
R: Unpin,
T: Unpin,
V: Unpin,
K: Unpin,
O: Unpin,
R: Unpin,
T: Unpin,
V: Unpin,
impl<K, V, T, R, O> UnwindSafe for OrdValBatch<K, V, T, R, O> where
K: UnwindSafe,
O: UnwindSafe,
R: UnwindSafe,
T: UnwindSafe,
V: UnwindSafe,
K: UnwindSafe,
O: UnwindSafe,
R: UnwindSafe,
T: UnwindSafe,
V: 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 + Send + Sync + Any + Abomonation,
T: 'static + Send + Sync + Any + Abomonation,
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
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>,