surjective:输出覆盖率检查器

形容词 这是一个缺少情况的解析函数： parseBool :: String -> Maybe Bool parseBool = \case "true" -> Just True _ -> Nothing 以下是使用surjective注释函数的方法，因此编译器会警告我们该丢失的情况： -- Warning: Pattern match(es) are non-exhaustive -- In a case alternative: Patterns not matched: (Just False) parseBool :: String -> Maybe Bool parseBool = $$(surjective [||\covers -> \case "true" -> covers $ \(Just True) -> Just True