Trait fructose::algebra::group::UnitalMagma

pub trait UnitalMagma<O: Operator>: Magma<O> + Identity<O> { }

Implementors

impl<T, O: Operator> UnitalMagma<O> for T where
    T: Magma<O> + Identity<O>, 

Loading content...