Function frunk_laws::semigroup_laws::associativity

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)

Examples

use frunk_laws::semigroup_laws::*;
quickcheck(associativity as fn(Vec<i8>, Vec<i8>, Vec<i8>) -> bool)