smartcheck-0.2.4: A smarter QuickCheck.

Safe HaskellSafe
LanguageHaskell2010

Test.SmartCheck.Reduce

Documentation

smartRun :: SubTypes a => ScArgs -> a -> (a -> Property) -> IO a Source #