| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.QuickCheck.IO
Contents
Documentation
propertyIO :: Assertion -> Property Source #
Orphan instances
| Testable Assertion Source # | |
Methods property :: Assertion -> Property propertyForAllShrinkShow :: Gen a -> (a -> [a]) -> (a -> [String]) -> (a -> Assertion) -> Property | |