quickcheck-dynamic-3.0.2: A library for stateful property-based testing
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.QuickCheck.Extras

Documentation

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

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