Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.xa8896112026-10-18Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · a889611 · 2026-10-18

Modulequickcheck-dynamic-4.0.1Haskell2010

Test.QuickCheck.Extras

2 values

Packagequickcheck-dynamic-4.0.1
Exports2
LanguageHaskell2010
LicenceApache-2.0

valuerunPropertyStateT

:: Monad m
=> PropertyM (StateT s m) a
-> s
-> PropertyM m (a, s)

valuerunPropertyReaderT

:: Monad m
=> PropertyM (ReaderT e m) a
-> e
-> PropertyM m a