AESON: разбирать динамическую структуру

Question

У меня есть структура JSON, как это

{
  "tag1": 1,
  "tag2": 7,
  ...
}

И у меня есть такой тип

data TagResult { name :: String, numberOfDevicesTagged :: Int } deriving (Show, Eq)
newtype TagResultList = TagResultList { tags :: [TagResult] }

Имена тегов, конечно, полностью динамические, и я не знаю их во время компиляции. Я хотел бы создать экземпляр FromJSON разобрать данные JSON, но я просто не могу их скомпилировать.

Как я могу определить parseJSON чтобы это произошло?

Answer 1

Вы можете использовать тот факт, что Object является HasMap и извлекать ключ во время выполнения. Затем вы можете написать экземпляр FromJSON следующим образом:

{-# LANGUAGE OverloadedStrings #-}
module Main where

import Data.Aeson
import qualified Data.Text as T
import qualified Data.HashMap.Lazy as HashMap

data TagResult = TagResult { name :: String
                           , numberOfDevicesTagged :: Int
                           } deriving (Show, Eq)


newtype TagResultList = TagResultList { tags :: [TagResult] } deriving Show


instance ToJSON TagResult where

  toJSON (TagResult tag ntag) =
    object [ T.pack tag .= ntag ]

instance ToJSON TagResultList where

  toJSON (TagResultList tags) =
    object [ "tagresults" .= toJSON tags ]


instance FromJSON TagResult where

  parseJSON (Object v) =
    let (k, _) = head (HashMap.toList v)
    in TagResult (T.unpack k) <$> v .: k

  parseJSON _ = fail "Invalid JSON type"

instance FromJSON TagResultList where

  parseJSON (Object v) =
    TagResultList <$> v .: "tagresults"


main :: IO ()
main = do

  let tag1 = TagResult "tag1" 1
      tag2 = TagResult "tag2" 7
      taglist = TagResultList [tag1, tag2]

  let encoded = encode taglist
      decoded = decode encoded :: Maybe TagResultList

  print decoded

Приведенная выше программа должна распечатать список результатов тегов.

Just (TagResultList {tags = [TagResult {name = "tag1", numberOfDevicesTagged = 1},TagResult {name = "tag2", numberOfDevicesTagged = 7}]})