QuickCheck-2.1.1.1: Automatic testing of Haskell programsContentsIndex
Test.QuickCheck.Monadic
Description
Allows testing of monadic values.
Documentation
newtype PropertyM m a
Constructors
MkPropertyM
unPropertyM :: (a -> Gen (m Property)) -> Gen (m Property)
show/hide Instances
assert :: Monad m => Bool -> PropertyM m ()
pre :: Monad m => Bool -> PropertyM m ()
run :: Monad m => m a -> PropertyM m a
pick :: (Monad m, Show a) => Gen a -> PropertyM m a
wp :: Monad m => m a -> (a -> PropertyM m b) -> PropertyM m b
forAllM :: (Monad m, Show a) => Gen a -> (a -> PropertyM m b) -> PropertyM m b
monitor :: Monad m => (Property -> Property) -> PropertyM m ()
monadic :: Monad m => (m Property -> Property) -> PropertyM m a -> Property
monadicIO :: PropertyM IO a -> Property
newtype IdM m s a
Constructors
MkIdM
unIdM :: m s a
show/hide Instances
MonadS m => Monad (IdM m s)
data MonadS' m
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
Methods
return' :: a -> m s a
bind' :: m s a -> (a -> m s b) -> m s b
Produced by Haddock version 2.7.2