The leancheck package
This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.
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, 0.6.2|
|Change log||None available|
|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