leancheck-0.3.0: Cholesterol-free property-based testing
Test.Check.IO
Description
QuickCheck-like interface to LeanCheck
Synopsis
check :: Testable a => a -> IO () Source
Check a property printing results on stdout
stdout
checkFor :: Testable a => Int -> a -> IO () Source
Check a property for N tests printing results on stdout
N
checkResult :: Testable a => a -> IO Bool Source
Check a property printing results on stdout and returning True on success.
True
There is no option to silence this function: in that case, you should use holds.
holds
checkResultFor :: Testable a => Int -> a -> IO Bool Source
Check a property for N tests printing results on stdout and returning True on success.