Как использовать тип суммы в качестве ключа на карте при использовании Aeson? - PullRequest
Новая
       14

Как использовать тип суммы в качестве ключа на карте при использовании Aeson?

0 голосов
/ 15 июня 2019

Я хотел закодировать простую «карту» в JSON: 

{ "CS": "Ahoj"
, "EN": "Hello"
}

Моя попытка: 

{-# LANGUAGE TemplateHaskell, DeriveGeneric, DeriveAnyClass #-}

import Data.Aeson
import Data.Aeson.TH (deriveJSON)
import Data.Text (Text)
import qualified Data.HashMap.Lazy as M
import GHC.Generics (Generic)
import Data.Hashable (Hashable)

data Language
  = CS
  | EN
  deriving (Eq, Show, Generic, Hashable)

deriveJSON defaultOptions ''Language

newtype TranslatedText =
  TranslatedText (M.HashMap Language Text)
  deriving (Eq, Show, Generic)

deriveJSON defaultOptions ''TranslatedText

Я получаю: 

/xxx/src/Data.hs:80:1: error:
    • No instance for (FromJSONKey Language)
        arising from a use of ‘parseJSON’
    • In the second argument of ‘(<$>)’, namely ‘parseJSON arg_apgG’
      In the expression: (TranslatedText <$> parseJSON arg_apgG)
      In a case alternative:
          arg_apgG -> (TranslatedText <$> parseJSON arg_apgG)
   |
80 | deriveJSON defaultOptions ''TranslatedText
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

/xxx/src/Data.hs:80:1: error:
    • No instance for (ToJSONKey Language)
        arising from a use of ‘toJSON’
    • In the expression: toJSON arg1_apfY
      In a case alternative: TranslatedText arg1_apfY -> toJSON arg1_apfY
      In the expression:
        case value_apdm of { TranslatedText arg1_apfY -> toJSON arg1_apfY }
   |
80 | deriveJSON defaultOptions ''TranslatedText
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

/xxx/src/Data.hs:80:1: error:
    • No instance for (ToJSONKey Language)
        arising from a use of ‘toEncoding’
    • In the expression: toEncoding arg1_apgk
      In a case alternative:
          TranslatedText arg1_apgk -> toEncoding arg1_apgk
      In the expression:
        case value_apg9 of {
          TranslatedText arg1_apgk -> toEncoding arg1_apgk }
   |
80 | deriveJSON defaultOptions ''TranslatedText
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

Я пытался написать FromJSONKey и ToJSONKey экземпляры, используя readMaybe и show, но я не знаю, как создать Parser? Или есть какой-то лучший, более автоматический способ? В конце концов тип суммы может быть легко преобразован из / в Text.

1 Ответ

1 голос
/ 15 июня 2019

Вот как выглядит типичный экземпляр, используя Show и Read (к Language необходимо добавить производное предложение для Read): 

-- Additional imports
import qualified Data.Text as T
import Text.Read (readMaybe)

instance ToJSONKey Language where
  toJSONKey = toJSONKeyText (T.pack . show)

instance FromJSONKey Language where
  fromJSONKey = FromJSONKeyTextParser $ \t -> case readMaybe (T.unpack t) of
    Just k -> pure k
    Nothing -> fail ("Invalid key: " ++ show t)

Должен быть более короткий путь, я представил предложение о добавлении общих реализаций: https://github.com/bos/aeson/issues/710

...