我正在 Haskell 中构建一个 Web 应用程序。我正在使用持久库连接到 postgresql 数据库。
我正在使用标准模式定义文件系统，其中模板 Haskell 用于从模式生成类型。
share [mkPersist sqlSettings, mkMigrate "migrateAll"]
$(persistFileWith lowerCaseSettings "schema")
我的模式文件中定义了许多数据类型，看起来像（假例子）：
User json
email Text
Post json
owner UserId
name Text
body Text
“Post”旁边的“json”表示ToJSON/FromJSON将由框架自动生成。
我一直在为我的许多类型使用这种自动实例生成，以便我可以通过网络对它们进行序列化。
我的问题：我想为 Keys 提供一个自定义的 ToJSON 实例。例如在上面的“UserId”将是一个“关键用户”。每次都会在“PostId”作为“Key Post”等时自动为其生成这样一个实例。
当“Post”被序列化时，它会将“owner”从键转换为索引号，例如“52”。
我想将所有数据库键序列化为不同的样式。例如，不是生成数字“52”，而是生成字符串“fiftytwo”（只是一个示例）。
如果我不使用代码生成，我可以做类似的事情
instance ToJSON (Key record) where
toJSON _ = Data.Aeson.String "placeholder"
但这需要不使用自动代码生成，因为重叠的实例错误。也许有一种方法可以告诉代码生成器不要为所有数据类型生成“ToJSON（Key Post）”等实例？
我也可以简单地为每种类型编写自定义实例声明，但这将是非常多余的。
我熟悉使用 newtypes 来拥有类型类的多个实例，但是这不太适合这种情况。
谢谢！