Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
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