Trait Abelian 

pub trait Abelian: Monoid {
    // Required method
    fn negate(self) -> 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.

Required Methods

fn negate(self) -> Self

The method of std::ops::Neg, for types that do not implement Neg.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl Abelian for i8

fn negate(self) -> Self

impl Abelian for i16

fn negate(self) -> Self

impl Abelian for i32

fn negate(self) -> Self

impl Abelian for i64

fn negate(self) -> Self

impl Abelian for i128

fn negate(self) -> Self

impl Abelian for isize

fn negate(self) -> Self

impl Abelian for ()

fn negate(self) -> Self

impl Abelian for Wrapping<i8>

fn negate(self) -> Self

impl Abelian for Wrapping<i16>

fn negate(self) -> Self

impl Abelian for Wrapping<i32>

fn negate(self) -> Self

impl Abelian for Wrapping<i64>

fn negate(self) -> Self

impl Abelian for Wrapping<i128>

fn negate(self) -> Self

impl Abelian for Wrapping<isize>

fn negate(self) -> Self

impl<A1: Abelian> Abelian for (A1,)

fn negate(self) -> Self

impl<A1: Abelian, B1: Abelian> Abelian for (A1, B1)

fn negate(self) -> Self

impl<A1: Abelian, B1: Abelian, C1: Abelian> Abelian for (A1, B1, C1)

fn negate(self) -> Self

impl<A1: Abelian, B1: Abelian, C1: Abelian, D1: Abelian> Abelian for (A1, B1, C1, D1)

fn negate(self) -> Self

impl<R: Abelian> Abelian for Vec<R>

fn negate(self) -> Self

Implementors