Provide common invariants to be checked with QuickCheck https://github.com/knupfer/test-invariant
|Latest on Hackage:||0.4.5.0|
This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.
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))