Haskell - mit Aeson JSON Generierung gibt eine falsche Reihenfolge der Felder

Question

ich einen Datentyp in JSON zu kodieren versuchen:

{-# LANGUAGE OverloadedStrings #-} 
{-# LANGUAGE RecordWildCards #-} 

import Data.Aeson 

data Trend = Trend 
      { period :: String 
      , africa :: String 
      , americas :: String 
      , asia :: String 
      } deriving Show 

instance ToJSON Trend where 
    toJSON Trend{..} = 
    object [ "Period" .= period 
      , "Africa" .= africa 
      , "Americas" .= americas 
      , "Asia"  .= asia 
      ] 

test = Trend {period = "2013", africa = "1", americas = "2", asia = "3"} 

Welche gibt:

λ: encode test 
λ: "{\"Asia\":\"3\",\"Period\":\"2013\",\"Africa\":\"1\",\"Americas\":\"2\"}" 

Ich verstehe nicht, warum die erzeugte JSON enthält die Felder nicht in der gleichen Reihenfolge wie mein Datentyp.

Ich erwarte die Ausgabe zu sein {period, Afrika, Nord- und Südamerika, Asien} und ich bin immer {Asien, Zeit, Afrika, Nord- und Südamerika)

Ich verstehe, dass Informationen über nebenbei, die Reihenfolge ist nicht wichtig aber ich bin neugierig, warum das passiert.

Answer 1

Sie können toEncoding Methode verwenden, die seit aeson-0.10 verfügbar ist (verwenden Sie aeson-0.11 obwohl, wenn nur möglich). In diesem Fall haben Sie mehr Kontrolle über die Struktur erzeugt:

instance ToJSON Trend where 
    toJSON Trend{..} = 
    object [ "Period" .= period 
      , "Africa" .= africa 
      , "Americas" .= americas 
      , "Asia"  .= asia 
      ] 

    toEncoding Trend {..} = 
    pairs $ "Period" .= period 
     <> "Africa" .= africa 
     <> "Americas" .= americas 
     <> "Asia"  .= asia 

oder im Falle so einfach ist das, lohnt Generic Ableitung

instance ToJSON Trend where 
    parseJSON = genericToJSON defaultOptions { fieldLabelModifier = capitaliseFirst } 
     where 
     capitaliseFirst (x:xs) = toUpper x : xs 
     capitaliseFirst []  = [] 

Answer 2

Der Grund dafür ist, dass ein Aeson-Objekt nur eine HashMap ist und wenn Aeson die HashMap in Text konvertiert, serialisiert es die Schlüssel/Wert-Paare in der Reihenfolge, in der die HashMap sie zurückgibt die Reihenfolge, in der die Schlüssel eingefügt wurden.