Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Control.Coverage
Description
Exhaustivity checking main function.
- check :: Eq lit => Environment -> [Alternative lit] -> Check lit
- data Binder lit
- data Guard
- makeEnv :: (Name -> Maybe [Name]) -> Environment
- data Check lit = Check {
- getUncovered :: [Binders lit]
- getRedundant :: Redundant [Binders lit]
- data Redundant a
- = DontKnow
- | NotRedundant
- | Redundant a
Documentation
check :: Eq lit => Environment -> [Alternative lit] -> Check lit Source
Given a list of alternatives, check
generates the proper set of uncovered cases.
Binders
Guards and alternatives
Guard are abstract, and it is up to the language implementor to interpret guards abstractly. Guards can catch all cases, or represent some opaque expression which cannot be analysed.
Check wraps both uncovered and redundant cases.
Constructors
Check | |
Fields
|