Trait differential_dataflow::difference::Abelian

pub trait Abelian: Monoid + Neg<Output = Self> { }

A Monoid with negation.

This trait extends the requirements of Semigroup to include a negation operator. Several differential dataflow operators require negation in order to retract prior outputs, but not quite as many as you might imagine.

Implementors

impl<T: Monoid + Neg<Output = Self>> Abelian for T

Loading content...