| ||||||||||||||||
| ||||||||||||||||
| Documentation | ||||||||||||||||
| type Assertion = IO () | ||||||||||||||||
| assertFailure :: String -> Assertion | ||||||||||||||||
| assertString :: String -> Assertion | ||||||||||||||||
| assertBool :: String -> Bool -> Assertion | ||||||||||||||||
| assertEqual :: (Eq a, Show a) => String -> a -> a -> Assertion | ||||||||||||||||
| class Assertable t where | ||||||||||||||||
| ||||||||||||||||
| class ListAssertable t where | ||||||||||||||||
| ||||||||||||||||
| type AssertionPredicate = IO Bool | ||||||||||||||||
| class AssertionPredicable t where | ||||||||||||||||
| ||||||||||||||||
| (@?) :: AssertionPredicable t => t -> String -> Assertion | ||||||||||||||||
| (@=?) :: (Eq a, Show a) => a -> a -> Assertion | ||||||||||||||||
| (@?=) :: (Eq a, Show a) => a -> a -> Assertion | ||||||||||||||||
| data Test | ||||||||||||||||
| ||||||||||||||||
| data Node | ||||||||||||||||
| ||||||||||||||||
| type Path = [Node] | ||||||||||||||||
| testCaseCount :: Test -> Int | ||||||||||||||||
| class Testable t where | ||||||||||||||||
| ||||||||||||||||
| (~?) :: AssertionPredicable t => t -> String -> Test | ||||||||||||||||
| (~=?) :: (Eq a, Show a) => a -> a -> Test | ||||||||||||||||
| (~?=) :: (Eq a, Show a) => a -> a -> Test | ||||||||||||||||
| (~:) :: Testable t => String -> t -> Test | ||||||||||||||||
| data Counts | ||||||||||||||||
| ||||||||||||||||
| data State | ||||||||||||||||
| ||||||||||||||||
| type ReportStart us = State -> us -> IO us | ||||||||||||||||
| type ReportProblem us = String -> State -> us -> IO us | ||||||||||||||||
| testCasePaths :: Test -> [Path] | ||||||||||||||||
| performTest :: ReportStart us -> ReportProblem us -> ReportProblem us -> us -> Test -> IO (Counts, us) | ||||||||||||||||
| Produced by Haddock version 2.3.0 | ||||||||||||||||