[−][src]Trait differential_dataflow::difference::Abelian
A commutative monoid with negation.
This trait represents a commutative group, here a commutative monoid with the additional support for subtraction and negation. An identity subtracted from itself or added to its negation should be the zero element from the underlying monoid.