Skip to content

Instantly share code, notes, and snippets.

@deque-blog

deque-blog/rapid_check_rapidCheck.hs

Last active February 2, 2017 12:12
Show Gist options
  • Save deque-blog/40945fd4dc33625004ef7f0b020b6c3d to your computer and use it in GitHub Desktop.
Save deque-blog/40945fd4dc33625004ef7f0b020b6c3d to your computer and use it in GitHub Desktop.
Download ZIP
Raw
rapid_check_rapidCheck.hs
rapidCheck :: Testable prop => prop -> IO Result
rapidCheck = rapidCheckWith 100
rapidCheckWith :: Testable prop => Int -> prop -> IO Result
rapidCheckWith attemptNb prop = do
seed <- randomIO
return $ rapidCheckImpl attemptNb seed prop
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment