Checkers

From HaskellWiki
Revision as of 11:39, 4 August 2008 by Conal (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.


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:

Please leave comments at the Talk page.