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 #