Documentation

data PropName Source #

propDesc :: PropName -> String Source #

quickCheckWithResult' :: Testable prop => Args -> PropName -> prop -> IO (String, Result) Source #

quickCheckResult' :: Testable prop => PropName -> prop -> IO (String, Result) Source #

printQuickCheckResult :: Testable prop => ((PropName -> prop -> IO (String, Result)) -> IO ([String], Bool)) -> IO () Source #

printQuickCheckWithResult :: Testable prop => Args -> ((PropName -> prop -> IO (String, Result)) -> IO ([String], Bool)) -> IO () Source #

quickCheckWrap :: Name -> ExpQ Source #

forAllProperties' :: ExpQ Source #

readUTF8File :: FilePath -> IO String Source #

set_utf8_io_enc :: Handle -> IO Handle Source #

runQuickCheckAll' :: [(PropName, Property)] -> (PropName -> Property -> IO (a, Result)) -> IO ([a], Bool) Source #

test_report :: Testable a => ((a -> IO Result) -> IO b) -> IO Bool Source #