使用 Aeson 解析带有嵌套列表的列表答案

【问题标题】：Parsing list with nested list using Aeson使用 Aeson 解析带有嵌套列表的列表
【发布时间】：2018-12-08 08:26:21
【问题描述】：

当尝试使用 Aeson 解析一些简单的 JSON 时，我收到一个我不理解的类型错误。我有以下 JSON

jsonString = "[\"a\", [\"b\", \"c\"]]" :: L.ByteString

我已经定义了以下导入和代码：

import Data.Aeson
import GHC.Generics
import qualified Data.ByteString.Lazy as L

data Ch = Ch {
   c1 :: String,
   c2 :: (String, String)
} deriving (Show, Generic)
instance FromJSON Ch

当我尝试在此字符串上使用 eitherDecode 和我的 Ch 类型时，我得到一个错误

*Aeson> eitherDecode jsonString :: Either String Ch
Left "Error in $: expected record (:*:), encountered Array"

有人能解释一下这个错误并告诉我应该如何解析这个 JSON 吗？

一种可行的方法是

eitherDecode jsonString :: Either String (String, (String, String))

但我宁愿直接去我的类型。

【问题讨论】：

这不是类型错误，这只是运行时错误，告诉您[ "a", [ "b", "c" ] ] json 与您刚刚定义的解析器所期望的值不同，{ "c1" : "some string", "c2" : ["string", "string"] }。如果你想解析通用实例定义之外的东西，那么你需要手动定义它。

标签： haskell aeson

【解决方案1】：

如果您已经知道一种可以按预期解析的类型，那么也许最简单的解决方案就是根据该类型编写您的实例并进行翻译：

import Data.Aeson
import GHC.Generics
import qualified Data.ByteString.Lazy as L

data Ch = Ch {
   c1 :: String,
   c2 :: (String, String)
} deriving (Show, Generic)

instance FromJSON Ch where
    parseJSON x =
        do (a,(b,c)) <- parseJSON x
           pure (Ch a (b,c))

结果是：

*Main> :set -XOverloadedStrings
*Main> eitherDecode "[\"a\", [\"b\", \"c\"]]" :: Either String Ch
Right (Ch {c1 = "a", c2 = ("b","c")})

编辑：

更直接地使用 Aeson 的 API 可以提供信息或首选：

instance FromJSON Ch where
    parseJSON =
       withArray "Ch" $ \arr ->
       -- from Data.Aeson.Types
           if V.length arr /= 2
              -- ^ from Data.Vector
              then typeMismatch "Length should be 2" (Array arr)
                   -- ^ from Data.Aeson.Types
              else Ch <$> parseJSON (arr ! 0) <*> parseJSON ( arr ! 1 )

【讨论】：

谢谢，这行得通。我的误解源于这样一个事实，即如果定义了 Ch，解析器期望 JSON 具有键，对吧？因此，将 JSON 列表解析为记录总是需要一些手动工作。
没错。基本上任何序列化样式类的通用实例都是“做一些定义明确但有些武断的事情”，因此“某事”通常不是你想要的，除非你正在与另一个 Haskell 进程交互。