带有数据的联合类型的 Elm JSON 解码器

Ana*_*nth 2 json functional-programming decode elm

我的 json 看起来像这样:

{"name": "providerWithVal", "value": "example"}
Run Code Online (Sandbox Code Playgroud)

或者像这样:

{"name": "provider2"}
Run Code Online (Sandbox Code Playgroud)

或者

{"name": "provider3"}
Run Code Online (Sandbox Code Playgroud)

我的 Elm 联合类型定义如下:

type Provider
    = ProviderWithVal String
    | Provider2
    | Provider3
Run Code Online (Sandbox Code Playgroud)

我可以为没有附加数据的联合类型编写解码器。但ProviderWithVal需要一个字符串,我不知道如何让它全部工作。

这是我到目前为止:

import Json.Decode as D

providerDecoder : D.Decoder Provider
providerDecoder =
    D.field "name" D.string |> D.andThen providerNameDecoder

providerNameDecoder : String -> D.Decoder Provider
providerNameDecoder string =
    case string of
        "providerWithVal" -> D.succeed ProviderWithVal
        "provider2" -> D.succeed Provider2
        "provider3" -> D.succeed Provider3
        _ -> D.fail <| "Invalid provider: " ++ string
Run Code Online (Sandbox Code Playgroud)

Sim*_*n H 5

您问题的快速解决方案是替换D.succeed ProviderWithValD.map ProviderWithVal (D.field "value" Decode.string)

但是我会创建一个助手来匹配目标字符串,然后按以下方式使用它:

decoder =
    Decode.oneOf [ decodeWithVal, decodeP2, decodeP3 ]


decodeWithVal =
    exactMatch (Decode.field "name" Decode.string)
        "providerWithVal"
        (Decode.map ProviderWithVal <| Decode.field "value" Decode.string)


decodeP2 =
    exactMatch (Decode.field "name" Decode.string) "provider2" (Decode.succeed Provider2)


decodeP3 =
    exactMatch (Decode.field "name" Decode.string) "provider3" (Decode.succeed Provider3)


exactMatch : Decoder String -> String -> Decoder a -> Decoder a
exactMatch matchDecoder match dec =
    matchDecoder
        |> Decode.andThen
            (\str ->
                if str == match then
                    dec

                else
                    Decode.fail <| "[exactMatch] tgt: " ++ match ++ " /= " ++ str
            )
Run Code Online (Sandbox Code Playgroud)