Description
Provides enumerative property-based testing for Haskell. Instead of only checking hand-written examples, tests can systematically generate small values and look for cases where a property fails.
This is useful for developers who want stronger test coverage without writing every input manually. It is a testing library used from project test suites, not an application opened by users.