| 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