differential_dataflow::collection::containers

Trait Leave

Source 
pub trait Leave<T1, T2> {
    type OuterContainer;

    // Required method
    fn leave(self) -> Self::OuterContainer;
}
Expand description

A container that can leave from timestamp T1 into timestamp T2.

Required Associated Types§

Source

type OuterContainer

The resulting container type.

Required Methods§

Source

fn leave(self) -> Self::OuterContainer

Update timestamps from T1 to T2.

Implementations on Foreign Types§

Source§

impl<D, T1: Refines<T2>, T2: Timestamp, R> Leave<T1, T2> for Vec<(D, T1, R)>

Source§

type OuterContainer = Vec<(D, T2, R)>

Source§

fn leave(self) -> Self::OuterContainer

Implementors§