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 |