Documentation

isDefined :: a -> IO Bool Source #

isDeeplyDefined :: NFData a => a -> IO Bool Source #

mustFail :: a -> String -> Property Source #

qcWithTimeout :: Testable prop => Int -> prop -> Assertion Source #

qcWithTimeoutAndArgs :: Testable prop => Int -> Args -> prop -> Assertion Source #

qcWithTimeoutAndRuns :: Testable prop => Int -> Int -> prop -> Assertion Source #

qc :: Testable prop => Int -> prop -> Assertion Source #

qc' :: Testable prop => Int -> Int -> prop -> Assertion Source #

qcWithArgs :: Testable prop => Int -> Args -> prop -> Assertion Source #

tcWithTimeout :: Int -> IOrep () -> Specification -> Assertion Source #

tcWithTimeoutAndArgs :: Int -> Args -> IOrep () -> Specification -> Assertion Source #

tcCustomizedWithTimeoutAndArgs :: Int -> Args -> IOrep () -> Specification -> (String -> String) -> Assertion Source #

tcWithInputsOnFailure :: Int -> Args -> IOrep () -> Specification -> ([String] -> String) -> Assertion Source #