Trait free_algebra::monoid::AssociativeMonoidRule

pub trait AssociativeMonoidRule<C>: MonoidRule<C> { }

A MonoidRule that is evaluation order independent

Implementations on Foreign Types

impl<C> AssociativeMonoidRule<C> for ()

Loading content...

Implementors

impl<C: Eq, P: Add<Output = P> + AddAssociative> AssociativeMonoidRule<FreePow<C, P>> for PowRule

impl<T: Eq> AssociativeMonoidRule<FreeInv<T>> for InvRule

Loading content...