Test.QuickCheck.Monadic

| QuickCheck-2.1.1.1: Automatic testing of Haskell programs | Contents | Index
Test.QuickCheck.Monadic
Description
Allows testing of monadic values.
Documentation
newtype PropertyM m a
Constructors
MkPropertyM |
unPropertyM :: (a -> Gen (m Property)) -> Gen (m Property) |
Instances
Monad m => Monad (PropertyM m) |
Functor (PropertyM m) |
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 |
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