Skip to content

Instantly share code, notes, and snippets.

@deque-blog

deque-blog/rapid_check_testable_induction_goal.hs

Last active February 2, 2017 22:04
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/637666ae863524c7e7dda052c9cc81bc to your computer and use it in GitHub Desktop.
Save deque-blog/637666ae863524c7e7dda052c9cc81bc to your computer and use it in GitHub Desktop.
Download ZIP
Raw
rapid_check_testable_induction_goal.hs
instance
(Show a, Arbitrary a, -- Given a type `a` supporting random generation
Testable testable) -- And an already existing testable function
=> Testable (a -> testable) -- The function (a -> testable) is also testable
where
property = undefined -- With the provided implementation
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment