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
- 12 values
- Packagetesting-feat-1.1.1.1
- Exports12
- LanguageHaskell2010
- LicenceBSD-3-Clause
- SourceAccess.hs
Accessing functions
4 declarationsIndex 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
1 declarationCompatibility with QuickCheck. Distribution is uniform generator over
values bounded by the given size. Typical use: sized uniform.
Combinators
3 declarationsEnumerates 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
4 declarationsNon class version of index.
Non class version of select
Non class version of values.
Non class version of uniform.