Documentation

mysmallcheck :: Testable prop => prop -> ()Source

mysmallcheck' :: Testable prop => prop -> IO ()Source

myquickcheck :: Testable prop => prop -> StringSource

myquickcheck' :: Testable prop => prop -> IO StringSource

tests :: Testable prop => prop -> Int -> [[String]] -> IO StringSource

done :: String -> Int -> [[String]] -> IO StringSource