QuickCheck-2.4.0.1: Automatic testing of Haskell programs
Test.QuickCheck.Monadic
Description
Allows testing of monadic values.
newtype PropertyM m a Source
Constructors
Fields
Instances
stop :: (Testable prop, Monad m) => prop -> PropertyM m aSource
assert :: Monad m => Bool -> PropertyM m ()Source
pre :: Monad m => Bool -> PropertyM m ()Source
run :: Monad m => m a -> PropertyM m aSource
pick :: (Monad m, Show a) => Gen a -> PropertyM m aSource
wp :: Monad m => m a -> (a -> PropertyM m b) -> PropertyM m bSource
forAllM :: (Monad m, Show a) => Gen a -> (a -> PropertyM m b) -> PropertyM m bSource
monitor :: Monad m => (Property -> Property) -> PropertyM m ()Source
monadic :: Monad m => (m Property -> Property) -> PropertyM m a -> PropertySource
monadic' :: Monad m => PropertyM m a -> Gen (m Property)Source
monadicIO :: PropertyM IO a -> PropertySource
monadicST :: (forall s. PropertyM (ST s) a) -> PropertySource
runSTGen :: (forall s. Gen (ST s a)) -> Gen aSource