Description
Provides demand-driven testing for Haskell programs. It can generate and check test cases in a way that focuses on the parts of values actually demanded by the program.
This is useful for developers testing lazy Haskell code and looking for counterexamples without writing every input manually. It is a testing library and is run through project test suites.