Îõ³h* ¾ 0.3.0.5© 2022“@2025 Jonathan Knowles Apache-2.0 Safe-Inferred(/01ÀÂÃÄÍÒÝäð{…  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~€‚ƒ„…†‡ˆ‰Š‹ŒŽ‘’“”•–—˜™š›œžŸ ¡¢£¤¥¦§¨©ª«¬­®¯°±²³´µ¶·¸¹º»¼½¾¿ÀÁÂÃÄÅÆÇÈÉÊËÌÍÎÏÐÑÒÓÔÕÖרÙÚÛÜÝÞßàáâãäåæçèéêëìíîïðñòóôõö÷øùúûüýþÿ€‚ƒ„…†‡ˆ‰Š‹ŒŽ‘’“”•–—˜™š›œžŸ ¡¢£¤¥¦§¨©ª«¬­®¯°±²³´µ¶·¸¹º»¼½¾¿ÀÁÂÃÄÅÆÇÈÉÊËÌÍÎÏÐÑÒÓÔÕÖרÙÚÛÜÝÞßàáâãäåæçèéêëìíîïðñòóôõö÷øùúûüýþÿ€‚ƒ„…       !"#$%#$&#$'#$(#$)#$*#$+#$,#$-#$.#$/#$0#$1#23#24#25#26#27#89#8:#8;#8<#8=#8>#8?#8@#8A#8B#8C#DE#DF#DG#DH#DI#DJ#DK#2L#2M#NO#NP#NQRSTRSURSVRWXRWXRWYRWZRW[RW\RW]RW]RW^RW^RW_RW_RW`RW`RWaRWbRWcRWdRWeRWfRWgRWhRWiRWjRWkRWlRWmRWnRWoRWpRWqRWrRWsRWtRWuRWvRWwRWxRWyRWzRW{RW|RW}RW~€‚ƒ„…†„…†„‡ˆ„‰Š„‰‹„‰Œ„‰„‰Ž„‰„‰„‰‘„‰’„‰“„‰”„•–„•–„•—„•˜„•˜„•™„•š„•š„•›„•œ„•„•ž„•Ÿ„•Ÿ„• „• „•¡„•¡„•¢„•£„•£„•¤„•¥„•¥„•¦„•§„•§„•¨„•©„•©„•ª„•«„•«„•¬„•­„•­„•®„•¯„•¯„•°„•±„•²„•³„•´„•´„•µ„•¶„•·„•¸„•¹„•º„•»„•¼„•½„•½„•¾„•¿„•¿„•À„…Á„…„ÃÄ„ÃÄ„ÃÅ„ÃÆ„ÇÈ„ÇÉ„ÇÊ„ÇÊ„ÇË„ÇÌ„ÇÍ„Ç΄ÏЄÏÑ„ÏÒ„ÏÓ„ÏÔ„ÏÕ„ÏÖ„Ï×„ÏØ„ÏÙ„ÏÚ„ÏÛ„ÏÜ„ÏÝ„ÏÞ„Ïß„Ïà„Ïá„Ïâ„Ïã„Ïä„Ïå„Ïæ„Ïæ„Ïç„Ïè„Ïé„Ïê„Ïë„Ï섅턅ð„Çñ„òó„‡ô„‡õ„‡ö„‡÷„‡ø„‡ù„‡ú„‡û„‡ü„‡ý„‡þ„‡ÿ„‡€„‡„‡‚„‡ƒ„‡„„‡…„‡†„‡‡„‡ˆ„‡‰„‡Š„‡‹„‡Œ„‡„‡Ž„‰„‰„‰‘„‰’„‰“„‰”„‰•„‰–„‰—„‰˜„‰™„‰š„‰›„‰œ„‰„‰ž„‰Ÿ„‰ „‰¡„‰¢„‰£„‰¤„‰¥„‰¦„‰§„‰¨„‰©„‰ª„‰«„‰¬„‰­„‰®„‰¯„‰°„‰±„‰²„…³„…´„…µ„…¶„…·„…¸„…¹„…º„…»„Ǽ„ǽ„Ǿ„Ç¿„ÇÀ„ÇÁ„Ç„ÇÄÇÄ„ÇÅ„ÇÆ„ÇÇ„ÇÈ„ÇÉ„ÇÊ„ÇË„ÇÌ„ÇÍ„Ç΄ÇÏ„ÇЄÇÑ„ÇÒ„ÇÓ„ÇÔ„ÇÕ„ÇÖ„Ç×„ÇØ„ÇÙ„ÇÚ„ÇÛ„ÇÜ„ÇÝ„ÇÞ„Çß„Çà„Çá„Çâ„Çã„Çä„Çå„Çæ„Çç„Çè„Çé„Ïê„Ïë„Ïì„Ïí„Ïî„Ïï„Ïð„Ïñ„Ïò„Ïó„Ïô„õö„õ÷„õø„õù„õú„õû„õü„ýþ„ýÿ„ý€„ý‚quickcheck-monoid-subclassesÃquickcheck-monoid-subclasses-0.3.0.5-6clGyjg9owjHIq9F5QNHWi-preludeInternal.PreludebaseData.Semigroup.InternalAnygetAnyGHC.BaseMonoidmconcatmappendmemptySumgetSumProduct getProduct Data.MonoidLastgetLastFirstgetFirstAltgetAltAllgetAllEndoappEndoDualgetDualApgetAp<>5commutative-semigroups-0.2.0.1-4pumne4qSEe84uAQ85iMazData.Semigroup.Commutative Commutative0monoid-subclasses-1.2.5.1-9dep3nKFLuCDON9b4MTVEHData.Semigroup.CancellativeSumCancellativecancelAdditionRightCancellativeLeftCancellativeRightReductive isSuffixOf stripSuffix LeftReductive stripPrefix isPrefixOf Cancellative ReductiveData.Monoid.MonusOverlappingGCDMonoidstripPrefixOverlapstripSuffixOverlapoverlap stripOverlapData.Monoid.GCDRightDistributiveGCDMonoidLeftDistributiveGCDMonoidDistributiveGCDMonoidRightGCDMonoid commonSuffixstripCommonSuffix LeftGCDMonoid commonPrefixstripCommonPrefix GCDMonoidgcdData.Monoid.CancellativeRightCancellativeMonoidLeftCancellativeMonoidCancellativeMonoidRightReductiveMonoidLeftReductiveMonoidReductiveMonoidCommutativeMonoidMonus<\>Data.Monoid.NullPositiveMonoid MonoidNullnullÄquickcheck-monoid-subclasses-0.3.0.5-6clGyjg9owjHIq9F5QNHWi-internalInternal.Semigroup.Eq allNonNull allUniqueallUniqueNonNullInternal.Semigroup.Tuple BindingSet bindingForA bindingForB bindingForC bindingForDTuple1Tuple2Tuple3 VariableSumVariableCBADabcd bindVariablebindVariableSum evalTuple1 evalTuple2 evalTuple3evalVariableSum genBindingSet genTuple1 genTuple2 genTuple3genVariableSum showTuple1 showTuple2 showTuple3showVariableSumshowWrapshrinkBindingSet shrinkTuple1 shrinkTuple2 shrinkTuple3universe ghc-bignumGHC.Num.NaturalNatural GHC.NaturalminusNaturalMaybe*QuickCheck-2.15.0.1-IZlScsr6bnPIRR3W399cx2Test.QuickCheck.FunctionFunTest.QuickCheck.GenGenTest.QuickCheck.Arbitrary CoArbitrary coarbitrary Arbitrary2liftArbitrary2 liftShrink2 Arbitrary1 liftArbitrary liftShrink Arbitrary arbitraryshrinkTest.QuickCheck.ModifiersPrintableStringgetPrintableString UnicodeStringgetUnicodeString ASCIIStringgetASCIIString ShrinkState shrinkInit shrinkState ShrinkingSmartShrink2 getShrink2SmallgetSmallLargegetLarge NonPositivegetNonPositive NonNegativegetNonNegativeNonZero getNonZeroNegative getNegativePositive getPositive SortedListSorted getSorted InfiniteListgetInfiniteListinfiniteListInternalData NonEmptyListNonEmpty getNonEmpty OrderedListOrdered getOrderedFixedgetFixedBlindgetBlindFunctionfunctionTest.QuickCheck.State Confidence certainty toleranceTest.QuickCheck.PropertyWitnessWitDiscardTestablepropertypropertyForAllShrinkShowPropertyTest.QuickCheck.TestResultSuccessGaveUpFailureNoExpectedFailurenumTests numDiscardedlabelsclassestablesoutput numShrinksnumShrinkTriesnumShrinkFinalusedSeedusedSizereason theExceptionfailingTestCase failingLabelsfailingClasses witnessesArgsreplay maxSuccessmaxDiscardRatiomaxSizechatty maxShrinksFn3Fn2Fnvector==>Test.QuickCheck.ExceptiondiscardvariantsizedgetSizeresizescalechoose chooseAny chooseEnum chooseIntchooseBoundedIntegral chooseIntegergeneratesample'samplesuchThat suchThatMap suchThatMaybeoneof frequencyelements sublistOfshufflegrowingElementslistOflistOf1vectorOfinfiniteListOf arbitrary1shrink1 arbitrary2shrink2 genericShrinkrecursivelyShrinksubterms shrinkListapplyArbitrary2applyArbitrary3applyArbitrary4arbitrarySizedIntegralarbitrarySizedNaturalarbitrarySizedFractionalarbitraryBoundedIntegralarbitraryBoundedRandomarbitraryBoundedEnumarbitrarySizedBoundedIntegralarbitraryUnicodeChararbitraryASCIIChararbitraryPrintableChar shrinkNothing shrinkMap shrinkMapByshrinkIntegralshrinkBoundedEnumshrinkRealFrac shrinkDecimalgenericCoarbitrary><coarbitraryIntegralcoarbitraryRealcoarbitraryShowcoarbitraryEnum orderedList infiniteListfunctionBoundedEnumfunctionRealFracfunctionIntegral functionShow functionVoid functionMapapplyFun applyFun2 applyFun3 ioPropertyidempotentIOProperty coerceWitness castWitnessmapSize shrinking noShrinkingcounterexample printTestCasewhenFail whenFail'verboseverboseShrinking expectFailureonceagainwithMaxSuccesswithDiscardRatiowithMaxShrinks withMaxSizewitness checkCoveragecheckCoverageWith stdConfidencelabelcollectclassifycovertabulate coverTablewithin discardAfterforAll forAllShow forAllBlind forAllShrinkforAllShrinkShowforAllShrinkBlind.&..&&.conjoin.||.disjoin====/=total isSuccessstdArgs quickCheckquickCheckWithquickCheckResultquickCheckWithResultrecheck verboseCheckverboseCheckWithverboseCheckResultverboseCheckWithResultTest.QuickCheck.AllpolyQuickCheckpolyVerboseCheck monomorphicforAllProperties allProperties quickCheckAllverboseCheckAllTest.QuickCheck.FeatureslabelledExampleslabelledExamplesWithlabelledExamplesResultlabelledExamplesWithResult