| ||||||||||||
| ||||||||||||
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 0.7 |