frunk_laws::semigroup_laws
pub fn associativity<A: Semigroup + Eq>(a: A, b: A, c: A) -> bool
Function for checking adherence to the associativity law
(x <> y) <> z = x <> (y <> z)
use frunk_laws::semigroup_laws::*; quickcheck(associativity as fn(Vec<i8>, Vec<i8>, Vec<i8>) -> bool)Run