Skip to content

Instantly share code, notes, and snippets.

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