Trait differential_dataflow::trace::implementations::Update

pub trait Update {
    type Key: Ord + Clone + 'static;
    type Val: Ord + Clone + 'static;
    type Time: Ord + Clone + Lattice + Timestamp;
    type Diff: Ord + Semigroup + 'static;
}

A type that names constituent update types.

Required Associated Types

type Key: Ord + Clone + 'static

Key by which data are grouped.

type Val: Ord + Clone + 'static

Values associated with the key.

type Time: Ord + Clone + Lattice + Timestamp

Time at which updates occur.

type Diff: Ord + Semigroup + 'static

Way in which updates occur.

Implementations on Foreign Types

impl<K, V, T, R> Update for ((K, V), T, R)

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

type Key = K

type Val = V

type Time = T

type Diff = R

Implementors

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

type Val = <V as Region>::Owned

type Time = <T as Region>::Owned

type Diff = <R as Region>::Owned

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

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

type Key = <K as ToOwned>::Owned

type Val = <V as ToOwned>::Owned

type Time = T

type Diff = R