HaskellWorks.Polysemy.Hedgehog.Effect.Hedgehog.Internal

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 HaskellWorks.Polysemy.Hedgehog.Effect.Hedgehog.Internal

Methods

throwAssertion :: Failure -> PropertyT m a

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

Monad m => MonadAssertion (TestT m)

Defined in HaskellWorks.Polysemy.Hedgehog.Effect.Hedgehog.Internal

Methods

throwAssertion :: Failure -> TestT m a

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

MonadAssertion m => MonadAssertion (ResourceT m)

Defined in HaskellWorks.Polysemy.Hedgehog.Effect.Hedgehog.Internal

Methods

throwAssertion :: Failure -> ResourceT m a

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

failWithCustom :: MonadTest m => CallStack -> Maybe Diff -> String -> m a