Special values are provided by a SpecialValues typeclass. Those can be used for example by QuickCheck, see quickcheck-special.
minad/special-values
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Special values are provided by a SpecialValues typeclass. Those can be used for example by QuickCheck, see quickcheck-special.