You should not use the functions provided by this module directly.
Instead, for each function assertXXX_
defined in this module,
there exist a preprocessor macro assertXXX
, which provides
the Location parameter automatically.
|
- assertFailure :: String -> IO a
- assertBool_ :: Location -> Bool -> Assertion
- assertBoolVerbose_ :: Location -> String -> Bool -> Assertion
- assertEqual_ :: (Eq a, Show a) => Location -> a -> a -> Assertion
- assertEqualVerbose_ :: (Eq a, Show a) => Location -> String -> a -> a -> Assertion
- assertEqualPretty_ :: (Eq a, Pretty a) => Location -> a -> a -> Assertion
- assertEqualPrettyVerbose_ :: (Eq a, Pretty a) => Location -> String -> a -> a -> Assertion
- assertEqualNoShow_ :: Eq a => Location -> a -> a -> Assertion
- assertEqualNoShowVerbose_ :: Eq a => Location -> String -> a -> a -> Assertion
- assertListsEqualAsSets_ :: (Eq a, Show a) => Location -> [a] -> [a] -> Assertion
- assertListsEqualAsSetsVerbose_ :: (Eq a, Show a) => Location -> String -> [a] -> [a] -> Assertion
- assertNotEmpty_ :: Location -> [a] -> Assertion
- assertNotEmptyVerbose_ :: Location -> String -> [a] -> Assertion
- assertEmpty_ :: Location -> [a] -> Assertion
- assertEmptyVerbose_ :: Location -> String -> [a] -> Assertion
- assertThrows_ :: Exception e => Location -> a -> (e -> Bool) -> Assertion
- assertThrowsVerbose_ :: Exception e => Location -> String -> a -> (e -> Bool) -> Assertion
- assertThrowsSome_ :: Location -> a -> Assertion
- assertThrowsSomeVerbose_ :: Location -> String -> a -> Assertion
- assertLeft_ :: Show b => Location -> Either a b -> IO a
- assertLeftVerbose_ :: Show b => Location -> String -> Either a b -> IO a
- assertLeftNoShow_ :: Location -> Either a b -> IO a
- assertLeftNoShowVerbose_ :: Location -> String -> Either a b -> IO a
- assertRight_ :: Show a => Location -> Either a b -> IO b
- assertRightVerbose_ :: Show a => Location -> String -> Either a b -> IO b
- assertRightNoShow_ :: Location -> Either a b -> IO b
- assertRightNoShowVerbose_ :: Location -> String -> Either a b -> IO b
- assertJust_ :: Location -> Maybe a -> IO a
- assertJustVerbose_ :: Location -> String -> Maybe a -> IO a
- assertNothing_ :: Show a => Location -> Maybe a -> Assertion
- assertNothingVerbose_ :: Show a => Location -> String -> Maybe a -> Assertion
- assertNothingNoShow_ :: Location -> Maybe a -> Assertion
- assertNothingNoShowVerbose_ :: Location -> String -> Maybe a -> Assertion
General failure
assertFailure :: String -> IO aSource
Assertions on Bool values
assertBool_ :: Location -> Bool -> AssertionSource
Equality assertions
assertEqualNoShow_ :: Eq a => Location -> a -> a -> AssertionSource
Assertions on lists
assertListsEqualAsSetsVerbose_ :: (Eq a, Show a) => Location -> String -> [a] -> [a] -> AssertionSource
assertNotEmpty_ :: Location -> [a] -> AssertionSource
assertNotEmptyVerbose_ :: Location -> String -> [a] -> AssertionSource
assertEmpty_ :: Location -> [a] -> AssertionSource
assertEmptyVerbose_ :: Location -> String -> [a] -> AssertionSource
Assertions for exceptions
assertThrowsSome_ :: Location -> a -> AssertionSource
assertThrowsSomeVerbose_ :: Location -> String -> a -> AssertionSource
Assertions on Either values
assertLeftNoShow_ :: Location -> Either a b -> IO aSource
assertRightNoShow_ :: Location -> Either a b -> IO bSource
Assertions on Just values
assertJust_ :: Location -> Maybe a -> IO aSource
assertNothingNoShow_ :: Location -> Maybe a -> AssertionSource