úÎ!#mH      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFG&None1MXqÜquickcheck-classes*A set of laws associated with a typeclass.quickcheck-classes+Name of the typeclass whose laws are testedquickcheck-classesPairs of law name and property>HIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~€NoneXÅquickcheck-classesTests 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 0Count Leading Zeros of Zero,countLeadingZeros zeroBits "a finiteBitSize "¥Count Trailing Zeros of Zero-countTrailingZeros zeroBits "a finiteBitSize "¥#All of the useful instances of the ‚ typeclass also have ƒL instances, so these property tests actually require that instance as well.Note:2 This property test is only available when using base-4.7 or newer.NoneXq™„quickcheck-classesTests the following … properties: Bifold Identity† "a ‡ ˆ ˆ BifoldMap Identity‡ f g "a ‰ (Š ‹ f) (Š ‹ g) ŒBifoldr Identity‰ f g z t "a  (‡ (Ž ‹ f) (Ž ‹ g) t) zNoteH: This property test is only available when this package is built with  base-4.10+ or transformers-0.5+.quickcheck-classesTests the following 'Bifunctor'/'Bifoldable' properties: Bifold Identity‡ f g "a † ‹  f gBifoldMap Identity‡ f g ‹  h i "a ‡ (f ‹ h) (g ‹ i)NoteH: This property test is only available when this package is built with  base-4.10+ or transformers-0.5+.„NoneFXqø‘’“”NoneXq&¶quickcheck-classesTests the following • properties: Right Identityf – — "a f Left Identity— – f "a f Associativityf – (g – h) "a (f – g) – hNoteH: This property test is only available when this package is built with  base-4.9+ or transformers-0.5+.quickcheck-classesTest everything from  plus the following:  Commutativef – g "a g – fNoteH: This property test is only available when this package is built with  base-4.9+ or transformers-0.5+.NoneXq+quickcheck-classesTests the following … properties: Identity ˆ ˆ "a ˆFirst Identity˜ ˆ "a ˆSecond Identity™ ˆ "a ˆBifunctor Composition f g "a ˜ f ‹ ™ g NoteH: This property test is only available when this package is built with  base-4.9+ or transformers-0.5+. NoneSXq-øquickcheck-classes#Tests the following alt properties:  LiftF2 (1)(š) "a › ˆ Associativityœ (‹) u š v š w "a u š (v š w) NoneXq2 quickcheck-classes+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   ˆ  NoneXq4ó quickcheck-classes+Tests the following alternative properties:  Left Identity¡ ¢ x "a xRight Identityx ¢ ¡ "a x Associativitya ¢ (b ¢ c) "a (a ¢ b) ¢ c)  NoneXq7È quickcheck-classes#Tests the following alt properties:  Associativity(a £ b) £ c "a a £ (b £ c)Left Distributivityf ¤ (a £ b) "a (f ¤ a) £ (f ¤ b)  None,HXq:# quickcheck-classes-Tests the following contravariant properties: Identity¥ ˆ "a ˆ Composition¥ f ‹ ¥ g "a ¥ (g ‹ f) NoneXDí quickcheck-classesTests the following properties: Succ Pred Identity¦ (§ x) "a xPred Succ Identity§ (¦ x) "a xThis only works for Enum+ types that are not bounded, meaning that ¦ and §T must be total. This means that these property tests work correctly for types like ¨ but not for ©.'Sadly, there is not a good way to test ª and «=, since many types that have reasonable implementations for ¦ and § have more inhabitants than © does.quickcheck-classesTests the same properties as  - except that it requires the type to have a ¬u instance. These tests avoid taking the successor of the maximum element or the predecessor of the minimal element. NoneXK3quickcheck-classesTests 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.NoneSXqT©quickcheck-classesTests the following ­ properties: fold® "a ¯ ˆfoldMap¯ f "a ° (Š . f) Œfoldr° f z t "a  (¯ (Ž . f) t ) zfoldr'± f z0 xs "a let f' k x z = k ² f x z in ³ f' ˆ xs z0foldr1´ f t "a let µ (xs,x) = ¶ (· t) in ° f x xsfoldl³ f z t "a  (¸ (¯ (¹ . Ž . º f) t)) zfoldl'» f z0 xs "a let f' x k z = k ² f z x in ° f' ˆ xs z0foldl1¼ f t "a let x : xs = · t in ³ f x xstoList· "a ° (:) []null½ "a ° (¾ (¾ ¿)) ÀlengthÁ "a  . ¯ (¾ (à 1))%Note that this checks to ensure that foldl' and foldr' are suitably strict.None,HXqW6quickcheck-classes'Tests the following functor properties: Identityœ ˆ "a ˆ Compositionœ (f ‹ g) "a œ f ‹ œ gConst(Ä) "a œ ¾None>Xq`Ñquickcheck-classesTests the following properties: From-To InverseÅ ‹ Æ "a ˆTo-From InverseÆ ‹ Å "a ˆNote:2 This property test is only available when using base-4.5 or newer.Note: Å and Æ. don't actually care about the type variable x in Ç a x , so here we instantiate it to '()'. by default. If you would like to instantiate x. as something else, please file a bug report.quickcheck-classesTests the following properties: From-To InverseÈ ‹ É "a ˆTo-From InverseÉ ‹ È "a ˆNote:2 This property test is only available when using base-4.9 or newer.NoneXd/quickcheck-classesTests 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 xNone >HSVX„ quickcheck-classesTests the following properties: Partial IsomorphismfromList . toList "a idLength Preservation&fromList xs "a fromListN (length xs) xsNote:2 This property test is only available when using base-4.7 or newer.quickcheck-classesProperty for the generate^ function, which builds a container of a given length by applying a function to each index.!quickcheck-classesProperty for the filterD function, which keeps elements for which the predicate holds true."quickcheck-classesProperty for the filterM^ function, which keeps elements for which the predicate holds true in an applicative context.#quickcheck-classesProperty for the mapMaybeD function, which keeps elements for which the predicate holds true.quickcheck-classesinput element typequickcheck-classesfoldr functionquickcheck-classesinput element typequickcheck-classesfoldl functionquickcheck-classesinput element typequickcheck-classesmonadic foldl functionquickcheck-classesinput element typequickcheck-classesoutput element typequickcheck-classes map functionquickcheck-classesinput element typequickcheck-classesoutput element typequickcheck-classesindexed map functionquickcheck-classesinput element typequickcheck-classesoutput element typequickcheck-classesmonadic indexed map functionquickcheck-classesinput element typequickcheck-classesoutput element typequickcheck-classestraverse functionquickcheck-classesinput element typequickcheck-classesinput element typequickcheck-classesinput element type quickcheck-classesinput element type!quickcheck-classes element typequickcheck-classes map function"quickcheck-classes element typequickcheck-classestraverse function#quickcheck-classesinput element typequickcheck-classesoutput element typequickcheck-classes map function$quickcheck-classesinput element typequickcheck-classesoutput element typequickcheck-classestraverse function !"#$ !"#$NoneXˆ%quickcheck-classesTests the various Ê properties: Ë (l,u) i Ì Í i (Î (l,u))Î (l,u) Ï Ð (l,u) i Ì i, when Ë (l,u) i Ñ (Ð (l,u)) (Î (l,u)) Ì [0 .. Ò (l,u) - 1] Ò (l,u) Ì Á (Î (l,u))%NoneXŒ8&quickcheck-classesTests the following properties: Partial Isomorphismdecode . encode "a JustEncoding Equals Valuedecode . encode "a Just . toJSON8Note that in the second property, the type of decode is ByteString -> Value, not ByteString -> a&NoneX‹'quickcheck-classes Test that a  instance obey several laws.'NoneXqñ(quickcheck-classes'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 Õ(NoneXq’”Öquickcheck-classesTests the following × properties:  Left ZeroØ s Ô f "a Ø sÖNoneXq–))quickcheck-classes*Tests the following monad plus properties:  Left IdentityÙ Ú x "a xRight IdentityÙ x Ú "a x AssociativityÙ a (Ù b c) "a Ù (Ù a b) c)  Left ZeroÚ Ô f "a Ú Right Zerom Û Ú "a Ú)NoneXq™½*quickcheck-classes/Tests the following monadic zipping properties:  NaturalityÜ (f Ý g) (Þ ma mb) = Þ (Ü f ma) (Ü g mb)&In the laws above, the infix function Ý" refers to a typeclass method of ß.*NoneX Ñ+quickcheck-classesTests 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 Concatenation$mconcat as "a foldr mappend mempty as,quickcheck-classesTests the following properties:  Commutativemappend a b "a mappend b aJNote that this does not test associativity or identity. Make sure to use +! in addition to this set of laws.+,-NoneX£j.quickcheck-classesTests the following properties:  Antisymmetrya "d b "' b "d a !Ò a = b  Transitivitya "d b "' b "d c !Ò a "d cTotality a "d b "( a > b.NoneXq¦á/quickcheck-classes#Tests the following alt properties:  Left Identityà £ m "a mRight Identitym £ à "a m0quickcheck-classesTests everything from altLaws, plus the following:  Congruencyà "a ¡/0 None FHVX´;1quickcheck-classes Test that a á instance obey the several laws.âquickcheck-classesdestination pointerquickcheck-classes source arrayquickcheck-classesoffset into source arrayquickcheck-classesnumber of prims to copyãquickcheck-classesdestination arrayquickcheck-classesoffset into destination arrayquickcheck-classes source arrayquickcheck-classesoffset into source arrayquickcheck-classesnumber of bytes to copyäquickcheck-classesdestination arrayquickcheck-classesoffset into destination arrayquickcheck-classes source arrayquickcheck-classesoffset into source arrayquickcheck-classesnumber of bytes to copyåquickcheck-classes array to fillquickcheck-classesoffset into arrayquickcheck-classesnumber of values to fillquickcheck-classesvalue to fill with1!NoneX¶Ê2quickcheck-classesTests the following properties: Additive Inverseæ a ç a "a 07Note that this does not test any of the laws tested by "#.2$NoneXÅè3quickcheck-classesTests the following properties:  Associativea è (b è c) "a (a è b) è c Concatenationé as "a ´ (è) asTimesê n a "a ´ (è) (ë n a)4quickcheck-classesTests the following properties:  Commutativea è b "a b è a>Note that this does not test associativity. Make sure to use 3! in addition to this set of laws.5quickcheck-classesTests the following properties:  Idempotenta è a "a a>Note that this does not test associativity. Make sure to use 3] in addition to this set of laws. In literature, this class of semigroup is known as a band.6quickcheck-classesTests the following properties: Rectangular Banda è b è a "a a>Note that this does not test associativity. Make sure to use 3! in addition to this set of laws.7quickcheck-classesTests the following properties:  Exponentialê n (a è b) "a ê n a è ê n b>Note that this does not test associativity. Make sure to use 3! in addition to this set of laws.34567%NoneXqÍ8quickcheck-classesTests the following ì properties:  Associativityf `o' (g `o' h) "a (f `o' g) `o' hNoteH: This property test is only available when this package is built with  base-4.9+ or transformers-0.5+.9quickcheck-classesTests everything from 8 plus the following:  Commutativef `o' g "a g `o' fNoteH: This property test is only available when this package is built with  base-4.9+ or transformers-0.5+.89"NoneXÕµ:quickcheck-classesTests the following properties: Additive Commutativity a + b "a b + aAdditive Left Identity 0 + a "a aAdditive Right Identity a + 0 "a aMultiplicative Associativitya * (b * c) "a (a * b) * cMultiplicative Left Identity 1 * a "a aMultiplicative Right Identity a * 1 "a a-Multiplication Left Distributes Over Additiona * (b + c) "a (a * b) + (a * c).Multiplication Right Distributes Over Addition(a + b) * c "a (a * c) + (b * c) Multiplicative Left Annihilation 0 * a "a 0!Multiplicative Right Annihilation a * 0 "a 0:&NoneXب;quickcheck-classesTests the following properties: Showí a "a î 0 a ""Equivariance: îî p a r ï s "a î p a (r ï s)Equivariance: ðð as r ï s "a ð as (r ï s);'NoneXߤ<quickcheck-classesTests the following properties: Partial Isomorphism: í / ñ‘ (í a) "a µ aPartial Isomorphism: í / ñ with initial space‘ (" " ++ í a) "a µ aPartial Isomorphism: î / ò(a,"") `elem` ò p (î p a "")Partial Isomorphism: ð / ó(as,"") `elem` ó (ð as "")Partial Isomorphism: ô õ / ö(as,"") `elem` ö (ô õ as "")Note: When using base-4.5% or older, a shim implementation of ‘ is used.<(None FHVXâ†=quickcheck-classes+Tests the following alternative properties: Set-Get(÷ ptr ix a >> ø ptr ix') "a  aGet-Set(ø ptr ix >> ÷ ptr ix a) "a  a=)NoneXqì>quickcheck-classesTests the following ù properties:  Naturalityt ‹ ú f "a ú (t ‹ f)) for every applicative transformation tIdentityú û "a û Compositionú (ü ‹ œ g ‹ f) "a ü ‹ œ (ú g) ‹ ú fSequence Naturalityt ‹ ý "a ý ‹ œ t) for every applicative transformation tSequence Identityý ‹ œ û "a ûSequence Compositioný ‹ œ ü "a ü ‹ œ ý ‹ ýfoldMap¯ "a þfmapœ "a ÿ Where an applicative transformation is a function 1t :: (Applicative f, Applicative g) => f a -> g apreserving the  operations, i.e. Identity: t ( x) "a  xDistributivity: t (x ž y) "a t x ž t y>NoneHc?quickcheck-classesLIn older versions of GHC, Proxy is not poly-kinded, so we provide Proxy2.Aquickcheck-classesLIn older versions of GHC, Proxy is not poly-kinded, so we provide Proxy1.Cquickcheck-classesMA convenience function for testing properties in GHCi. For example, at GHCi:0lawsCheck (monoidLaws (Proxy :: Proxy Ordering))-Monoid: Associative +++ OK, passed 100 tests./Monoid: Left Identity +++ OK, passed 100 tests.0Monoid: Right Identity +++ OK, passed 100 tests.Assuming that the  instance for + is good, we now have confidence that the  instance for  satisfies the monoid laws.Dquickcheck-classes[A convenience function that allows one to check many typeclass instances of the same type.GspecialisedLawsCheckMany (Proxy :: Proxy Word) [jsonLaws, showReadLaws]@ToJSON/FromJSON: Encoding Equals Value +++ OK, passed 100 tests.>ToJSON/FromJSON: Partial Isomorphism +++ OK, passed 100 tests.8Show/Read: Partial Isomorphism +++ OK, passed 100 tests.Equickcheck-classes‚A convenience function for checking multiple typeclass instances of multiple types. Consider the following Haskell source file: Pimport Data.Proxy (Proxy(..)) import Data.Map (Map) import Data.Set (Set) -- A  for Set ©1. setInt :: Proxy (Set Int) setInt = Proxy -- A  for Map © ©å. mapInt :: Proxy (Map Int Int) mapInt = Proxy myLaws :: Proxy a -> [Laws] myLaws p = [eqLaws p, monoidLaws p] namedTests :: [(String, [Laws])] namedTests = [ ("Set Int", myLaws setInt) , ("Map Int Int", myLaws mapInt) ]  Now, in GHCi:lawsCheckMany namedTests ÿýTesting properties for common typeclasses ------------- -- Set Int -- ------------- Eq: Transitive +++ OK, passed 100 tests. Eq: Symmetric +++ OK, passed 100 tests. Eq: Reflexive +++ OK, passed 100 tests. Monoid: Associative +++ OK, passed 100 tests. Monoid: Left Identity +++ OK, passed 100 tests. Monoid: Right Identity +++ OK, passed 100 tests. Monoid: Concatenation +++ OK, passed 100 tests. ----------------- -- Map Int Int -- ----------------- Eq: Transitive +++ OK, passed 100 tests. Eq: Symmetric +++ OK, passed 100 tests. Eq: Reflexive +++ OK, passed 100 tests. Monoid: Associative +++ OK, passed 100 tests. Monoid: Left Identity +++ OK, passed 100 tests. Monoid: Right Identity +++ OK, passed 100 tests. Monoid: Concatenation +++ OK, passed 100 tests. HIn the case of a failing test, the program terminates with exit code 1.Equickcheck-classes/Element is type name paired with typeclass laws7 %&'()*+,-./0123456789:;<=>?@ABCDE7CED%&+,-. 134756:2;<=  ()*/0>89'AB?@**+,-./0 1 2 3 4 56789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXY Z![$\$]$^$_$`%a%b"#&c'd(e)fgghhijklmnnoopqqrsstuvvwxyzz{{|}~~€€‚ƒ„……††‡‡ˆˆ‰Š‹ŒŽ‘’“”•–—˜™š›œ›œžŸ› ¡›¢£›¢¤›¥¦›¢§›¥¨›¥©›¥ª›«¬›«­®› ¯›°±²³´µ¶›·¸›·©›·¦› ¹› º»¼½»¼¾›¥¿›¥À›¥Á›¥Â›¥Ã›¥Ä›¥Å»ÆÇ›ÈÉ›ÊË›ÌÍ›ÌÎÏÐѲ³Ò›ÌÓ›ÌÔ›ÌÕ›Ö×›ÖØ›ÖÙ›ÖÚ›ÖÛ›¥Ü›ÖÝ›ÖÞ›ßàá›Ö⛫㛫䛥å›Öæ›Öç›Ö蛥鲳ê²³ë›Ö웫훫ï›ðñ›ðò›ðó›ðô›ðõ›ö÷›öø²ùú›Öû›öü›ýþ›öÿ›¥›ö›¥›¥›¥›››¥ ›¥ ›¥ ›¥ › ›› »    ›¥›¥ ›¥!›ý"»#$›%&›%'›¥(›%)›°*›+,›+-›./›%0›+1›23›24›56›57›89›:;›5<›5=›5>›¥?@AB²³C›¥D›EFG0quickcheck-classes-0.6.2.1-ETlKWHMkNLjMdcCGewajfTest.QuickCheck.ClassesTest.QuickCheck.Classes.IsListTest.QuickCheck.Classes.CommonTest.QuickCheck.Classes.Bits"Test.QuickCheck.Classes.BifoldableTest.QuickCheck.Classes.Compat Test.QuickCheck.Classes.Category!Test.QuickCheck.Classes.BifunctorTest.QuickCheck.Classes.Apply#Test.QuickCheck.Classes.Applicative#Test.QuickCheck.Classes.AlternativeTest.QuickCheck.Classes.Alt%Test.QuickCheck.Classes.ContravariantTest.QuickCheck.Classes.EnumTest.QuickCheck.Classes.Eq Test.QuickCheck.Classes.FoldableTest.QuickCheck.Classes.FunctorTest.QuickCheck.Classes.Generic Test.QuickCheck.Classes.IntegralTest.QuickCheck.Classes.IxTest.QuickCheck.Classes.JsonTest.QuickCheck.Classes.MVectorVector.UnboxedMVectorTest.QuickCheck.Classes.Monad!Test.QuickCheck.Classes.MonadFail!Test.QuickCheck.Classes.MonadPlus Test.QuickCheck.Classes.MonadZipTest.QuickCheck.Classes.MonoidTest.QuickCheck.Classes.OrdTest.QuickCheck.Classes.PlusTest.QuickCheck.Classes.PrimTest.QuickCheck.Classes.Ring Test.QuickCheck.Classes.Semiring semiringLaws!Test.QuickCheck.Classes.Semigroup$Test.QuickCheck.Classes.SemigroupoidTest.QuickCheck.Classes.Show Test.QuickCheck.Classes.ShowRead Test.QuickCheck.Classes.Storable#Test.QuickCheck.Classes.TraversableLaws lawsTypeclasslawsPropertiesbitsLaws categoryLawscommutativeCategoryLaws bifunctorLaws applyLawsapplicativeLawsalternativeLawsaltLawscontravariantLawsenumLawsboundedEnumLawseqLaws foldableLaws functorLaws genericLaws generic1Laws integralLaws isListLaws foldrProp foldlProp foldlMPropmapPropimapProp imapMProp traverseProp generateProp generateMProp replicatePropreplicateMProp filterProp filterMProp mapMaybeProp mapMaybeMPropixLawsjsonLaws muvectorLaws monadLaws monadPlusLaws monadZipLaws monoidLawscommutativeMonoidLawssemigroupMonoidLawsordLawsplusLawsextendedPlusLawsprimLawsringLaws semigroupLawscommutativeSemigroupLawsidempotentSemigroupLawsrectangularBandSemigroupLawsexponentialSemigroupLawssemigroupoidLawscommutativeSemigroupoidLawsshowLaws showReadLaws storableLawstraversableLawsProxy2Proxy1 lawsCheck lawsCheckOne lawsCheckMany$fMonoidStatus$fSemigroupStatusShowReadPrecedence VerySmallListgetVerySmallList SmallList getSmallListLinearEquationTwo_linearEquationTwoX_linearEquationTwoYQuadraticEquation_quadraticEquationQuadratic_quadraticEquationLinear_quadraticEquationConstantLinearEquationMLinearEquation_linearEquationLinear_linearEquationConstantApply2 getApply2ApplygetApplyBottomBottomUndefined BottomValue LastNothing ChooseFirst ChooseSecondTriplemyForAllShrink nestedEq1 propNestedEq1toSpecialApplicativeflipPairapTransfunc1func2func3func4func5func6 reverseTriplefoldMapArunLinearEquationrunLinearEquationMrunQuadraticEquationrunLinearEquationTwobase Data.BitsBits FiniteBitsbifoldableLawsData.Bifunctor BifunctorData.Bifoldablebifold bifoldMapGHC.Baseidbifoldrmappend.memptyData.Semigroup.InternalappEndoEndobifoldableFunctorLawsbimap Text.Read readMaybeghc-prim GHC.TypesisTrue#eq1eq2Control.CategoryCategoryfirstsecond)semigroupoids-5.3.2-tBMyb7xTQUKf8mficmo2BData.Functor.Bind.Class<.>liftF2fmappure<*>$liftA2empty<|>Data.Functor.Alt Data.Functor<$>Data.Functor.Contravariant contramapGHC.Enumsuccpred integer-gmpGHC.Integer.TypeIntegerIntfromEnumtoEnumBounded Data.FoldableFoldablefoldfoldMapfoldrfoldr'$!foldlfoldr1 GHC.MaybeJustunsnoctoListgetDualDualflipfoldl'foldl1nullconstFalseTruelengthgetSumSum<$ GHC.GenericsfromtoRepfrom1to1GHC.ArrIxinRange GHC.Classes==elemrangeGHC.List!!indexmap rangeSizereturn>>=ap monadFailLawsControl.Monad.Fail MonadFailfailmplusmzero>>liftM Control.Arrow***Control.Monad.ZipmzipArrowData.Functor.Pluszero(primitive-0.7.0.0-9xMM76CsovTEGnXCHiCdRJData.Primitive.TypesPrimcopyPrimArrayToPtrcopyMutablePrimArray copyPrimArray setPrimArray&semirings-0.4.1-AKbyeXlHufVCIaEdHgOdun Data.Semiringnegate+<>sconcatstimes replicateData.Semigroupoid SemigroupoidGHC.Showshow showsPrec++showListreadGHC.Read readsPrecreadList Text.Show showListWithshowsreadListDefaultForeign.Storable pokeElemOff peekElemOffData.Traversable TraversabletraverseData.Functor.IdentityIdentityData.Functor.ComposeCompose sequenceAfoldMapDefault fmapDefault Applicative(QuickCheck-2.13.1-1rO57X9FmbTEL9U6cBekOsTest.QuickCheck.Arbitrary ArbitraryOrderingMonoid Data.ProxyProxy