QuickCheck-2.1.0.3: Automatic testing of Haskell programs Source code Contents Index

Test.QuickCheck.Monadic

Description

Allows testing of monadic values.

Documentation

newtype PropertyM m a Source

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

assert :: Monad m => Bool -> PropertyM m () Source

pre :: Monad m => Bool -> PropertyM m () Source

run :: Monad m => m a -> PropertyM m a Source

pick :: (Monad m, Show a) => Gen a -> PropertyM m a Source

wp :: Monad m => m a -> (a -> PropertyM m b) -> PropertyM m b Source

forAllM :: (Monad m, Show a) => Gen a -> (a -> PropertyM m b) -> PropertyM m b Source

monitor :: Monad m => (Property -> Property) -> PropertyM m () Source

monadic :: Monad m => (m Property -> Property) -> PropertyM m a -> Property Source

monadicIO :: PropertyM IO a -> Property Source

newtype IdM m s a Source

Constructors MkIdM unIdM :: m s a

data MonadS' m Source

Constructors MkMonadS ret :: forall a s. a -> m s a bin :: forall a b s. m s a -> (a -> m s b) -> m s b

class MonadS m where Source

Methods return' :: a -> m s a Source bind' :: m s a -> (a -> m s b) -> m s b Source

Produced by Haddock version 2.6.0