转换JSON中的动态密钥字段

Question

这是我的JSON结构，有n记录具有 name 作为ID代表

{"Kids":
  {"Jack":{"age":10}
  ,"Jane":{"age":9} 
  , .......
  }
}

Haskell问题中的

data Kid = Kid { name::String, age::Int}

instance FromJSON Kid where
  parseJSON (Object v) =
    ....

儿童的ID ，如何制作键（ name ）作为构造函数的一部分？预期的输出签名就像：

decode "input json string" -> [Kid]

当调用预期解码函数时，它将返回类型 kid 的 list 。感谢您阅读此＆amp;感谢任何帮助。

Answer 1

通过使用 函数，您可以访问 对象 实际上是 keymap 您可以像从eg中一样操纵类似于通常的 map 容器。如果您正在使用较旧的 aeson 版本， object 将是 hashmap ，因此您也可以使用它。

编辑：我记得 MAP 本身也具有 fromjson ，因此您可以将其用于较短的“解决方案”：

{-# LANGUAGE OverloadedStrings #-}

import Data.Aeson (FromJSON(..), withObject, (.:), fromJSON)
import Data.Map (Map)
import qualified Data.Map as Map

data Kid = MkKid {name :: String, age :: Int}

newtype Kids = MkKids {unKids :: [Kid]}

instance FromJSON Kids where
  parseJSON = withObject "Kids" $ \o -> do
    kvmap <- o .: "Kids"
    pure $ MkKids $ map (uncurry MkKid) $ Map.toList kvmap

旧的“解决方案”，该操作会操纵它们 keymap

{-# LANGUAGE NamedFieldPuns #-}
{-# LANGUAGE OverloadedStrings #-}

import Data.Aeson.Key (Key)
import qualified Data.Aeson.Key as Key
import qualified Data.Aeson.KeyMap as KeyMap
import Data.Aeson.Types (Parser, Object, Value)
import Data.Aeson (FromJSON(..), withObject, (.:), fromJSON)

data Kid = MkKid {name :: String, age :: Int}

newtype Kids = MkKids {unKids :: [Kid]}

instance FromJSON Kids where
  parseJSON = withObject "Kids" $ \o -> do
    inner <- o .: "Kids"
    withObject "inner" parseKids inner
    where
      parseKids :: Object -> Parser Kids
      parseKids obj =
        fmap MkKids $ traverse toKid $ KeyMap.toList obj
      toKid :: (Key, Value) -> Parser Kid
      toKid (k, v) = do
        age <- parseJSON v
        let name = Key.toString k
        pure $ MkKid {name, age}