QuickCheck-2.6: Automatic testing of Haskell programs

Safe HaskellNone

Test.QuickCheck.Monadic

Description

Allows testing of monadic values. See the paper "Testing Monadic Code with QuickCheck": http://www.cse.chalmers.se/~rjmh/Papers/QuickCheckST.ps.

Documentation

newtype PropertyM m a Source

Constructors

MkPropertyM 

Fields

unPropertyM :: (a -> Gen (m Property)) -> Gen (m Property)
 

Instances

stop :: (Testable prop, Monad m) => prop -> PropertyM m aSource

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

monadicST :: (forall s. PropertyM (ST s) a) -> PropertySource

runSTGen :: (forall s. Gen (ST s a)) -> Gen aSource