Genesis.Test.Hspec

This module re-exports everything from Test.Hspec, except with modified versions of the runner and expectations that operate over an arbitrary monad transformer stack with IO at the base. This is especially useful in conjunction with dbExample from Genesis.Test.Persist, which runs an hspec example in a monad that can interact with a database.

Documentation

module Test.Hspec

hspec :: MonadBase IO m => Spec -> m ()

expectationFailure :: (HasCallStack, MonadBase IO m) => String -> m ()

shouldBe :: (HasCallStack, Show a, Eq a, MonadBase IO m) => a -> a -> m ()

shouldSatisfy :: (HasCallStack, Show a, MonadBase IO m) => a -> (a -> Bool) -> m ()

shouldStartWith :: (HasCallStack, Show a, Eq a, MonadBase IO m) => [a] -> [a] -> m ()

shouldEndWith :: (HasCallStack, Show a, Eq a, MonadBase IO m) => [a] -> [a] -> m ()

shouldContain :: (HasCallStack, Show a, Eq a, MonadBase IO m) => [a] -> [a] -> m ()

shouldMatchList :: (HasCallStack, Show a, Eq a, MonadBase IO m) => [a] -> [a] -> m ()

shouldReturn :: (HasCallStack, Show a, Eq a, MonadBase IO m) => m a -> a -> m ()

shouldNotBe :: (HasCallStack, Show a, Eq a, MonadBase IO m) => a -> a -> m ()

shouldNotSatisfy :: (HasCallStack, Show a, MonadBase IO m) => a -> (a -> Bool) -> m ()

shouldNotContain :: (HasCallStack, Show a, Eq a, MonadBase IO m) => [a] -> [a] -> m ()

shouldNotReturn :: (HasCallStack, Show a, Eq a, MonadBase IO m) => m a -> a -> m ()

shouldThrow :: forall e a m. (HasCallStack, Exception e, MonadBaseControl IO m) => m a -> Selector e -> m ()