2010-01-12 22:39:42 +01:00
|
|
|
Checkers wraps up the expected properties associated with various
|
|
|
|
|
standard Haskell type classes as QuickCheck properties. Also some
|
|
|
|
|
morphism properties. It also provides arbitrary instances and
|
|
|
|
|
generator combinators for common data types.
|
|
|
|
|
|
2012-06-03 23:36:44 +02:00
|
|
|
WWW: http://haskell.org/haskellwiki/checkers
|
