dictionary - 如何 Dict.get 不区分大小写的键？

Question

我想抢 Total-Records response.headers 的 key HTTP 响应。

问题是在某些浏览器中它是由服务器返回的 Total-Records但在其他一些情况下，它是小写的。

我想获取 Total-Records 的值标题不管它的大小写。
你会怎么做？

Answer 1

在没有通用的不区分大小写的字典的情况下，您可以一起手动查找:

caseInsensitiveGet : String -> Dict String v -> Maybe v
caseInsensitiveGet key dict =
    let
        lowerKey = String.toLower key
    in
        Dict.toList dict
            |> List.filterMap (\(k, v) ->
                if String.toLower k == lowerKey then
                    Just v
                else
                    Nothing)
            |> List.head

请注意，字典越大，这将表现得越差。在这种形式中，同一文本的不同大小写可能有多种变体，因此它并不完美，但如果您只是在寻找标题，则应该足够了。