úÎï½     None2BOTTests the following properties:  Associativea <> (b <> c) "a (a <> b) <> cTests the following properties:  Transitivea == b "' b == c !Ò a == c Symmetrica == b !Ò b == aûSome of these properties involve implication. In the case that the left hand side of the implication arrow does not hold, we do not retry. Consequently, these properties only end up being useful when the data type has a small number of inhabitants.Tests the following properties:  Associative1mappend a (mappend b c) "a mappend (mappend a b) c Left Identitymappend mempty a "a aRight Identitymappend a mempty "a a+Tests the following applicative properties: Identity  "a  Compositionfmap (f . g) "a  f .  gConst(<$) "a  +Tests the following applicative properties: Identity   v "a v Composition (.)  u  v  w "a u  (v  w) Homomorphism f   x "a  (f x) Interchangeu   y "a  ( y)  u LiftA2 (1)() "a   'Tests the following monadic properties:  Left Identity a  k "a k aRight Identitym   "a m Associativitym  (\x -> k x  h) "a (m  k)  hReturn "a Ap() "a F !"#$%&'()*+,-./0123456789:;<= >?@ABCDEFGHIJKLMNOPQ    ? !"#$%&'()*+,-./0123456789:;<= >?@ABCDEFGHIJKLMNOPQ R      !"##$$%%&'(()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQR-quickcheck-classes-0.2-1Q2yMK4G2k8DKbrO3T34r5Test.QuickCheck.Classes jsonProps showReadPropssemigroupPropseqProps monoidProps primProps storableProps functorPropsapplicativeProps monadProps$fArbitraryApply $fShowApply$fArbitraryEquation$fShowEquation$fArbitraryLinearEquation$fArbitraryLinearEquationM$fShowLinearEquationM$fEqLinearEquationM $fEqApply$fEqLinearEquation $fEqEquationbaseGHC.Basefmapidconstpure<*>$liftA2return>>=apEquationLinearEquationMLinearEquationlinearEquationLinearlinearEquationConstantApplygetApplyshowReadPartialIsomorphismjsonEncodingEqualsValuejsonEncodingPartialIsomorphism eqTransitive eqSymmetricsemigroupAssociativemonoidAssociativemonoidLeftIdentitymonoidRightIdentityprimListByteArray primListAddrprimSetGetByteArrayprimGetSetByteArrayprimSetSetByteArrayprimSetGetAddrprimGetSetAddrstorableSetGetstorableGetSet storableListarrayEqrunLinearEquationrunLinearEquationM showLinearshowLinearList runEquationfunctorIdentityfunc1func2functorComposition functorConstapplicativeIdentityapplicativeCompositionapplicativeHomomorphismapplicativeInterchangeapplicativeLiftA2_1monadLeftIdentitymonadRightIdentitymonadAssociativity monadReturnmonadAp