QuickCheck-2.1.2: Automatic testing of Haskell programs

Test.QuickCheck.Monadic

Description

Allows testing of monadic values.

Documentation

newtype PropertyM m a Source

Constructors

MkPropertyM 

Fields

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

Instances

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

newtype IdM m s a Source

Constructors

MkIdM 

Fields

unIdM :: m s a
 

Instances

MonadS m => Monad (IdM m s) 

data MonadS' m Source

Constructors

MkMonadS 

Fields

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 whereSource

Methods

return' :: a -> m s aSource

bind' :: m s a -> (a -> m s b) -> m s bSource