Trait fructose::algebra::group::Monoid

pub trait Monoid<O: Operator>: Magma<O> + SmallCategory<O> { }

Implementors

impl<T, O: Operator> Monoid<O> for T where
    T: Magma<O> + SmallCategory<O>, 

Loading content...