| ||||||||||
| ||||||||||
| 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 | ||||||||||