Îõ³h* Zö0.3.0.2© 2022“@2024 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.2-6gbtAUroLYKGah9tscALdh-preludeInternal.PreludebaseData.Semigroup.InternalAnygetAnyGHC.BaseMonoidmconcatmappendmemptySumgetSumProduct getProduct Data.MonoidLastgetLastFirstgetFirstAltgetAltAllgetAllEndoappEndoDualgetDualApgetAp<>5commutative-semigroups-0.1.0.2-4EGjtn7zvff4nVApg250BJData.Semigroup.Commutative Commutative0monoid-subclasses-1.2.4.1-Dxt9Ei7s8cPBeFgd2L8K4FData.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.2-6gbtAUroLYKGah9tscALdh-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.14.3-EzaT5hJZQaG6V1CwlPQFGfTest.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.PropertyDiscardTestablepropertypropertyForAllShrinkShowPropertyTest.QuickCheck.TestResultSuccessGaveUpFailureNoExpectedFailurenumTests numDiscardedlabelsclassestablesoutput numShrinksnumShrinkTriesnumShrinkFinalusedSeedusedSizereason theExceptionfailingTestCase failingLabelsfailingClassesArgsreplay 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 ioPropertyidempotentIOPropertymapSize shrinking noShrinkingcounterexample printTestCasewhenFail whenFail'verboseverboseShrinking expectFailureonceagainwithMaxSuccess checkCoveragecheckCoverageWith stdConfidencelabelcollectclassifycovertabulate coverTablewithin discardAfterforAll forAllShow forAllBlind forAllShrinkforAllShrinkShowforAllShrinkBlind.&..&&.conjoin.||.disjoin====/=total isSuccessstdArgs quickCheckquickCheckWithquickCheckResultquickCheckWithResult verboseCheckverboseCheckWithverboseCheckResultverboseCheckWithResultTest.QuickCheck.AllpolyQuickCheckpolyVerboseCheck monomorphicforAllProperties allProperties quickCheckAllverboseCheckAllTest.QuickCheck.FeatureslabelledExampleslabelledExamplesWithlabelledExamplesResultlabelledExamplesWithResult