@hackage quickcheck-higherorder0.1.0.0

QuickCheck extension for higher-order properties

Categories
- Testing
License
MIT
Maintainer
lysxia@gmail.com
Links
Versions
- 0.1.0.1 Thu, 3 Feb 2022
- 0.1.0.0 Mon, 24 Feb 2020

Installation
In your cabal file:
Tested Compilers
Dependencies (3)
- base >=4.9 && <5
- QuickCheck >=2.12
- test-fun
Dependents (2)
@hackage/diff-loc, @hackage/test-monad-laws

Package Flags

sample

(off by default)

Enhancements for property-based testing of higher-order properties.

Associate types to their representations with the Constructible class.
Testable' class, variant of Testable with an improved instance for (->).
Representation of higher-order functions (via test-fun).
Testable equality TestEq.
Explicit testable type of Equation.

See also README.