h&  2022@2023 Jonathan Knowles Apache-2.0 Safe-Inferred(/01?q  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~                   ! " # $ % & ' ( ) * % + , - . / 0 1 2 3 4 5 6 7 8 9 : ; < = > ? @ AB AC AD AE AF AG AH AI AJ AK AL AM AN AO AP AQ AR AS AT AU AV AW AX AY AZ A[ A\ A] A^ A_ A` Aa Ab Ac Ad Ae Af Ag Ah Ai Aj Ak Al Am An Ao Ao pq pr pq ps tu tv tw tx ty tz t{ t| t} t~ t t t t t t                                                                                                                                        quickcheck-monoid-subclasses-0.3.0.1-4YPKvanNRU5sBsJM8ZH8s-preludeInternal.PreludebaseGHC.Base<>Monoidmemptymconcatmappend ghc-bignumGHC.Num.NaturalNatural(QuickCheck-2.14.3-K5ff1uztwzGAuZfNkBXfznTest.QuickCheck.FeatureslabelledExamplesWithResultlabelledExamplesResultlabelledExamplesWithlabelledExamplesTest.QuickCheck.AllverboseCheckAll quickCheckAll allPropertiesforAllProperties monomorphicpolyVerboseCheckpolyQuickCheckTest.QuickCheck.TestverboseCheckWithResultverboseCheckResultverboseCheckWith verboseCheckquickCheckWithResultquickCheckResultquickCheckWith quickCheckstdArgs isSuccessArgs maxShrinkschattymaxSizemaxDiscardRatio maxSuccessreplayResultfailingClasses failingLabelsfailingTestCase theExceptionreasonusedSizeusedSeednumShrinkFinalnumShrinkTries numShrinksoutputtablesclasseslabels numDiscardednumTestsNoExpectedFailureFailureSuccessGaveUpTest.QuickCheck.Propertytotal=/====disjoin.||.conjoin.&&..&.forAllShrinkBlindforAllShrinkShow forAllShrink forAllBlind forAllShowforAll discardAfterwithin==> coverTabletabulatecoverclassifycollectlabel stdConfidencecheckCoverageWith checkCoveragewithMaxSuccessagainonce expectFailureverboseShrinkingverbose whenFail'whenFail printTestCasecounterexample noShrinking shrinkingmapSizeidempotentIOProperty ioPropertyPropertyTestablepropertypropertyForAllShrinkShowDiscardTest.QuickCheck.State Confidence tolerance certaintyTest.QuickCheck.Function applyFun3 applyFun2applyFun functionMap functionVoid functionShowfunctionIntegralfunctionRealFracfunctionBoundedEnumFnFn2Fn3FunctionfunctionFunTest.QuickCheck.ModifiersBlindgetBlindFixedgetFixed OrderedListOrdered getOrdered NonEmptyListNonEmpty getNonEmpty InfiniteListinfiniteListInternalDatagetInfiniteList SortedListSorted getSortedPositive getPositiveNegative getNegativeNonZero getNonZero NonNegativegetNonNegative NonPositivegetNonPositiveLargegetLargeSmallgetSmallShrink2 getShrink2Smart Shrinking ShrinkState shrinkInit shrinkState ASCIIStringgetASCIIString UnicodeStringgetUnicodeStringPrintableStringgetPrintableStringTest.QuickCheck.Arbitrary infiniteList orderedListvectorcoarbitraryEnumcoarbitraryShowcoarbitraryRealcoarbitraryIntegral><genericCoarbitrary shrinkDecimalshrinkRealFracshrinkBoundedEnumshrinkIntegral shrinkMapBy shrinkMap shrinkNothingarbitraryPrintableChararbitraryASCIIChararbitraryUnicodeChararbitrarySizedBoundedIntegralarbitraryBoundedEnumarbitraryBoundedRandomarbitraryBoundedIntegralarbitrarySizedFractionalarbitrarySizedNaturalarbitrarySizedIntegralapplyArbitrary4applyArbitrary3applyArbitrary2 shrinkListsubtermsrecursivelyShrink genericShrinkshrink2 arbitrary2shrink1 arbitrary1 Arbitrary arbitraryshrink Arbitrary1 liftArbitrary liftShrink Arbitrary2liftArbitrary2 liftShrink2 CoArbitrary coarbitraryTest.QuickCheck.GeninfiniteListOfvectorOflistOf1listOfgrowingElementsshuffle sublistOfelements frequencyoneof suchThatMaybe suchThatMapsuchThatsamplesample'generate chooseIntegerchooseBoundedIntegral chooseInt chooseEnum chooseAnychoosescaleresizegetSizesizedvariantGenTest.QuickCheck.Exceptiondiscard Data.MonoidLastgetLastFirstgetFirstApgetApData.Semigroup.InternalSumgetSumProduct getProductEndoappEndoDualgetDualAnygetAnyAltgetAltAllgetAll5commutative-semigroups-0.1.0.2-DnxcWPbuh0RImyenmQLTCAData.Semigroup.Commutative Commutative0monoid-subclasses-1.2.4.1-78GtqJspzskIkOc0tcwnrXData.Monoid.CancellativeCommutativeMonoidReductiveMonoidLeftReductiveMonoidRightReductiveMonoidCancellativeMonoidLeftCancellativeMonoidRightCancellativeMonoidData.Monoid.GCD GCDMonoidgcd LeftGCDMonoid commonPrefixstripCommonPrefixRightGCDMonoid commonSuffixstripCommonSuffixDistributiveGCDMonoidLeftDistributiveGCDMonoidRightDistributiveGCDMonoidData.Monoid.MonusMonus<\>OverlappingGCDMonoid stripOverlapoverlapstripPrefixOverlapstripSuffixOverlapData.Semigroup.Cancellative Reductive Cancellative LeftReductive isPrefixOf stripPrefixRightReductive isSuffixOf stripSuffixLeftCancellativeRightCancellativeSumCancellativecancelAdditionData.Monoid.Null MonoidNullnullPositiveMonoidquickcheck-monoid-subclasses-0.3.0.1-4YPKvanNRU5sBsJM8ZH8s-internalInternal.Semigroup.Eq allNonNull allUniqueallUniqueNonNullInternal.Semigroup.Tupleab bindVariablebindVariableSumcd evalTuple1 evalTuple2 evalTuple3evalVariableSum genBindingSet genTuple1 genTuple2 genTuple3genVariableSum showTuple1 showTuple2 showTuple3showVariableSumshowWrapshrinkBindingSet shrinkTuple1 shrinkTuple2 shrinkTuple3universe BindingSet bindingForD bindingForC bindingForB bindingForATuple1Tuple2Tuple3VariableDACB VariableSum