ModuleQuickCheck-2.19.0.0

Test.QuickCheck.Features

Synopsis

valuefeatures :: [String] -> Set String -> Set String

valuelabelledExamples :: Testable prop => prop -> IO ()

valuelabelledExamplesResult :: Testable prop => prop -> IO Result

valuelabelledExamplesWith :: Testable prop => Args -> prop -> IO ()

valuelabelledExamplesWithResult :: Testable prop => Args -> prop -> IO Result

valueprop_noNewFeatures :: Testable prop => Set String -> prop -> Property