Test.PartialSemigroup

Documentation

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

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.