Function frunk_laws::semigroup_laws::associativity

source · 
pub fn associativity<A: Semigroup + Eq>(a: A, b: A, c: A) -> bool
Expand description

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)
Run