Trait Associativity 

pub trait Associativity<T> {
    // Required methods
    fn verify_associativity_add(&self, b: &Self, c: &Self) -> bool
       where Self: AdditiveOperation<T>;
    fn verify_associativity_mul(&self, b: &Self, c: &Self) -> bool
       where Self: MultiplicativeOperation<T>;
}

Required Methods

fn verify_associativity_add(&self, b: &Self, c: &Self) -> bool

where Self: AdditiveOperation<T>,

fn verify_associativity_mul(&self, b: &Self, c: &Self) -> bool

where Self: MultiplicativeOperation<T>,

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<T: Add<Output = T> + Mul<Output = T> + Copy + PartialEq> Associativity<T> for AlgebraicStructure<T>

impl<T: Add<Output = T> + Mul<Output = T> + Copy + PartialEq> Associativity<T> for Field<T>

where Field<T>: AdditiveOperation<T> + MultiplicativeOperation<T>,

impl<T: Add<Output = T> + Mul<Output = T> + Copy + PartialEq> Associativity<T> for Ring<T>

where Ring<T>: AdditiveOperation<T> + MultiplicativeOperation<T>,