Hedgehog.Extras.Test.MonadAssertion

Documentation

class Monad m => MonadAssertion m where

Methods

throwAssertion :: Failure -> m a

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

Instances

Monad m => MonadAssertion (PropertyT m)

Defined in Hedgehog.Extras.Test.MonadAssertion

Methods

throwAssertion :: Failure -> PropertyT m a

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

Monad m => MonadAssertion (TestT m)

Defined in Hedgehog.Extras.Test.MonadAssertion

Methods

throwAssertion :: Failure -> TestT m a

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

MonadAssertion m => MonadAssertion (ResourceT m)

Defined in Hedgehog.Extras.Test.MonadAssertion

Methods

throwAssertion :: Failure -> ResourceT m a

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