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 An op oq op or st su sv sw sx sy sz s{ s| s} s~ s s s s s                                                                                                                                       quickcheck-monoid-subclasses-0.2.0.0-IOiLNwXa7Q6KnEYNeE8RO2-preludeInternal.PreludebaseGHC.Base<>Monoidmemptymconcatmappend ghc-bignumGHC.Num.NaturalNatural(QuickCheck-2.14.2-9EAFA6afNUqGbN355JryFuTest.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 forAllShowforAllwithin==> 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 shrinkDecimalshrinkRealFracshrinkIntegral 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.0-HkbpDvIMO3p4f8x9QQA3opData.Semigroup.Commutative Commutative.monoid-subclasses-1.2.2-9wlk7cBUb5WAXR17Vlc4rTData.Monoid.CancellativeCommutativeMonoidReductiveMonoidLeftReductiveMonoidRightReductiveMonoidCancellativeMonoidLeftCancellativeMonoidRightCancellativeMonoidData.Monoid.GCD GCDMonoidgcd LeftGCDMonoid commonPrefixstripCommonPrefixRightGCDMonoid commonSuffixstripCommonSuffixData.Monoid.MonusMonus<\>OverlappingGCDMonoid stripOverlapoverlapstripPrefixOverlapstripSuffixOverlapData.Semigroup.Cancellative Reductive Cancellative LeftReductive isPrefixOf stripPrefixRightReductive isSuffixOf stripSuffixLeftCancellativeRightCancellativeSumCancellativecancelAdditionData.Monoid.Null MonoidNullnullPositiveMonoidquickcheck-monoid-subclasses-0.2.0.0-IOiLNwXa7Q6KnEYNeE8RO2-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