| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Hedgehog.Extras.Test.MonadAssertion
Synopsis
- class Monad m => MonadAssertion (m :: Type -> Type) where
- throwAssertion :: Failure -> m a
- catchAssertion :: m a -> (Failure -> m a) -> m a
- assertFailure :: (HasCallStack, Show a, MonadAssertion m, MonadTest m) => m a -> m Failure
- assertFailure_ :: (HasCallStack, Show a, MonadAssertion m, MonadTest m) => m a -> m ()
- tryAssertion :: MonadAssertion m => m a -> m (Either Failure a)
Documentation
class Monad m => MonadAssertion (m :: Type -> Type) where Source #
Methods
throwAssertion :: Failure -> m a Source #
catchAssertion :: m a -> (Failure -> m a) -> m a Source #
Instances
| MonadAssertion UnitIO Source # | |
Defined in Hedgehog.Extras.Test.Unit | |
| Monad m => MonadAssertion (PropertyT m) Source # | |
Defined in Hedgehog.Extras.Test.MonadAssertion | |
| Monad m => MonadAssertion (TestT m) Source # | |
Defined in Hedgehog.Extras.Test.MonadAssertion | |
| MonadAssertion m => MonadAssertion (ResourceT m) Source # | |
Defined in Hedgehog.Extras.Test.MonadAssertion | |
assertFailure :: (HasCallStack, Show a, MonadAssertion m, MonadTest m) => m a -> m Failure Source #
Run the given action and succeed if the action fails, but fail if it succeeds.
assertFailure_ :: (HasCallStack, Show a, MonadAssertion m, MonadTest m) => m a -> m () Source #
Run the given action and succeed if the action fails, but fail if it succeeds.
tryAssertion :: MonadAssertion m => m a -> m (Either Failure a) Source #
Attempt to run a function that may assert, returning either a failure or the result of the assertion.