Отказоустойчивый парсинг JSON

Я использую Data.Aeson для анализа некоторого JSON в тип записи. Время от времени данные добавляются в JSON, и это ломает мой код, поскольку Эсон жалуется на что-то в результате:

ожидаемый объект с 21 парой имя/значение, но получил 23 имя/значение

Я действительно предпочел бы анализировать JSON отказоустойчивым способом - мне все равно, будут ли добавлены дополнительные поля в JSON позже, просто анализируйте все, что можете! Есть ли способ добиться этой отказоустойчивости? Вот мой код:

myRecordFromJSONString :: BS.ByteString -> Maybe MyRecord
myRecordFromJSONString s = case Data.Attoparsec.parse json s of
  Done _rest res -> Data.Aeson.Types.parseMaybe parseJSON res
  _              -> Nothing

Я должен добавить, что я использую производный JSON из Data.Aeson.TH для генерации кода синтаксического анализа. Если я напишу код FromJSON вручную, он будет отказоустойчивым, но я бы не хотел этого делать...


json haskell aeson
person hackerhasid    schedule 15.05.2012    source источник

Ответы (1)


arrow_upward
7
arrow_downward

Если вы используете GHC 7.2 или 7.4, поддержка новых шаблонов в aeson не проверяет наличие дополнительных полей. Я не уверен, задумано это или нет, но мы используем его по той же причине.

{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE OverloadedStrings #-}

import Data.Aeson
import qualified Data.Aeson.Types
import Data.Attoparsec
import qualified Data.ByteString as BS
import Data.ByteString.Char8 ()
import GHC.Generics

data MyRecord = MyRecord
  { field1 :: Int
  } deriving (Generic, Show)

instance FromJSON MyRecord

myRecordFromJSONString :: BS.ByteString -> Maybe MyRecord
myRecordFromJSONString s = case Data.Attoparsec.parse json s of
  Done _rest res -> Data.Aeson.Types.parseMaybe parseJSON res
  _              -> Nothing

main :: IO ()
main = do
  let parsed = myRecordFromJSONString "{ \"field1\": 1, \"field2\": 2 }"
  print parsed

Выполнение этого не удалось бы с экземпляром, производным от TH, из-за того, что «field2» не существует в записи. Экземпляр Generic возвращает желаемый результат:

Just (MyRecord {field1 = 1})
person Nathan Howell    schedule 15.05.2012