h*-&0.0.1.4 2022@2025 Jonathan Knowles Apache-2.0 Safe-Inferred (0y  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&%&%'%(%(%)%*%*%+%,%-%.%/%/%0%0%1%1%2%3%3%4%5%5%6%7%7%8%9%9%:%;%;%<%=%=%>%?%?%@%A%B%C%D%D%E%F%G%H%I%J%K%L%M%M%N%O%O%PQRSTSTSUSVWXWYWZWZW[W\W]W^_`_a_b_c_d_e_f_g_h_i_j_k_l_m_n_o_p_q_r_s_t_u_v_v_w_x_y_z_{_|}~WWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWW___________quickcheck-groups8quickcheck-groups-0.0.1.4-FbahhKpnPjg4NtEUuDbb1o-preludeInternal.Prelude#groups-0.5.3-H7tBXJoyk4ILKF0vexbyVF Data.GroupCyclic generatorAbelianGroup~~invertpow generated generated' ghc-bignumGHC.Num.NaturalNaturalbase GHC.NaturalminusNaturalMaybe)QuickCheck-2.15.0.1-G3uAjLYmH5uH5CxppQ1t9Test.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.FeatureslabelledExampleslabelledExamplesWithlabelledExamplesResultlabelledExamplesWithResult0quickcheck-groups-0.0.1.4-FbahhKpnPjg4NtEUuDbb1oTest.QuickCheck.Classes.Group groupLaws abelianLaws