quickcheck-dynamic-3.4.0: 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 #