为什么 Yesod 中没有 ToJSON/FromJSON 的持久类型实例？

Question

为生成的类型编写 ToJSON/FromJSON 实例并不困难，但是，当您生成代码时，您可以将其放入吗？或者作为 Yesod 用户有没有一种简单的方法可以实现这一点？ （我还没有深入研究 TH 的工作原理...）

更新： 好的，我喜欢这个建议，但是假设我的持久类型是 User。如果我使用

$(deriveJSON id ''User)

它

  Exception when trying to run compile-time code:
  Data.Aeson.TH.withType: Unsupported type: TySynD Model.User [] (AppT (ConT Model.UserGeneric) (ConT Database.Persist.GenericSql.Raw.SqlPersist))
  Code: deriveJSON (id) 'User

显然会产生效果，因为它是一个别名。但

$(deriveJSON id ''UserGeneric)

产量

Kind mis-match
The first argument of `UserGeneric' should have kind `(* -> *)
                                                      -> *
                                                      -> *',
but `backend[i5XB]' has kind `*'

我可能仍然得到了错误的类型，但我找不到足够的关于持久生成的内容来获得正确的咒语。

Answer 1

对于没有注意到 Michael Snowman 帖子中的子评论的人，在持久版本的新版本中，您可以执行以下操作：

Person json
    name Text
    age Int

并获取 Person 的 ToJSON 和 FromJSON 实例。

Answer 2

事实上，我认为我们会将此功能添加到 Persistent 0.8 中（将在一两周内与 Yesod 0.10 一起发布）。 dflemstr 所说的关于依赖膨胀的说法是正确的，这就是为什么我们过去没有这样做的原因，但我们现在已经依赖 aeson 来作为我们的配置类型（基于 Yaml 配置文件，它使用 aeson 的数据类型）。

Answer 3

您可以使用 中的自动派生机制Data.Aeson.TH。

{-# LANGUAGE TemplateHaskell #-}
$(deriveJSON id ''Foo)

这应该适用于 Yesod 生成的数据类型以及您自己的类型。

它需要一个函数来自定义记录字段名称。在这里，我刚刚传递了 id 以使它们保持不变。 有关详细信息，请参阅文档 。

Answer 4

默认的 Yesod 类型生成器不应生成 ToJSON/FromJSON 实例，因为这会添加对 aeson 的依赖，即使您不想要使用该包，这可能会导致依赖性膨胀。

您可以导入 Data.Aeson.TH 并使用此代码自动创建 JSON 实例：

data MyDataType = ...

deriveJSON id ''MyDataType

如果您不希望将 id 替换为为您重命名字段的函数， Haskell 中的字段名称与 JSON 文件中的字段名称相同。