differential_dataflow::difference

Trait Monoid

Source
pub trait Monoid: Semigroup {
    // Required method
    fn zero() -> Self;
}
Expand description

A semigroup with an explicit zero element.

Required Methods§

Source

fn zero() -> Self

A zero element under the semigroup addition operator.

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§

Source§

impl Monoid for i8

Source§

fn zero() -> Self

Source§

impl Monoid for i16

Source§

fn zero() -> Self

Source§

impl Monoid for i32

Source§

fn zero() -> Self

Source§

impl Monoid for i64

Source§

fn zero() -> Self

Source§

impl Monoid for i128

Source§

fn zero() -> Self

Source§

impl Monoid for isize

Source§

fn zero() -> Self

Source§

impl Monoid for u8

Source§

fn zero() -> Self

Source§

impl Monoid for u16

Source§

fn zero() -> Self

Source§

impl Monoid for u32

Source§

fn zero() -> Self

Source§

impl Monoid for u64

Source§

fn zero() -> Self

Source§

impl Monoid for u128

Source§

fn zero() -> Self

Source§

impl Monoid for ()

Source§

fn zero() -> Self

Source§

impl Monoid for usize

Source§

fn zero() -> Self

Source§

impl Monoid for Wrapping<i8>

Source§

fn zero() -> Self

Source§

impl Monoid for Wrapping<i16>

Source§

fn zero() -> Self

Source§

impl Monoid for Wrapping<i32>

Source§

fn zero() -> Self

Source§

impl Monoid for Wrapping<i64>

Source§

fn zero() -> Self

Source§

impl Monoid for Wrapping<i128>

Source§

fn zero() -> Self

Source§

impl Monoid for Wrapping<isize>

Source§

fn zero() -> Self

Source§

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

Source§

fn zero() -> Self

Source§

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

Source§

fn zero() -> Self

Source§

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

Source§

fn zero() -> Self

Source§

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

Source§

fn zero() -> Self

Source§

impl<R: Monoid> Monoid for Vec<R>

Source§

fn zero() -> Self

Implementors§