Trait differential_dataflow::difference::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.

Object Safety

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