tasty-lens: Tasty TestTrees for Lens validation
Preassembled tasty TestTrees for property testing Lenses, Setters,
Traversals, Isos and Prisms laws.
[Skip to Readme]
Modules
[Index]
Downloads
- tasty-lens-0.3.1.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.3, 0.3.1 |
|---|---|
| Change log | CHANGELOG.md |
| Dependencies | base (>=4.6 && <4.9), lens (>=4.1.2.1), smallcheck (>=1.1.1), smallcheck-lens (>=0.3), tagged (>=0.7.2), tasty (>=0.10), tasty-smallcheck (>=0.8.0.1) [details] |
| License | BSD-3-Clause |
| Author | Danny Navarro |
| Maintainer | j@dannynavarro.net |
| Category | Testing, Lenses |
| Home page | https://github.com/jdnavarro/tasty-lens |
| Bug tracker | https://github.com/jdnavarro/tasty-lens/issues |
| Source repo | head: git clone git://github.com/jdnavarro/tasty-lens.git |
| Uploaded | by jdnavarro at 2015-09-23T10:55:35Z |
| Distributions | |
| Reverse Dependencies | 1 direct, 0 indirect [details] |
| Downloads | 1358 total (6 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs available [build log] Last success reported on 2015-09-23 [all 1 reports] |
Readme for tasty-lens-0.3.1
[back to package description]Tasty Lens
Preassembled tasty TestTrees
with sensible defaults for the validation of:
LensSetterTraversalIsoPrism
Although these tests offer weaker guarantees compared to manually proving the laws through equational reasoning, they can still be useful for regression testing where you don't want to manually proof every time you make a slight change that could affect the laws.
It uses smallcheck-lens
under the hood. If you don't find any functions to create the TestTrees you
are looking for, you may want to use the smallcheck-lens package directly.
In such case you can still check this package as a reference to implement your
own smallcheck-lens TestTrees.
Check the tests in this package for usage examples.
Contact
Contributions and bug reports are welcome!
Please feel free to contact jdnavarro on the #haskell IRC channel on irc.freenode.net.