All functions should be tested at least once

Lysxia / first-class-families

First-class type families

https://hackage.haskell.org/package/first-class-families

MIT License

86 stars 12 forks source link

All functions should be tested at least once #24

Closed Lysxia closed 4 years ago

Lysxia commented 4 years ago

This would have prevented issue #23 for instance.

gspia commented 4 years ago

Good idea!

The doc tests that you added couple of days ago work nicely as a unit tests? If yes, they would nicely serve two purposes at the same time. Just wondering, is it possible to use some of the testing libs (validity/hedgehog/tasty) by connecting the type-level calcs and their results to term level.

Lysxia commented 4 years ago

That's right, doctests for all functions would be sufficient.

There doesn't seem to be an easy way to integrate with conventional testing libraries because everything happens at compile time here.

Lysxia commented 4 years ago

Pretty well covered with e361c72