::
GHC 10.0.0.20260917 · lts/ghc-10.0.x · 4d334ea · 2026-10-12
Modulehspec-smallcheck-0.5.3Haskell2010
property :: Testable IO a => a -> Property IO
Testable IO (IO ())
Example (Property IO)