Copyright | 2019 Kei Hibino |
---|---|
License | BSD3 |
Maintainer | [email protected] |
Stability | experimental |
Portability | unknown |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Test.QuickCheck.CompatIO
Description
This module provides a compatible ioProperty definition.
Synopsis
- ioProperty :: Testable prop => IO prop -> Property
Documentation
ioProperty :: Testable prop => IO prop -> Property #
Do I/O inside a property.
Warning: any random values generated inside of the argument to ioProperty
will not currently be shrunk. For best results, generate all random values
before calling ioProperty
, or use idempotentIOProperty
if that is safe.
Note: if your property does no quantification, it will only be tested once.
To test it repeatedly, use again
.