feuerbach/smallcheck — Issue #6: improve documentation of Serial method
Author: jwaldmann
Created: 2012-01-16 17:27:35+00:00
State: open

at the moment it says

class Serial a where series :: Series a
type Series a = Depth -> [a]
-- Series is a function from the depth to a finite list of values.
type Depth = Int
-- Maximum depth of generated test values

this is not helpful when constructing instances:

the missing information is that in a Serial instance,
"series d" should give *all* values of depth smaller or equal to d.

otherwise, the consN combinators do not work correctly.