與埃宋解析JSON時，首先關鍵是可變

Question

的json看起來像這樣

{ 
    "NW011": { 
     "version": 1.0, 
     "compatiblehardware": ["N21"], 
     "description": "TWIN" 
    } 
} 

的問題是，關鍵NW011是可變的。當我開始解析時，我知道這個鍵，但我不知道如何聲明aeson的數據類型和實例。

Answer 1

您可以將您的JSON解析爲（地圖文本），其中Thing是您的記錄類型。測試的代碼如下：

{-# LANGUAGE DeriveGeneriC#-} 

import Data.ByteString.Lazy as BSL 
import Data.Text (Text) 
import Data.Aeson 
import Data.Map (Map) 
import GHC.Generics 

-- Record representing a single thing 
data Thing = 
    Thing { 
     version    :: Float, 
     compatiblehardware :: [Text], 
     description   :: Text 
    } deriving (Show, Generic) 

instance FromJSON Thing 

main :: IO() 
main = do 
    inh <- BSL.readFile "json.txt" 
    case decode inh :: Maybe (Map Text Thing) of 
     Just parsed -> print parsed 
     Nothing -> print "Unparsable" 

這裏的測試數據， 「json.txt」：

{ 
    "NW011": { 
     "version": 1.0, 
     "compatiblehardware": ["N21"], 
     "description": "TWIN" 
    }, 
    "NW012": { 
     "version": 2.4, 
     "compatiblehardware": ["N21", "N22"], 
     "description": "TURBO" 
    } 
} 

Answer 2

Aeson中的JSON對象只是哈希映射。如果你願意，你可以提取所有的鍵。在這種情況下，你不能擁有一個數據類型，其中的字段以JSON密鑰命名，因爲它不一致，但仍然可以解析和使用JSON。未經測試的代碼如下。

import Data.Aeson 
import Data.Text (Text) 
import Data.HashMap.Strict as HMap 

parseMyJSON :: Value -> Parser (Text,Value) 
parseMyJSON (Object v) = 
    case HMap.toList v of 
     [(k,v)] -> (k, v) 
     _  -> fail "More than one key - who sent this thing?" 
parseMyJSON _ = fail "Incorrect JSON - expected an object." 

Answer 3

首先，你需要聲明模型你的數據實際上是一種數據類型。我認爲「NW011」實際上充當了一種字段，儘管有人將JSON格式提升爲看起來像記錄名稱。所以：

data Thing = Thing { 
    thingName :: Text, -- E.g. "NW011" 
    thingVersion :: Text, -- I'm assuming that "Version" could include "1.2.3A" and hence should be a string, not a number. 
    thingCompatible :: [Text], 
    thingDescription :: Text 
} 

現在是實例。通常當你解析JSON時，你會得到一個帶有固定字段名的對象，所以你可以使用「。：」來提取它們。在這種情況下，您的最外層結構是單場對象，其中該字段被稱爲「NW011」幷包含更傳統的對象。

所以你需要編寫一個檢索這個原始對象的實例。我假設你可以有幾個這樣的對象，如「NW012」等不同的名稱，所以實際上你的外部結構就是這些東西的列表。如果你解析你給出的例子，那麼你將得到一個單元素列表。

在Aeson中，「Object」是一個查找表（即HashMap）的包裝。所以你需要做的就是遍歷HashMap，通過名字來提取對象。所以答案應該是這樣的（雖然我沒有試過編譯它）：

import qualified Data.HashMap.Strict as H 

instance FromJSON [Thing] where 
    parseJSON (Object v) = mapM parseItem $ H.toList v 
     -- 'v' is a HashMap containing a key "NW011". 
    where 
     parseItem (k, Object v2) = 
     -- "v2" is a HashMap containing keys for the fixed field names ("version" etc.) 
     Thing k <$> 
     v .: "version" <*> 
     v .: "compatiblehardware" <*> 
     v .: "description" 

請注意，這只是給出了成功案例。你的代碼還應該包括parseJSON和parseItem的參數不是對象的情況。