Test.Syd.Expectation · sydtest-0.22.0.0

valueshouldBe :: (HasCallStack, Show a, Eq a) => a -> a -> IO ()

#

Assert that two values are equal according to ==.

valueshouldNotBe :: (HasCallStack, Show a, Eq a) => a -> a -> IO ()

#

Assert that two values are not equal according to ==.

valueshouldSatisfy :: (HasCallStack, Show a) => a -> (a -> Bool) -> IO ()

#

Assert that a value satisfies the given predicate.

valueshouldSatisfyNamed

:: (HasCallStack, Show a)
=> a
-> String
-> a -> Bool
-> IO ()

#

Assert that a value satisfies the given predicate with the given predicate name.

valueshouldNotSatisfy :: (HasCallStack, Show a) => a -> (a -> Bool) -> IO ()

#

Assert that a value does not satisfy the given predicate.

valueshouldNotSatisfyNamed

:: (HasCallStack, Show a)
=> a
-> String
-> a -> Bool
-> IO ()

#

Assert that a value does not satisfy the given predicate with the given predicate name.

valueshouldReturn :: (HasCallStack, Show a, Eq a) => IO a -> a -> IO ()

#

Assert that computation returns the given value (according to ==).

valueshouldNotReturn :: (HasCallStack, Show a, Eq a) => IO a -> a -> IO ()

#

Assert that computation returns the given value (according to ==).

valueshouldStartWith :: (HasCallStack, Show a, Eq a) => [a] -> [a] -> Expectation

#

Assert that the given list has the given prefix

valueshouldEndWith :: (HasCallStack, Show a, Eq a) => [a] -> [a] -> Expectation

#

Assert that the given list has the given suffix

valueshouldContain :: (HasCallStack, Show a, Eq a) => [a] -> [a] -> Expectation

#

Assert that the given list has the given infix

valueshouldMatchList :: (HasCallStack, Show a, Eq a) => [a] -> [a] -> Expectation

#

Assert that the given list contains all elements from the other given list and only them, perhaps in a different order.

valuestringShouldBe :: HasCallStack => String -> String -> IO ()

#

Assert that two Strings are equal according to ==.

Note that using function could mess up the colours in your terminal if the Texts contain ANSI codes. In that case you may want to show your values first or use shouldBe instead.

valuetextShouldBe :: HasCallStack => Text -> Text -> IO ()

#

Assert that two Texts are equal according to ==.

Note that using function could mess up the colours in your terminal if the Texts contain ANSI codes. In that case you may want to show your values first or use shouldBe instead.

valuestringsNotEqualButShouldHaveBeenEqual :: String -> String -> IO Assertion

#

An assertion that says two Strings should have been equal according to ==.

Note that using function could mess up the colours in your terminal if the Texts contain ANSI codes. In that case you may want to show your values first or use shouldBe instead.

valuetextsNotEqualButShouldHaveBeenEqual :: Text -> Text -> IO Assertion

#

An assertion that says two Texts should have been equal according to ==.

Note that using function could mess up the colours in your terminal if the Texts contain ANSI codes. In that case you may want to show your values first or use shouldBe instead.

valuebytestringsNotEqualButShouldHaveBeenEqual

#

An assertion that says two ByteStrings should have been equal according to ==.

valueexpectationFailure :: HasCallStack => String -> IO a

#

Make a test fail

Note that this is mostly backward compatible, but it has return type a instead of () because execution will not continue beyond this function. In this way it is not entirely backward compatible with hspec because now there could be an ambiguous type error.

valuecontext :: String -> IO a -> IO a

#

Annotate a given action with a context, for contextual assertions

This is a completely different function from the function with the same name in hspec. In hspec, context is a synonym for describe, but in sydtest, context is used for contextual failures.

typetype Expectation = IO ()

#

For easy hspec migration