not package:skeletest

not :: forall (m :: Type -> Type) a . Monad m => Predicate m a -> Predicate m a

skeletest Skeletest.Internal.Predicate Skeletest.Predicate

A predicate checking if the input does not match the given predicate

>>> Just 2 `shouldSatisfy` P.just (P.not (P.eq 1))

nothing :: forall (m :: Type -> Type) a . Monad m => Predicate m (Maybe a)

skeletest Skeletest.Internal.Predicate Skeletest.Predicate

A predicate checking if the input is Nothing

>>> Nothing `shouldSatisfy` P.nothing

shouldNotBe :: (HasCallStack, Testable m, Eq a) => a -> a -> m ()

skeletest Skeletest Skeletest.Assertions

Assert that the given input should not match the given value. Equivalent to actual shouldNotSatisfy P.eq expected

shouldNotSatisfy :: (HasCallStack, Testable m) => a -> Predicate m a -> m ()

skeletest Skeletest Skeletest.Assertions

Assert that the given input should not satisfy the given predicate.

CliFlagNotFound :: Text -> SkeletestError

skeletest Skeletest.Internal.Error

TestInfoNotFound :: SkeletestError

skeletest Skeletest.Internal.Error

TestTargetNot :: TestTarget -> TestTarget

skeletest Skeletest.Internal.TestTargets