-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Testing utilities for the partial-semigroup package
--   
--   Testing utilities for the partial-semigroup package, notably property
--   testing to check the PartialSemigroup axioms.
@package partial-semigroup-test
@version 0.1.0.2

module Test.PartialSemigroup

-- | The partial semigroup associativity axiom:
--   
--   For all <tt>x</tt>, <tt>y</tt>, <tt>z</tt>: If <tt>x <a>&lt;&gt;?</a>
--   y = <a>Just</a> xy</tt> and <tt>y <a>&lt;&gt;?</a> z = <a>Just</a>
--   yz</tt>, then <tt>x <a>&lt;&gt;?</a> yz = xy <a>&lt;&gt;?</a> z</tt>.
assoc :: (PartialSemigroup a, Eq a, Show a) => Gen a -> Property