Trait Monoid 

pub trait Monoid {
    type S: Clone;

    // Required methods
    fn identity() -> Self::S;
    fn binary_operation(a: &Self::S, b: &Self::S) -> Self::S;
}

Required Associated Types

type S: Clone

Required Methods

fn identity() -> Self::S

fn binary_operation(a: &Self::S, b: &Self::S) -> Self::S

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.

Implementors

impl<S> Monoid for Additive<S>

where S: Copy + Add<Output = S> + Zero,

type S = S

impl<S> Monoid for BitwiseAnd<S>

where S: Copy + BitAnd<Output = S> + Not<Output = S> + Zero,

type S = S

impl<S> Monoid for BitwiseOr<S>

where S: Copy + BitOr<Output = S> + Zero,

type S = S

impl<S> Monoid for BitwiseXor<S>

where S: Copy + BitXor<Output = S> + Zero,

type S = S

impl<S> Monoid for Max<S>

where S: Copy + Ord + BoundedBelow,

type S = S

impl<S> Monoid for Min<S>

where S: Copy + Ord + BoundedAbove,

type S = S

impl<S> Monoid for Multiplicative<S>

where S: Copy + Mul<Output = S> + One,

type S = S