Trait higher_cat::Monoid

pub trait Monoid: Add + Default { }

A Monoid consists of a semigroup (the Add trait in Rust) and an empty value (the Default trait) plus the following laws:

• Associativity: (x + y) + z == x + (y + z)
• Identity: 0 + a == a + 0 == a

Implementors

Loading content...