úÎ?Ä9â3      !"#$%&'()*+,-./012None3<DQV8—*A set of laws associated with a typeclass.+Name of the typeclass whose laws are testedPairs of law name and property¶A convenience function for working testing properties in GHCi. See the test suite of this library for an example of how to integrate multiple properties into larger test suite.VA convenience function for checking multiple typeclass instances of multiple types.Tests the following properties: Partial Isomorphismdecode . encode "a JustEncoding Equals Valuedecode . encode "a Just . toJSON9Note that in the second propertiy, the type of decode is ByteString -> Value, not ByteString -> aTests the following properties: Partial IsomorphismfromList . toList "a idLength Preservation&fromList xs "a fromListN (length xs) xs Tests the following properties:  Associativea <> (b <> c) "a (a <> b) <> c Tests the following properties:  Transitivea == b "' b == c !Ò a == c Symmetrica == b !Ò b == a Reflexivea == 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:  Transitivea "d b "' b "d c !Ò a "d c Comparable a "d b "( a > b 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 everything from  monoidProps plus the following:  Commutativemappend a b "a mappend b aTests the following properties: Quotient Remainder(quot x y) * y + (rem x y) "a xDivision Modulus(div x y) * y + (mod x y) "a xInteger RoundtripfromInteger (toInteger x) "a xTests the following properties: Conjunction Idempotence n .&. n "a nDisjunction Idempotence n .|. n "a nDouble Complementcomplement (complement n) "a nSet BitsetBit n i "a n .|. bit i Clear Bit'clearBit n i "a n .&. complement (bit i)Complement Bit!complementBit n i "a xor n (bit i) Clear ZeroclearBit zeroBits i "a zeroBitsSet ZerosetBit zeroBits i "a bit i Test ZerotestBit zeroBits i "a FalsePop ZeropopCount zeroBits "a 0#All of the useful instances of the 3 typeclass also have 4L instances, so these property tests actually require that instance as well. Test that a 5 instance obey the several laws.+Tests the following applicative properties: Identity6 7 "a 7 Compositionfmap (f . g) "a 6 f . 6 gConst(<$) "a 6 8+Tests the following applicative properties: Identity9 7 : v "a v Composition9 (.) : u : v : w "a u : (v : w) Homomorphism9 f : 9 x "a 9 (f x) Interchangeu : 9 y "a 9 (; y) : u LiftA2 (1)(:) "a < 7'Tests the following monadic properties:  Left Identity= a > k "a k aRight Identitym > = "a m Associativitym > (\x -> k x > h) "a (m > k) > hReturn9 "a =Ap(:) "a ?Tests the following @ properties: foldfold "a A 7foldMapA f "a B (C . f) DfoldrB f z t "a appEndo (A (Endo . f) t ) zfoldr'foldr' f z0 xs = let f' k x z = k E f x z in F f' 7 xs z0foldlF f z t "a appEndo (getDual (A (Dual . Endo . G f) t)) zfoldl'foldl' f z0 xs = let f' x k z = k E f z x in B f' 7 xs z0toListH "a B (:) []nullI "a B (8 (8 J)) KlengthL "a getSum . foldMap (8 (Sum 1))%Note that this checks to ensure that foldl' and foldr' are suitably strict./Element is type name paired with typeclass laws   MNOPQRSTUVWXYZ[\]^_`abcdefghijk      !"#$%&'()*+,-./012345645789:4;<4;=4;>4;?4;@4;A4;B4;C4;D4;E4FG4FH4FI4;J4;K4;L4FM4;N4FO4FPQRSQRT4FUVVWWXXYYZZ[\]]^_`abbccddeefghij.quickcheck-classes-0.3.3-2sgBPxlp4qtKTOjK6Uuz6Test.QuickCheck.ClassesLaws lawsTypeclasslawsProperties lawsCheck lawsCheckManyjsonLaws isListLaws showReadLaws semigroupLawseqLawsordLaws monoidLawscommutativeMonoidLaws integralLawsbitsLawsprimLaws storableLaws functorLawsapplicativeLaws monadLaws foldableLaws$fMonoidStatus $fMonoidAp$fArbitraryChooseSecond$fShowChooseSecond$fArbitraryChooseFirst$fShowChooseFirst$fArbitraryLastNothing$fShowLastNothing$fArbitraryBottom $fShowBottom$fArbitraryApply $fShowApply $fEqApply$fArbitraryLinearEquation$fArbitraryLinearEquationM$fShowLinearEquationM$fEqLinearEquationM$fArbitraryEquation$fShowEquation$fArbitraryEquationTwo$fShowEquationTwo$fArbitraryBitIndex$fEqChooseSecond$fEqChooseFirst$fEqLastNothing $fEqBottom$fEqLinearEquation $fEqEquation$fEqEquationTwobase Data.BitsBits FiniteBits(primitive-0.6.2.0-EI3NK1Xfv9zEcRtyXK2EwZData.Primitive.TypesPrimGHC.Basefmapidconstpure<*>$liftA2return>>=ap Data.FoldableFoldablefoldMapfoldrmappendmempty$!foldlfliptoListnullghc-prim GHC.TypesFalseTruelengthBitIndex EquationTwoEquationLinearEquationMLinearEquation_linearEquationLinear_linearEquationConstantApplygetApplyBottomBottomUndefined BottomValue LastNothing ChooseFirst ChooseSecondApgetApStatusBadGood