Trait differential_dataflow::trace::implementations::Layout

pub trait Layout {
    type Target: Update + ?Sized;
    type KeyContainer: BatchContainer + PushInto<<Self::Target as Update>::Key>;
    type ValContainer: BatchContainer;
    type TimeContainer: BatchContainer<Owned = <Self::Target as Update>::Time> + PushInto<<Self::Target as Update>::Time>;
    type DiffContainer: BatchContainer<Owned = <Self::Target as Update>::Diff> + PushInto<<Self::Target as Update>::Diff>;
    type OffsetContainer: for<'a> BatchContainer<ReadItem<'a> = usize>;
}

A type with opinions on how updates should be laid out.

Required Associated Types

type Target: Update + ?Sized

The represented update.

type KeyContainer: BatchContainer + PushInto<<Self::Target as Update>::Key>

Container for update keys.

type ValContainer: BatchContainer

Container for update vals.

type TimeContainer: BatchContainer<Owned = <Self::Target as Update>::Time> + PushInto<<Self::Target as Update>::Time>

Container for times.

type DiffContainer: BatchContainer<Owned = <Self::Target as Update>::Diff> + PushInto<<Self::Target as Update>::Diff>

Container for diffs.

type OffsetContainer: for<'a> BatchContainer<ReadItem<'a> = usize>

Container for offsets.

Object Safety

This trait is not object safe.

Implementors

impl<K, V, T, D> Layout for Preferred<K, V, T, D>

where K: Ord + ToOwned + PreferredContainer + ?Sized, K::Owned: Ord + Clone + 'static, V: Ord + ToOwned + PreferredContainer + ?Sized, V::Owned: Ord + Clone + 'static, T: Ord + Clone + Lattice + Timestamp, D: Ord + Clone + Semigroup + 'static,

type Target = Preferred<K, V, T, D>

type KeyContainer = <K as PreferredContainer>::Container

type ValContainer = <V as PreferredContainer>::Container

type TimeContainer = Vec<T>

type DiffContainer = Vec<D>

type OffsetContainer = OffsetList

impl<K, V, T, R> Layout for FlatLayout<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,

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

type KeyContainer = FlatStack<K>

type ValContainer = FlatStack<V>

type TimeContainer = FlatStack<T>

type DiffContainer = FlatStack<R>

type OffsetContainer = OffsetList

impl<U: Update> Layout for TStack<U>

where U::Key: Columnation, U::Val: Columnation, U::Time: Columnation, U::Diff: Columnation + Ord,

type Target = U

type KeyContainer = TimelyStack<<U as Update>::Key>

type ValContainer = TimelyStack<<U as Update>::Val>

type TimeContainer = TimelyStack<<U as Update>::Time>

type DiffContainer = TimelyStack<<U as Update>::Diff>

type OffsetContainer = OffsetList

impl<U: Update> Layout for Vector<U>

where U::Diff: Ord,

type Target = U

type KeyContainer = Vec<<U as Update>::Key>

type ValContainer = Vec<<U as Update>::Val>

type TimeContainer = Vec<<U as Update>::Time>

type DiffContainer = Vec<<U as Update>::Diff>

type OffsetContainer = OffsetList