Difference between revisions of "Checkers"
Jump to navigation
Jump to search
m |
|||
Line 6: | Line 6: | ||
Besides this wiki page, here are more ways to find out about checkers: |
Besides this wiki page, here are more ways to find out about checkers: |
||
− | * Read [http://code.haskell.org/checkers/doc/html/ the library documentation]. |
+ | * Read [http://code.haskell.org/checkers/doc/html/ the library documentation]. |
* Get the code repository: '''<tt>darcs get http://code.haskell.org/checkers</tt>'''. |
* Get the code repository: '''<tt>darcs get http://code.haskell.org/checkers</tt>'''. |
||
* Install from [http://hackage.haskell.org/cgi-bin/hackage-scripts/package/checkers Hackage]. |
* Install from [http://hackage.haskell.org/cgi-bin/hackage-scripts/package/checkers Hackage]. |
Revision as of 11:53, 4 August 2008
Abstract
checkers is a library for reusable QuickCheck properties, particularly for standard type classes (class laws and class morphisms). For instance, most of Reactive can be specified and tested using just these properties. Checkers also lots of support for randomly generating data values (thanks to Thomas Davie).
Besides this wiki page, here are more ways to find out about checkers:
- Read the library documentation.
- Get the code repository: darcs get http://code.haskell.org/checkers.
- Install from Hackage.
- See the version history.
Please leave comments at the Talk page.