smartcheck-0.1: A smarter QuickCheck.

Safe HaskellNone

Test.SmartCheck.Reduce

Documentation

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