Trait functional::Monoid

pub trait Monoid<T: AssociativeOperation<Self>>: Semigroup<T> {
    fn one() -> Self;
}

Monoid is Semigroup with neutral element for is's operation

Required Methods

fn one() -> Self

Get the neutral element if T: Monoid<Op> and r: T then Op::apply(T::one(), r) == r

Implementors

• impl<U, T> Monoid<Concat> for T where T: FromIterator<U> + IntoIterator<Item=U>