Haskell ADT 与 aeson

Question

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

编译时，我总是遇到相同的运行时错误:

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

尝试这个只会给我“什么也没有”，大概是因为同样的错误:解码$编码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