The leancheck package
LeanCheck is a simple enumerative property-based testing library.
It works by producing *tiers* of test values, which are essentially (possibly infinite) lists of finite lists of same-and-increasingly-sized values.
LeanCheck has lean core with only 180 lines of Haskell code but provides a selection of utilitites for property testing: test types (Nat, Nat<1-7>, Word<1-4>, Int<1-4>); test operators (==>, ===, &&&, |||); type binding operators.
LeanCheck API is likely to change in the near future.
[Skip to ReadMe]
|Versions||0.3.0, 0.3.0, 0.4.0, 0.4.1, 0.5.0, 0.6.0, 0.6.1|
|Dependencies||base (==4.*), template-haskell [details]|
|Author||Rudy Matela <email@example.com>|
|Maintainer||Rudy Matela <firstname.lastname@example.org>|
|Source repository||head: git clone https://github.com/rudymatela/leancheck|
this: git clone https://github.com/rudymatela/leancheck(tag v0.3.0)
|Uploaded||Thu Apr 7 13:06:53 UTC 2016 by rudymatela|
For package maintainers and hackage trustees