checkers is a library for reusable QuickCheck properties, particularly for standard type classes (class laws and class morphisms). Checkers also has lots of support for randomly generating data values (thanks to Thomas Davie).
forked from haskell-checkers/checkers
-
Notifications
You must be signed in to change notification settings - Fork 0
Check properties on standard classes and data structures, with modifications to have looser laws
License
StephanStanisic/checkers
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Check properties on standard classes and data structures, with modifications to have looser laws
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- Haskell 99.9%
- Makefile 0.1%