Module frunk_laws::semigroup_laws

Module that holds laws for Semigroup implementations

Examples

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

Functions

• associativity
  Function for checking adherence to the associativity law