IdrisDoc: Test.Unit.Generic

Test.Unit.Generic

Generic Tests

genericTest : Show a => (title : Maybe String) -> (given : a) -> (expected : a) -> (tFunc : a -> a -> Bool) -> IO Bool

Run a generic test.

title

Optional Test title

given

The given string to parse

expected

The expected result

tFunc

The testing function to compare the results.