Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- checkExhaustive :: [Declaration a] -> Maybe (DickinsonWarning a)
Documentation
checkExhaustive :: [Declaration a] -> Maybe (DickinsonWarning a) Source #
Check that there are no useless pattern clauses and check that the pattern matches are exhaustive