Trait differential_dataflow::difference::Abelian

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

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.

Implementors

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

Loading content...