The standard Arbitrary instances of QuickCheck don't generate special values. This is fixed by this package which provides the newtype Special with an Arbitrary instance. The special values are given by the SpecialValues typeclass.
minad/quickcheck-special
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|