Test.QuickCheck.Extras

Documentation

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

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