- Specification with hSpec (not necessary for this example)
- or user manual with embedded tests as specification to show a trivial traceability
- no => unittests + manual with embedded examples
Or implement both :
-
hSpec
-
a document that test Interface.hs
- a test function that takes a possible interaction and tests it
- the document is a user manual
- and can execute tests and measure the code coverage
-
next goal: how to reach 100 % code coverage?