Difference between revisions of "Checkers"
Jump to navigation
Jump to search
m (→Abstract: "most" --> "a good deal") |
m (find out about) |
||
Line 1: | Line 1: | ||
− | [[Category:Packages]] |
||
− | |||
[[Category:Packages]] |
[[Category:Packages]] |
||
Line 8: | 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: |
||
− | * |
+ | * Visit the [http://hackage.haskell.org/cgi-bin/hackage-scripts/package/checkers Hackage page] for library documentation and to download & install. |
− | * |
+ | * Or install with <tt>cabal install checkers</tt>. |
− | * |
+ | * Get the code repository: <tt>darcs get http://code.haskell.org/checkers</tt>. |
− | * See the [[checkers/Versions| version history]]. |
+ | <!-- * See the [[checkers/Versions| version history]]. --> |
Please leave comments at the [[Talk:checkers|Talk page]]. |
Please leave comments at the [[Talk:checkers|Talk page]]. |
Revision as of 19:01, 11 November 2008
Abstract
checkers is a library for reusable QuickCheck properties, particularly for standard type classes (class laws and class morphisms). For instance, a good deal 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:
- Visit the Hackage page for library documentation and to download & install.
- Or install with cabal install checkers.
- Get the code repository: darcs get http://code.haskell.org/checkers.
Please leave comments at the Talk page.