Trait free_algebra::module::CommutativeAlgebraRule

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

An AlgebraRule that is order independent

Implementors

impl<R, T: Add<Output = T> + AddCommutative> CommutativeAlgebraRule<R, T> for AddRule

impl<R, T: Mul<Output = T> + MulCommutative> CommutativeAlgebraRule<R, T> for MulRule

Loading content...