| forAll :: (Show a, Testable testable) | |
| => Gen a -> Shrink a -> (a -> testable) -> Property | |
| forAll argGen shrink prop = ... |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
| forAll :: (Show a, Testable testable) | |
| => Gen a -> Shrink a -> (a -> testable) -> Property | |
| forAll argGen shrink prop = ... |