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