test-invariant
Version 0.4.5.0 revision 0 uploaded by knupfer.
Package meta
- Synopsis
- Provide common invariants to be checked with QuickCheck
- Description
test-invariant is a library for providing common invariants of functions as higher order polymorphic functions. This reduces for a lot of cases the need for writing prop_ functions for QuickCheck.
>>> quickCheck $ idempotent (abs :: Int -> Int)>>> quickCheck $ involutory not>>> quickCheck $ not . involutory (+ (2 :: Int))- Author
- Florian Knupfer <fknupfer@gmail.com>
- Bug reports
- n/a
- Category
- Testing
- Copyright
- 2015 Florian Knupfer
- Homepage
- https://github.com/knupfer/test-invariant
- Maintainer
- Florian Knupfer <fknupfer@gmail.com>
- Package URL
- n/a
- Stability
- n/a