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

这是我正在使用的代码的一种形式。起初，我试图将其用作嵌入在另一种类型中的类型，但是当它不起作用时，我添加了“值”键以尝试解析这个更容易（没有运气）。

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

Haskell ADTs与aeson

1 个答案: