axiomatic-classes-0.1.0.0: Specify axioms for type classes and quickCheck all available instances

Safe HaskellNone
LanguageHaskell2010

Test.QuickCheck.Shrink

Documentation

doShrink :: Arbitrary a => (a -> Property) -> a -> IO a Source #