ModuleQuickCheck-2.19.0.0

Test.QuickCheck.Monadic

Synopsis

valueassert :: Monad m => Bool -> PropertyM m ()

valueassertDeepException

valueassertDeepExceptionIO

valueassertException :: Exception exc => (exc -> Bool) -> a -> Property

valueassertExceptionIO :: Exception exc => (exc -> Bool) -> IO a -> Property

valueassertWith :: Monad m => Bool -> String -> PropertyM m ()

valueforAllM

valuemonadic

valuemonadic' :: (Testable a, Monad m) => PropertyM m a -> Gen (m Property)

valuemonadicIO :: Testable a => PropertyM IO a -> Property

valuemonadicST :: Testable a => (forall s. PropertyM (ST s) a) -> Property

valuemonitor :: Monad m => (Property -> Property) -> PropertyM m ()

valuepick :: (Monad m, Show a) => Gen a -> PropertyM m a

valuepre :: Monad m => Bool -> PropertyM m ()

valuerun :: Monad m => m a -> PropertyM m a

valuerunSTGen :: (forall s. Gen (ST s a)) -> Gen a

valuestop :: (Testable prop, Monad m) => prop -> PropertyM m a

valuewp :: Monad m => m a -> (a -> PropertyM m b) -> PropertyM m b

newtypenewtype PropertyM (m :: Type -> Type) a

Instances6MonadTrans, Monad, Functor, MonadFail, Applicative, MonadIO

MonadTrans PropertyMDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Monadic
Monad m => Monad (PropertyM m)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Monadic
Functor (PropertyM m)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Monadic
Monad m => MonadFail (PropertyM m)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Monadic
Applicative (PropertyM m)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Monadic
MonadIO m => MonadIO (PropertyM m)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Monadic