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.
沒有可用的 openSUSE Leap 16.0 官方套件