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 #