Test.Hspec.Benri

Provides convenient functions for writing hspec tests

expect a monadic value

endsThen :: Show a => IO a -> (a -> Bool) -> IO () infix 1

action `endsThen` expected sets the expectation that action returns expected.

expect a monadic Maybe

endsJust :: (HasCallStack, Show a, Eq a) => IO (Maybe a) -> a -> Expectation infix 1

action `endsJust` expected sets the expectation that action returns Just expected@.

endsJust_ :: Show a => IO (Maybe a) -> IO ()

action `endsJust_` sets the expectation that action returns Just _@.

endsNothing :: (Show a, Eq a) => IO (Maybe a) -> IO ()

action `endsNothing` expected sets the expectation that action returns Nothing.

expect a monadic Either

endsLeft :: (HasCallStack, Show a, Eq a, Show b, Eq b) => IO (Either a b) -> a -> Expectation infix 1

action `endsLeft` expected sets the expectation that action returns Left expected@.

endsLeft_ :: (Show a, Show b) => IO (Either a b) -> IO ()

action `endsLeft_` sets the expectation that action returns Left _@.

endsRight :: (HasCallStack, Show a, Eq a, Show b, Eq b) => IO (Either a b) -> b -> Expectation infix 1

action `endsRight` expected sets the expectation that action returns Right expected@.

endsRight_ :: (Show a, Show b) => IO (Either a b) -> IO ()

action `endsRight_` sets the expectation that action returns Right _@.