Struct mz_compute::typedefs::spines::MzFlatLayout

pub struct MzFlatLayout<K, V, T, R> {
    phantom: PhantomData<(K, V, T, R)>,
}

A layout based on flat container stacks

Fields

phantom: PhantomData<(K, V, T, R)>

Trait Implementations

impl<K, V, T, R> Layout for MzFlatLayout<K, V, T, R>

where K: Region + Push<<K as Region>::Owned> + for<'a> Push<<K as Region>::ReadItem<'a>> + 'static, V: Region + Push<<V as Region>::Owned> + for<'a> Push<<V as Region>::ReadItem<'a>> + 'static, T: Region + Push<<T as Region>::Owned> + for<'a> Push<<T as Region>::ReadItem<'a>> + 'static, R: Region + Push<<R as Region>::Owned> + for<'a> Push<<R as Region>::ReadItem<'a>> + 'static, K::Owned: Ord + Clone + 'static, V::Owned: Ord + Clone + 'static, T::Owned: Ord + Clone + Lattice + Timestamp + 'static, R::Owned: Ord + Semigroup + 'static, for<'a> K::ReadItem<'a>: Copy + Ord, for<'a> V::ReadItem<'a>: Copy + Ord, for<'a> T::ReadItem<'a>: Copy + Ord, for<'a> R::ReadItem<'a>: Copy + Ord,

Layout implementation for MzFlatLayout. Mostly equivalent to differential’s flat layout but with a different opinion for the offset container. Here, we use OffsetOptimized instead of an offset list. If differential should gain access to the optimized variant, we might be able to remove this implementation.

type Target = MzFlatLayout<K, V, T, R>

The represented update.

type KeyContainer = FlatStack<K>

Container for update keys.

type ValContainer = FlatStack<V>

Container for update vals.

type TimeContainer = FlatStack<T>

Container for times.

type DiffContainer = FlatStack<R>

Container for diffs.

type OffsetContainer = OffsetOptimized

Container for offsets.

impl<K, V, T, R> Update for MzFlatLayout<K, V, T, R>

where K: Region, V: Region, T: Region, R: Region, K::Owned: Ord + Clone + 'static, V::Owned: Ord + Clone + 'static, T::Owned: Ord + Clone + Lattice + Timestamp + 'static, R::Owned: Ord + Semigroup + 'static,

type Key = <K as Region>::Owned

Key by which data are grouped.

type Val = <V as Region>::Owned

Values associated with the key.

type Time = <T as Region>::Owned

Time at which updates occur.

type Diff = <R as Region>::Owned

Way in which updates occur.