Trait differential_dataflow::difference::Abelian [−][src]
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.