mirror of
https://github.com/nick8325/quickcheck.git
synced 2024-10-04 00:48:59 +03:00
Automatic testing of Haskell programs.
d66336ce59
* Added All and Any monoids `All` is a monoid build around `.&&.`. It is useful when writing complex properties which check multiple conditions. Since it is a monoid it allows one to use `foldMap` which is often much more ergonomic than using `conjoin`. `All` satisfies `monoid` laws up to `isSuccess`, unless one is using `checkCoverage` & `cover`. I'd argue this is not a problem since `checkCoverage` and `cover` are most often added at the top of the property. This patch also adds `Any` monoid build around `.||.`. Tests are also included. |
||
|---|---|---|
| .github/workflows | ||
| examples | ||
| src/Test | ||
| tests | ||
| .gitignore | ||
| cabal.haskell-ci | ||
| changelog | ||
| LICENSE | ||
| make-hugs | ||
| QuickCheck.cabal | ||
| README | ||
| Setup.lhs | ||
| test-hugs | ||
This is QuickCheck 2, a library for random testing of program properties. Add `QuickCheck` to your package dependencies to use it in tests or REPL. The quickcheck-instances [1] companion package provides instances for types in Haskell Platform packages at the cost of additional dependencies. The make-hugs script makes a Hugs-compatible version of QuickCheck. It may also be useful for other non-GHC implementations. [1]: http://hackage.haskell.org/package/quickcheck-instances