language-dickinson-1.4.3.0: A language for generative literature
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.Dickinson.Check.Exhaustive

Synopsis

Documentation

checkExhaustive :: [Declaration a] -> Maybe (DickinsonWarning a) Source #

Check that there are no useless pattern clauses and check that the pattern matches are exhaustive