Haskell ADTs с aeson

Question

Я сражался с простым ADT, пытаясь заставить его отправиться туда и обратно в JSON, но мне не повезло, как бы я ни старался массировать или модифицировать тип , Что мне не хватает?

Когда он собирает, я всегда получаю ту же ошибку во время выполнения:

> let t = Fahrenheit 
> fromJSON $ toJSON t 
Error "when expecting a(), encountered Object instead" 

Попытка это просто дает мне «Nothing», предположительно, из-за той же ошибки: расшифровывает $ закодировать т

Я пытался следовать этим источникам, но я не могу показаться, чтобы обойти эту ошибку во время выполнения, независимо от того, что я пытаюсь: Haskell :: Aeson :: parse ADT based on field value https://www.fpcomplete.com/user/Geraldus/algebraic-data-types-adts-with-aeson

Вот одна из форм коды я использую. Сначала я попытался использовать это как тип, встроенный в другой тип, но когда это не сработало, я добавил ключ «значение», чтобы попытаться сделать синтаксический анализ этого проще (без везения).

data TemperatureType = Celsius 
        | Fahrenheit 
        deriving (Show,Read,Typeable,Data,Eq) 

-- This doesn't work either 
-- $(deriveJSON defaultOptions ''TemperatureType) 

instance ToJSON TemperatureType where 
    toJSON Fahrenheit = object [ "value" .= String "Fahrenheit" ] 
    toJSON Celsius = object [ "value" .= String "Celsius" ] 

instance FromJSON TemperatureType where 
    parseJSON (Object x) = toTemperatureType <$> x .: "value" 

toTemperatureType :: Text -> TemperatureType 
toTemperatureType "Fahrenheit" = Fahrenheit 
toTemperatureType "Celsius" = Celsius 

Answer 1

Haskell нужна помощь от вас о типе вашего результата выражения, так как в настоящее время называют это не представляется возможным сделать вывод о его:

> fromJSON $ toJSON t :: Result TemperatureType