partial-semigroup-test-0.1.0.3: Testing utilities for the partial-semigroup package
Test.PartialSemigroup
Synopsis
assoc :: (PartialSemigroup a, Eq a, Show a) => Gen a -> Property Source #
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.
x
y
z
x <>? y = Just xy
<>?
Just
y <>? z = Just yz
x <>? yz = xy <>? z