Memoised enumeration. Note that all cardinalities are kept in memory until your program terminates.
Moduletesting-feat-1.1.1.1Haskell2010
Test.Feat.Access
Functions for accessing the values of enumerations including compatibility with the property based testing framework QuickCheck
Contents
Synopsis
- value optimal
- value index
- value select
- value values
- value uniform
- value skipping
- value bounded
- value sizeRange
- value indexWith
- value selectWith
- value valuesWith
- value uniformWith
- Packagetesting-feat-1.1.1.1
- Exports12
- LanguageHaskell2010
- LicenceBSD-3-Clause
- SourceAccess.hs
Accessing functions
Index into an enumeration. Mainly used for party tricks (give it a really large number), since usually you want to distinguish values by size.
A 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)).
All values of the enumeration by increasing cost (which is the number of constructors for most types). Also contains the length of each list.
QuickCheck Compatibility
Compatibility with QuickCheck. Distribution is uniform generator over
values bounded by the given size. Typical use: sized uniform.
Combinators
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).
Useful 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.
Remove all sizes exept those in the given inclusive (low,high) range
Non-class versions of the access functions
Non class version of index.
Non class version of select
Non class version of values.
Non class version of uniform.