Language.Futhark.TypeChecker.Match

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.

Documentation

unmatched :: [Pat] -> [Match ()]

Find the unmatched cases.

data Match t

A representation of the essentials of a pattern.

Instances

Show t => Show (Match t)

Defined in Language.Futhark.TypeChecker.Match

Methods

showsPrec :: Int -> Match t -> ShowS

show :: Match t -> String

showList :: [Match t] -> ShowS

Eq t => Eq (Match t)

Defined in Language.Futhark.TypeChecker.Match

Methods

(==) :: Match t -> Match t -> Bool

(/=) :: Match t -> Match t -> Bool

Ord t => Ord (Match t)

Defined in Language.Futhark.TypeChecker.Match

Methods

compare :: Match t -> Match t -> Ordering

(<) :: Match t -> Match t -> Bool

(<=) :: Match t -> Match t -> Bool

(>) :: Match t -> Match t -> Bool

(>=) :: Match t -> Match t -> Bool

max :: Match t -> Match t -> Match t

min :: Match t -> Match t -> Match t

Pretty (Match t)

Defined in Language.Futhark.TypeChecker.Match

Methods

pretty :: Match t -> Doc ann

prettyList :: [Match t] -> Doc ann