Modulehedgehog-extras-0.10.1.0Haskell2010

Hedgehog.Extras.Test.MonadAssertion

classclass Monad m => MonadAssertion (m :: Type -> Type) where

Instances4MonadAssertion

MonadAssertion UnitIODefined in hedgehog-extras-0.10.1.0 · Hedgehog.Extras.Test.Unit
Monad m => MonadAssertion (PropertyT m)Defined in hedgehog-extras-0.10.1.0 · Hedgehog.Extras.Test.MonadAssertion
Monad m => MonadAssertion (TestT m)Defined in hedgehog-extras-0.10.1.0 · Hedgehog.Extras.Test.MonadAssertion
MonadAssertion m => MonadAssertion (ResourceT m)Defined in hedgehog-extras-0.10.1.0 · Hedgehog.Extras.Test.MonadAssertion

valueassertFailure

Run the given action and succeed if the action fails, but fail if it succeeds.

valueassertFailure_

Run the given action and succeed if the action fails, but fail if it succeeds.

valuetryAssertion :: MonadAssertion m => m a -> m (Either Failure a)

Attempt to run a function that may assert, returning either a failure or the result of the assertion.