::
GHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05
Modulehspec-smallcheck-0.5.3Haskell2010
property :: Testable IO a => a -> Property IO
Testable IO (IO ())
Example (Property IO)