The latest version of quickcheck-higherorder is 0.1.0.1-0.
quickcheck-higherorder
Version 0.1.0.0 revision 0 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 Test.QuickCheck.HigherOrder.Constructible class.
Test.QuickCheck.HigherOrder.Testable' class, variant of Test.QuickCheck.Testable with an improved instance for
(->).Representation of higher-order functions (via test-fun).
Testable equality Test.QuickCheck.HigherOrder.TestEq.
Explicit testable type of Test.QuickCheck.HigherOrder.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