h$      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~None8"-,/0123-,/0213" Safe-Inferredn456789:456789:None3A testing-featA data structure that contains a list and the reversals of all initial segments of the list. Intuitively 5reversals xs !! n = reverse (take (n+1) (fromRev xs))Any operation on a RevList typically discards the reversals and constructs new reversals on demand.E testing-feat!A functional enumeration of type t is a partition of t into finite numbered sets. Each part contains values of a certain cost (typically the size of the value).L testing-featThe definition of pure for the applicative instance.M testing-featConstructs a "Reverse list" variant of a given list. In a sensible Haskell implementation evaluating any inital segment of D (toRev xs)/ uses linear memory in the size of the segment.N testing-feat Padded zipQ testing-featThe  is (disjoint) KU testing-featPure is L and 1 corresponds to cartesian product (as with lists)V testing-feat?Only use fmap with bijective functions (e.g. data constructors)   ! .456789ABCDEFGHIJKLM68EFGHIABCDM45679   ! KJL.None X testing-featMemoised enumeration. Note that all cardinalities are kept in memory until your program terminates. Y testing-featIndex into an enumeration. Mainly used for party tricks (give it a really large number), since usually you want to distinguish values by size.Z testing-featA more fine grained version of index that takes a size and an index into the values of that size.  select p i is only defined for i within bounds (meaning i < fst (values !! p)).[ testing-featAll values of the enumeration by increasing cost (which is the number of constructors for most types). Also contains the length of each list.\ testing-featCompatibility with QuickCheck. Distribution is uniform generator over values bounded by the given size. Typical use:  sized uniform.] testing-featNon class version of Y.^ testing-featNon class version of Z_ testing-featNon class version of [.` testing-featNon class version of \.a testing-featEnumerates every nth value of the enumeration from a given starting index. As a special case  striped 0 1; gives all values (starts at index 0 and takes steps of 1).7Useful for running enumerations in parallel since e.g.  striped 0 2 is disjoint from  striped 1 2+ and the union of the two cover all values.b testing-featA version of values with a limited number of values in each inner list. If the list corresponds to a Part which is larger than the bound it evenly distributes the values across the enumeration of the Part.c testing-featRemove all sizes exept those in the given inclusive (low,high) range XYZ[\]^_`abc XYZ[\abc]^_`Nonee testing-featReached max sizef testing-feat%Reached max number of counterexamplesi testing-feat FlexOptionsk testing-feat>The whole execution of the test is sent through this function.l testing-featApplied to each found counterexample, return False to stop testingm testing-feat Print textn testing-feat)Applied to the enumeration before runningo testing-feat-The base enumeration to use, before applying fProcess.p testing-featMuch more flexible options for configuring every part of the test execution. a' is the parameter type of the property.q testing-feat+Basic options for executing a test. Unlike p# this type has Show/Read instances.t testing-feat(first size, last size)u testing-feat!Maximum number of counterexamplesw testing-feat(start-index, steps to skip)x testing-feat Maximum number of tests per sizey testing-feat60 seconds timeout, maximum size of 100, bound of 100000 tests per size} testing-featTest with default options (y$). Returns a list of counterexamples~ testing-feat;Test with basic options. Returns a list of counterexamples. testing-featThe most flexible test driver, can be configured to behave in almost any way.dhefgijklmnopqrstuvwxyz{|}~}~qrstuvwxydhefgpijklmnoz{|Nonek"#$%&'()*+-,EXYZ[\qrstuvwxy}~}~qrstuvwxyE-,+*)('&%$#"XYZ[\ Safe-Inferred      !!"##$%&$%'$%($%)$%*$%+$%,$%-$%.$%/$%0$%1$234567899:;<=>?@ABCDEEFGHHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijkklmnopqrrstuvwxyz{|}~               +testing-feat-1.1.1.0-1sYjCg8Pv2617ZqGZUb4kyTest.Feat.EnumerateTest.Feat.Class Test.FeatTest.Feat.FiniteTest.Feat.AccessTest.Feat.DriverTest.Feat.ModifiersbaseGHC.BasememptymappendmconcatMonoid Data.MonoidgetFirstFirstgetLastLastgetApApData.Semigroup.InternalgetDualDualappEndoEndogetAllAllgetAnyAnygetSumSum getProductProductgetAltAlt)size-based-0.1.3.0-73O2JA8Efs8B7GY3hJzmbjControl.EnumerablederiveEnumerablec7c6c5c4c3c2c1c0datatype enumerate Enumerable Control.SizedpaynullaryunarysharedfuncurryconstsFinitefCardfIndexIndex fromFinitefinFin $fShowFinite$fMonoidFinite$fSemigroupFinite$fAlternativeFinite$fApplicativeFinite$fFunctorFiniteRevListfromRev reversals EnumeraterevPartsparts fromParts cartesianunion singletontoRev$fMonoidRevList$fSemigroupRevList$fFunctorRevList$fMonoidEnumerate$fSemigroupEnumerate$fSizedEnumerate$fAlternativeEnumerate$fApplicativeEnumerate$fFunctorEnumerate $fShowRevListoptimalindexselectvaluesuniform indexWith selectWith valuesWith uniformWithskippingbounded sizeRangeResult ExhaustedQuotaTimedOutOther FlexOptionsfIOfReportfOutputfProcessfEnumFlexibleOptionsOptions oTimeoutSec oSizeFromTo oMaxCounteroSilent oSkippingoBounded defOptionsdefFlextoFlex toFlexWithtest testOptionstestFlex $fShowResult $fShowOptions $fReadOptions<*><$ Applicative<*liftA2*>pureControl.Applicativeoptional WrappedMonad WrapMonad unwrapMonad WrappedArrow WrapArrow unwrapArrowZipList getZipListData.Functor.ConstConstgetConst Data.Functor<$>liftA3liftA<**> Alternativemanysomeempty<|>5testing-type-modifiers-0.1.0.1-67XhnQJ39TKLi0uM5ah4X6Data.Modifiers printablesunicodes mkNonEmptyNatnatNonZerononZeroNonEmptynonEmptyUnicodeunicode Printable printable