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

LTS Haskell 8.24:
Latest on Hackage:

See all snapshots test-invariant appears in

BSD3 licensed and maintained by Florian Knupfer

Module documentation for

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 2 packages:
Used by 1 package:
comments powered byDisqus