JA-a      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`None/  SafeNone1 iA 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 RevListJ typically discards the reversals and constructs new reversals on demand.#!A functional enumeration of type t is a partition of ty into finite numbered sets called Parts. Each parts contains values of a certain cost (typically the size of the value).aOptimal b on enumerations.*The definition of pure for the applicative instance.+}Constructs a "Reverse list" variant of a given list. In a sensible Haskell implementation evaluating any inital segment of " (toRev xs)/ uses linear memory in the size of the segment.c"Adds an element to the head of a RevLists. Constant memory iff the the reversals of the resulting list are not evaluated (which is frequently the case in Feat)., Padded zip/The d is (disjoint) )3Pure is * and e1 corresponds to cartesian product (as with lists)4?Only use fmap with bijective functions (e.g. data constructors)Pfgheijklmdbnopqrstuvwxyz{|}~  !"#$%&'()*+#$%&' !"+)(*  !"#$%None. 6dMemoised enumeration. Note that all cardinalities are kept in memory until your program terminates. 7Index into an enumeration. Mainly used for party tricks (give it a really large number), since usually you want to distinguish values by size.8cA 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)).9All values of the enumeration by increasing cost (which is the number of constructors for most types). Also contains the length of each list.:vCompatibility with QuickCheck. Distribution is uniform generator over values bounded by the given size. Typical use:  sized uniform.;Non class version of 7.<Non class version of 8=Non class version of 9.>Non class version of :.?^Enumerates 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.@A 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.AERemove all sizes exept those in the given inclusive (low,high) range 6789:;<=>?@A 6789:?@A;<=>None>TCReached max sizeD%Reached max number of counterexamplesG FlexOptionsI>The whole execution of the test is sent through this function.JBApplied to each found counterexample, return False to stop testingK Print textL)Applied to the enumeration before runningM-The base enumeration to use, before applying fProcess.NNMuch more flexible options for configuring every part of the test execution. a( is the parameter type of the property. O+Basic options for executing a test. Unlike N# this type has Show/Read instances.R(first size, last size)S!Maximum number of counterexamplesU(start-index, steps to skip)V Maximum number of tests per sizeWG60 seconds timeout, maximum size of 100, bound of 100000 tests per sizeFor testing without using the   class.[Test with default options (W$). Returns a list of counterexamples\;Test with basic options. Returns a list of counterexamples.]MThe most flexible test driver, can be configured to behave in almost any way.BFCDEGHIJKLMNOPQRSTUVWXYZ[\][\OPQRSTUVW]BCDEFNGHIJKLMXYZBCDEFGHIJKLMOPQRSTUVNone? #6789:OPQRSTUVW[\[\OPQRSTUVW# 6789:Safe@             !"#$%&'())*+,,-./0123456789:;<=>?@ABCDEFGHIJKLMNOOPQRSTUVVWXYZ[\]^_`abcdefghijkhilhimhinhiohiphiqhirhishithiuhvwhvxhvyhvzhv{hv|hv}hv~hv~hvhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhihihihihihihihi+testing-feat-1.1.0.0-DzyWbNtNHNvGaBPqckto1ZTest.Feat.Class Test.FeatTest.Feat.EnumerateTest.Feat.FiniteTest.Feat.AccessTest.Feat.DriverTest.Feat.Modifiers)size-based-0.1.1.0-2LgVTzwGCKQIUcY8avWJusControl.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 $fShowOptions $fReadOptions $fShowResulteconcatbaseGHC.BasemconcatrevConsmappend<*><$ Applicativepure*>liftA2<*MonoidmemptyControl.Applicativeoptional WrappedMonad WrapMonad unwrapMonad WrappedArrow WrapArrow unwrapArrowZipList getZipListData.Functor.ConstConstgetConst Data.MonoidDualgetDualEndoappEndoAllgetAllAnygetAnySumgetSumProduct getProductFirstgetFirstLastgetLastAltgetAlt Data.Functor<$>liftA3liftA<**> Alternativeempty<|>somemany defFlexWith4testing-type-modifiers-0.1.0.1-2oRkVJURLTSRHCk8bgluUData.Modifiers printablesunicodes mkNonEmptyNatnatNonZerononZeroNonEmptynonEmptyUnicodeunicode Printable printable