Произвольные ключи JSON с Aeson - Haskell

У меня есть куча вложенных объектов JSON с произвольными ключами.

{
    "A": {
        "B": {
            "C": "hello"

        }
    }

}

Где A, B, C неизвестны заранее. Каждый из этих трех есть братья и сестры.

Мне интересно, есть ли способ разобрать это в пользовательский тип с Aeson в какой-то элегантный способ. То, что я делал, это загрузить его в Aeson Object.

Как бы вы начали реализацию FromJSON для такого типа JSON объект?

Спасибо!

Edit

{
    "USA": {
        "California": {
            "San Francisco": "Some text"
        }
    },
    "Canada": {
        ...
    }
}

Это должно скомпилироваться с CountryDatabase где...

type City            = Map String String
type Country         = Map String City
type CountryDatabase = Map String Country

{-# LANGUAGE OverloadedStrings #-} import Data.Functor import Data.Monoid import Data.Aeson import Data.Map (Map) import qualified Data.ByteString.Lazy as LBS import System.Environment newtype City = City (Map String String) deriving Show instance FromJSON City where parseJSON val = City <$> parseJSON val newtype Country = Country (Map String City) deriving Show instance FromJSON Country where parseJSON val = Country <$> parseJSON val newtype DB = DB (Map String Country) deriving Show instance FromJSON DB where parseJSON val = DB <$> parseJSON val main :: IO () main = do file <- head <$> getArgs str <- LBS.readFile file print (decode str :: Maybe DB)

[email protected]:/tmp/shum$ cat in.js { "A": { "A1": { "A11": "1111", "A22": "2222" } }, "B": { } } [email protected]:/tmp/shum$ runhaskell test.hs in.js Just (DB (fromList [("A",Country (fromList [("A1",City (fromList [("A11","1111"),("A22","2222")]))])),("B",Country (fromList []))])) [email protected]:/tmp/shum$

Ответ 1