Inferno.Infer.Exhaustiveness

Documentation

mkEnumText :: Text -> EnumText

data Pattern

Constructors

W

Instances

Show Pattern

Defined in Inferno.Infer.Exhaustiveness

Methods

showsPrec :: Int -> Pattern -> ShowS

show :: Pattern -> String

showList :: [Pattern] -> ShowS

Eq Pattern

Defined in Inferno.Infer.Exhaustiveness

Methods

(==) :: Pattern -> Pattern -> Bool

(/=) :: Pattern -> Pattern -> Bool

Ord Pattern

Defined in Inferno.Infer.Exhaustiveness

Methods

compare :: Pattern -> Pattern -> Ordering

(<) :: Pattern -> Pattern -> Bool

(<=) :: Pattern -> Pattern -> Bool

(>) :: Pattern -> Pattern -> Bool

(>=) :: Pattern -> Pattern -> Bool

max :: Pattern -> Pattern -> Pattern

min :: Pattern -> Pattern -> Pattern

Pretty Pattern

Defined in Inferno.Infer.Exhaustiveness

Methods

pretty :: Pattern -> Doc ann

prettyList :: [Pattern] -> Doc ann

exhaustive :: Map VCObjectHash (Set (VCObjectHash, Text)) -> PMatrix -> Maybe [Pattern]

checkUsefullness :: Map VCObjectHash (Set (VCObjectHash, Text)) -> PMatrix -> [(Int, Int)]

cInf :: (Show a, Pretty a, Enum a) => a -> Pattern

cEnum :: VCObjectHash -> Text -> Pattern

cOne :: Pattern -> Pattern

cEmpty :: Pattern

cTuple :: [Pattern] -> Pattern