Safe Haskell	Safe-Inferred
Language	Haskell2010

Hedgehog.Extras.Test.MonadAssertion

Documentation

Methods

throwAssertion ∷ Failure → m a Source #

catchAssertion ∷ m a → (Failure → m a) → m a Source #

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 #