axiomatic-classes-0.1.0.0: Specify axioms for type classes and quickCheck all available instances
Test.QuickCheck.Regression
regression :: (Show a, Testable b) => (a -> b) -> [a] -> Property Source #