Safe Haskell | None |
---|---|
Language | Haskell98 |
- data Test t
- type Assertion t = IO ()
- assertEqual :: (?loc :: CallStack, Eq a, Show a) => String -> a -> a -> Assertion
- convert :: Test t -> Test
- class (FirstOrderFormula formula atom v, Apply atom p term, Term term v f, Eq formula, Ord formula, Show formula, Eq p, IsString v, IsString p, IsString f, Ord f, Ord p, Eq term, Show term, Ord term, Show v) => TestFormula formula atom term v p f
- class (FirstOrderFormula formula atom v, AtomEq atom p term, Term term v f, Eq formula, Ord formula, Show formula, Eq p, IsString v, IsString p, IsString f, Ord f, Ord p, Eq term, Show term, Ord term, Show v) => TestFormulaEq formula atom term v p f
Documentation
HUnit Test type with an added phantom type parameter. To run
such a test you use the convert function below:
:load Data.Logic.Tests.Harrison.Meson
:m +Data.Logic.Tests.HUnit
:m +Test.HUnit
runTestTT (convert tests)
:: (?loc :: CallStack, Eq a, Show a) | |
=> String | The message prefix |
-> a | The expected value |
-> a | The actual value |
-> Assertion |
Asserts that the specified actual value is equal to the expected value. The output message will contain the prefix, the expected value, and the actual value.
If the prefix is the empty string (i.e., ""
), then the prefix is omitted
and only the expected and actual values are output.