Trait differential_dataflow::operators::arrange::Arrange

pub trait Arrange<G: Scope, K, V, R: Diff, T> where
    G::Timestamp: Lattice,
    T: Trace<K, V, G::Timestamp, R> + 'static,
    T::Batch: Batch<K, V, G::Timestamp, R>, {
    fn arrange(
        &self, 
        empty_trace: T
    ) -> Arranged<G, K, V, R, TraceAgent<K, V, G::Timestamp, R, T>>;
}

A type that can be arranged into a trace of type T.

This trait is implemented for appropriately typed collections and all traces that might accommodate them, as well as by arranged data for their corresponding trace type.

Required Methods

fn arrange(
    &self,
    empty_trace: T
) -> Arranged<G, K, V, R, TraceAgent<K, V, G::Timestamp, R, T>>

Arranges a stream of (Key, Val) updates by Key. Accepts an empty instance of the trace type.

This operator arranges a stream of values into a shared trace, whose contents it maintains. This trace is current for all times marked completed in the output stream, and probing this stream is the correct way to determine that times in the shared trace are committed.

Implementors

• impl<G: Scope, K: Data + Hashable, V: Data, R: Diff, T> Arrange<G, K, V, R, T> for Collection<G, (K, V), R> where
    G::Timestamp: Lattice + Ord,
    T: Trace<K, V, G::Timestamp, R> + 'static,
    T::Batch: Batch<K, V, G::Timestamp, R>, 
• impl<G: Scope, K: Data + Hashable, R: Diff, T> Arrange<G, K, (), R, T> for Collection<G, K, R> where
    G::Timestamp: Lattice + Ord,
    T: Trace<K, (), G::Timestamp, R> + 'static,
    T::Batch: Batch<K, (), G::Timestamp, R>, 
• impl<G, K, V, R, T> Arrange<G, K, V, R, T> for Arranged<G, K, V, R, TraceAgent<K, V, G::Timestamp, R, T>> where
    G: Scope,
    G::Timestamp: Lattice,
    R: Diff,
    T: Trace<K, V, G::Timestamp, R> + Clone + 'static,
    T::Batch: Batch<K, V, G::Timestamp, R>,