StrictCheck (hackage): 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.
Keywords: library|mit|testing|haskell|haskell-library|icfp|random-testing|strictness|testing-tools