Safe Haskell | Safe-Infered |
---|

Functions for accessing the values of enumerations including compatability with the property based testing frameworks QuickCheck and SmallCheck.

- index :: Enumerate a -> Integer -> a
- values :: Enumerable a => [(Integer, [a])]
- striped :: Enumerable a => Part -> Index -> Integer -> [(Integer, [a])]
- bounded :: Enumerable a => Integer -> [(Integer, [a])]
- ioFeat :: [(Integer, [a])] -> (a -> IO ()) -> IO ()
- ioAll :: Enumerable a => (a -> IO ()) -> IO ()
- ioBounded :: Enumerable a => Integer -> (a -> IO ()) -> IO ()
- uniform :: Enumerable a => Int -> Gen a
- toSeries :: Enumerable a => Int -> [a]
- valuesWith :: Enumerate a -> [(Integer, [a])]
- stripedWith :: Enumerate a -> Part -> Index -> Integer -> [(Integer, [a])]
- boundedWith :: Enumerate a -> Integer -> [(Integer, [a])]
- uniformWith :: Enumerate a -> Part -> Gen a
- toSeriesWith :: Enumerate a -> Int -> [a]

## Accessing functions

index :: Enumerate a -> Integer -> aSource

Mainly as a proof of concept we can use the isomorphism between natural numbers and (Part,Index) pairs to index into a type May not terminate for finite types. Might be slow the first time it is used with a specific enumeration because cardinalities need to be calculated. The computation complexity after cardinalities are computed is a polynomial of the size of the resulting value.

values :: Enumerable a => [(Integer, [a])]Source

All values of the enumeration by increasing cost (which is the number of constructors for most types). Also contains the cardinality of each list.

striped :: Enumerable a => Part -> Index -> Integer -> [(Integer, [a])]Source

A generalisation of `values`

that enumerates every nth value of the
enumeration from a given starting point.
As a special case `values = striped 0 0 1`

.

bounded :: Enumerable a => Integer -> [(Integer, [a])]Source

A version of vales that has a limited number of values in each inner list. If the list corresponds to a Part which is larger than the bound it evenly intersperses the values across the enumeration of the Part.

## A simple property tester

ioFeat :: [(Integer, [a])] -> (a -> IO ()) -> IO ()Source

A rather simple but general property testing driver. The property is a (funcurried) IO function that both tests and reports the error. The driver goes on forever or until the list is exhausted, reporting the coverage and the number of tests before each new part.

## Compatability

### QuickCheck

uniform :: Enumerable a => Int -> Gen aSource

Compatability with QuickCheck. Distribution is uniform generator over
values bounded by the given size. Typical use: `sized uniform`

.

### SmallCheck

toSeries :: Enumerable a => Int -> [a]Source

Compatability with SmallCheck.

## Non-class versions of the access functions

valuesWith :: Enumerate a -> [(Integer, [a])]Source

Non class version of `values`

.

stripedWith :: Enumerate a -> Part -> Index -> Integer -> [(Integer, [a])]Source

Non class version of `striped`

.

toSeriesWith :: Enumerate a -> Int -> [a]Source

Non class version of `toSeries`

.