Provide common invariants to be checked with QuickCheck https://github.com/knupfer/test-invariant

Latest on Hackage:

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.

BSD3 licensed and maintained by Florian Knupfer

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))
Depends on:
Used by 1 package:
comments powered byDisqus