list package:smallcheck

Return the list of values generated by a Series. Useful for debugging Serial instances. Examples:

• list 3 series :: [Int] -- returns
  [0,1,-1,2,-2,3,-3]

• list 3 (series :: Series Identity
  Int) -- returns [0,1,-1,2,-2,3,-3]

• list 2 series :: [[Bool]] -- returns
  [[],[True],[False]]

The first two are equivalent. The second has a more explicit type binding.

Monadic version of list.

Given a depth, return the list of values generated by a Serial instance. For example, list all integers up to depth 1:

• listSeries 1 :: [Int] -- returns [0,1,-1]