带aeson的Haskell ADTs

Question

我一直在与一个简单的ADT斗争，试图让它来回往返于JSON，但我没有运气，无论我如何尝试按摩或修改类型。我遗漏了什么？

当它编译时，我总是得到相同的运行时错误：

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

尝试这样做只会给我带来“什么”，大概是因为同样的错误:解码$ encode t。

我试图跟踪这些源，但是无论我尝试什么，我似乎都无法避免这个运行时错误：Haskell :: Aeson :: parse ADT based on field value https://www.fpcomplete.com/user/Geraldus/algebraic-data-types-adts-with-aeson

这是我使用的代码的一种形式。起初，我试图将它作为嵌入到另一种类型中的类型使用，但是当这种方法不起作用时，我添加了"value“键，以使解析更容易(运气不好)。

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