Monadoc
The latest version of quickcheck-higherorder is 0.1.0.1-0.

quickcheck-higherorder

Version 0.1.0.0 revision 1 uploaded by lyxia.

Package meta

Synopsis
QuickCheck extension for higher-order properties
Description

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.

Author
Li-yao Xia
Bug reports
n/a
Category
Testing
Copyright
2020 Li-yao Xia
Homepage
https://github.com/Lysxia/quickcheck-higherorder#readme
Maintainer
lysxia@gmail.com
Package URL
n/a
Stability
n/a

Components