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
License
solomon-b/checkers
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Check properties on standard classes and data structures
Resources
License
Stars
Watchers
Forks
Packages 0
No packages published
Languages
- Haskell 99.9%
- Makefile 0.1%