Trait free_algebra::module::AssociativeAlgebraRule

pub trait AssociativeAlgebraRule<R, T>: AlgebraRule<R, T> { }

An AlgebraRule that is evaluation order independent

Implementors

impl<R, T: Add<Output = T> + AddAssociative> AssociativeAlgebraRule<R, T> for AddRule

impl<R, T: Mul<Output = T> + MulAssociative> AssociativeAlgebraRule<R, T> for MulRule

Loading content...