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