test-invariant

Provide common invariants to be checked with QuickCheck

https://github.com/knupfer/test-invariant

LTS Haskell 8.24:0.4.5.0
Latest on Hackage:0.4.5.0

See all snapshots test-invariant appears in

BSD-3-Clause licensed and maintained by Florian Knupfer
This version can be pinned in stack with:test-invariant-0.4.5.0@sha256:d1aa6b61e0057a4065eeff3286208e947a0b44c6a2186210399f5e5e7fb0d0dd,1902

Module documentation for 0.4.5.0

Depends on 2 packages(full list with versions):
base, QuickCheck

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))