Trait differential_dataflow::trace::implementations::Update

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

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 + Lattice + Timestamp + Clone

Time at which updates occur.

type Diff: Semigroup + Clone

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 + Lattice + Timestamp + Clone, R: Semigroup + Clone,

type Key = K

type Val = V

type Time = T

type Diff = R

Implementors

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

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

type Key = <K as ToOwned>::Owned

type Val = <V as ToOwned>::Owned

type Time = T

type Diff = R