Skip to content

Instantly share code, notes, and snippets.

@deque-blog

deque-blog/rapid_check_testable_induction.hs

Last active February 2, 2017 22:06
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save deque-blog/99c1ccf4c6ddd42c5151a6ddf21005ad to your computer and use it in GitHub Desktop.
Save deque-blog/99c1ccf4c6ddd42c5151a6ddf21005ad to your computer and use it in GitHub Desktop.
Download ZIP
Raw
rapid_check_testable_induction.hs
instance
(Show a, Arbitrary a,
Testable testable)
=> Testable (a -> testable)
where
property f = forAll arbitrary f
forAll :: (Show a, Testable testable) => Gen a -> (a -> testable) -> Property
forAll = undefined
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment