hedgehog-extras
Safe HaskellSafe-Inferred
LanguageHaskell2010

Hedgehog.Extras.Test.MonadAssertion

Documentation

class Monad m => MonadAssertion m where Source #

Methods

throwAssertion :: Failure -> m a Source #

catchAssertion :: m a -> (Failure -> m a) -> m a Source #

Instances

Instances details
Monad m => MonadAssertion (PropertyT m) Source # 
Instance details

Defined in Hedgehog.Extras.Test.MonadAssertion

Methods

throwAssertion :: Failure -> PropertyT m a Source #

catchAssertion :: PropertyT m a -> (Failure -> PropertyT m a) -> PropertyT m a Source #

Monad m => MonadAssertion (TestT m) Source # 
Instance details

Defined in Hedgehog.Extras.Test.MonadAssertion

Methods

throwAssertion :: Failure -> TestT m a Source #

catchAssertion :: TestT m a -> (Failure -> TestT m a) -> TestT m a Source #

MonadAssertion m => MonadAssertion (ResourceT m) Source # 
Instance details

Defined in Hedgehog.Extras.Test.MonadAssertion

Methods

throwAssertion :: Failure -> ResourceT m a Source #

catchAssertion :: ResourceT m a -> (Failure -> ResourceT m a) -> ResourceT m a Source #