Test.PartialSemigroup.Hedgehog

Utilities for testing partial semigroups using the hedgehog property testing library.

Documentation

assoc :: (PartialSemigroup a, Eq a, Show a) => Gen a -> Property

The partial semigroup associativity axiom:

For all x, y, z: If x <>? y = Just xy and y <>? z = Just yz, then x <>? yz = xy <>? z.