Struct differential_dataflow::capture::iterator::Iter[][src]

pub struct Iter<I, D, T, R> where
    I: Iterator<Item = Message<D, T, R>>,
    T: Hash + Ord + Lattice + Clone,
    D: Hash + Eq,
    T: Hash + Eq,
    R: Hash + Eq
{ /* fields omitted */ }

A direct implementation of a deduplicating, re-ordering iterator.

The iterator draws from a source that may have arbitrary duplication, be arbitrarily out of order, and yet produces each update once, with in-order batches. The iterator maintains a bounded memory footprint, proportional to the mismatch between the received updates and progress messages.

Implementations

impl<D, T, R, I> Iter<I, D, T, R> where
    I: Iterator<Item = Message<D, T, R>>,
    T: Hash + Ord + Lattice + Clone + Timestamp,
    D: Hash + Eq + Clone,
    R: Hash + Eq + Clone
[src]

pub fn new(iterator: I) -> Self[src]

Construct a new re-ordering, deduplicating iterator.

Trait Implementations

impl<D, T, R, I> Iterator for Iter<I, D, T, R> where
    I: Iterator<Item = Message<D, T, R>>,
    T: Hash + Ord + Lattice + Clone,
    D: Hash + Eq + Clone,
    R: Hash + Eq + Clone
[src]

type Item = (Vec<(D, T, R)>, Antichain<T>)

The type of the elements being iterated over.

Auto Trait Implementations

impl<I, D, T, R> RefUnwindSafe for Iter<I, D, T, R> where
    D: RefUnwindSafe,
    I: RefUnwindSafe,
    R: RefUnwindSafe,
    T: RefUnwindSafe

impl<I, D, T, R> Send for Iter<I, D, T, R> where
    D: Send,
    I: Send,
    R: Send,
    T: Send

impl<I, D, T, R> Sync for Iter<I, D, T, R> where
    D: Sync,
    I: Sync,
    R: Sync,
    T: Sync

impl<I, D, T, R> Unpin for Iter<I, D, T, R> where
    D: Unpin,
    I: Unpin,
    R: Unpin,
    T: Unpin

impl<I, D, T, R> UnwindSafe for Iter<I, D, T, R> where
    D: UnwindSafe,
    I: UnwindSafe,
    R: UnwindSafe,
    T: UnwindSafe

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<I> IntoIterator for I where
    I: Iterator
[src]

type Item = <I as Iterator>::Item

The type of the elements being iterated over.

type IntoIter = I

Which kind of iterator are we turning this into?

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.