partial-semigroup-test-0.0.0.1: 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 such that appendMaybe x y = Just xy and appendMaybe y z = Just yx, appendMaybe x yz = appendMaybe xy z.
x
y
z
appendMaybe x y = Just xy
appendMaybe y z = Just yx
appendMaybe x yz = appendMaybe xy z