@hackage test-invariant0.4.5.0
Provide common invariants to be checked with QuickCheck
Installation
Tested Compilers
Dependencies (2)
- QuickCheck
- base >=4 && <5 Show all…
Dependents (8)
@hackage/network-arbitrary, @hackage/uniform-algebras, @hackage/uniform-fileio, @hackage/network-uri-json, @hackage/uniform-strings, @hackage/acme-everything, Show all…
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.
>>>>>>>>>