QuickCheck-2.1.0.1: Automatic testing of Haskell programs
Test.QuickCheck.Monadic
Description
Allows testing of monadic values.
newtype PropertyM m a Source
Constructors
Fields
Instances
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
monadicIO :: PropertyM IO a -> PropertySource
newtype IdM m s a Source
data MonadS' m Source
class MonadS m whereSource
Methods
return' :: a -> m s aSource
bind' :: m s a -> (a -> m s b) -> m s bSource