properties: check quickCheck properties in real time.
Test.Properties is flexible and readable way of codifing and executing assertions. The properties can be defined right within the class or the code for which the properties apply.
Instead of testing properties with automatically generate values in a separate test program,this package permits to test them on the fly while the real application run, with the data produced within. So somehow it unites the readability of QuickCheck and the flexibility of assert. It is simple and straighforward But is by no means perfect. no statistics and so on. Just trace messages are sent.
The primary purpose of this package was to define class properties and to check their instances. The properties can be defined within a class. so no additional exports are necessary. checking instaces can be done within the instance declarations. But it can be used anywhere assertions are used. It can be attached to arbitrary piece of code for which the property group holds. The defined properties can be used for casual debugging.
The package includes complete examples.
Downloads
- properties-0.0.2.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
Versions [RSS] | 0.0.1, 0.0.2 |
---|---|
Dependencies | base (>=3 && <4) [details] |
Tested with | ghc ==6.10.4 |
License | BSD-3-Clause |
Author | Alberto Gómez Corona |
Maintainer | agocorona@gmail.com |
Category | Testing |
Uploaded | by AlbertoCorona at 2010-06-11T09:17:17Z |
Distributions | |
Reverse Dependencies | 1 direct, 0 indirect [details] |
Downloads | 1754 total (2 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs uploaded by user Build status unknown [no reports yet] |