::
GHC 9.14.1 · lts/ghc-9.14.x · 3e2d568 · 2026-10-11
Modulehspec-smallcheck-0.5.3Haskell2010
property :: Testable IO a => a -> Property IO
Testable IO (IO ())
Example (Property IO)