Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Language.Futhark.TypeChecker.Match
Description
Checking for missing cases in a match expression. Based on "Warnings for pattern matching" by Luc Maranget. We only detect inexhaustiveness here - ideally, we would also like to check for redundant cases.
Synopsis
- unmatched :: [Pat StructType] -> [Match ()]
- data Match t
Documentation
A representation of the essentials of a pattern.
Instances
Show t => Show (Match t) Source # | |
Eq t => Eq (Match t) Source # | |
Ord t => Ord (Match t) Source # | |
Defined in Language.Futhark.TypeChecker.Match | |
Pretty (Match t) Source # | |