ghc-exhaustive
Compile time checks that a computation considers producing data through all possible constructors

For a brief tutorial to 'exhaustive', check out the documentation for "Control.Exhaustive", which contains a small example.

BSD-3-Clause

To download packages, you need to log in and have a valid subscription.

Please select a product to see the available package versions:

Loading package downloads...