test-invariant: Provide common invariants to be checked with 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))

Modules

[Index]

Downloads

• test-invariant-0.4.5.0.tar.gz [browse] (Cabal source package)
• Package description (as included in the package)

Maintainer's Corner

Package maintainers

• knupfer

For package maintainers and hackage trustees

• edit package information

Candidates

• No Candidates