StrictCheck

StrictCheck: Keep Your Laziness In Check

https://github.com/kwf/StrictCheck#readme

Latest on Hackage:

0.3.0

This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.

MIT licensed by Kenneth Foner, Hengchu Zhang, and Leo Lampropoulos

Maintained by [email protected]

StrictCheck is a property-based random testing framework for observing, specifying, and testing the strictness behaviors of Haskell functions. Strictness behavior is traditionally considered a non-functional property; StrictCheck allows it to be tested as if it were one, by reifying demands on data structures so they can be manipulated and examined within Haskell.