Skip to content

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

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 8c2f8e8 · 2026-10-19

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