a1a1e25787
standard Haskell type classes as QuickCheck properties. Also some morphism properties. It also provides arbitrary instances and generator combinators for common data types. WWW: http://haskell.org/haskellwiki/checkers PR: ports/142488 Submitted by: Jacula Modyun <jacula(at)gmail.com>
6 lines
285 B
Text
6 lines
285 B
Text
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.
|
|
|
|
WWW: http://haskell.org/haskellwiki/checkers
|