| ||||||||||
| ||||||||||
Description | ||||||||||
Allows testing of monadic values. | ||||||||||
Documentation | ||||||||||
newtype PropertyM m a | ||||||||||
| ||||||||||
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 | ||||||||||
| ||||||||||
data MonadS' m | ||||||||||
| ||||||||||
class MonadS m where | ||||||||||
| ||||||||||
Produced by Haddock version 2.7.2 |