search

stefan-hoeck / idris2-hedgehog

An Idris port of the Haskell Hedghog library
BSD 2-Clause "Simplified" License
32 stars 3 forks source link

[ wip ] add support for unit tests #13

Open stefan-hoeck opened 2 years ago

stefan-hoeck commented 2 years ago

This PR adds basic support for running unit tests (no random value generation) via Hedgehog's test runner. So far, the Identity and IO monads are supported. Unit tests and property tests can be freely mixed in a Group.

This is still WIP as it is missing some documentation and examples. It might also lack some flexibility, because only Identity and IO are supported so far. I'll have to think about that some more.