在酸性状态下，$(deriveSafeCopy 0 'base ''T) 到底是什么意思
为了让 Acid 存储 T 类型的值，必须
$(deriveSafeCopy 0 'base ''T)
在 T 的定义之后写入。但是这个命令到底是做什么的呢？
For Acid to store values of type T, one must write
$(deriveSafeCopy 0 'base ''T)
after the definition of T. But what exactly does this command do?
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（1）
免责声明：我从未使用过酸性状态。但我确实知道如何阅读文档:)
Data.SafeCopy 是这样描述
deriveSafeCopy的：真的，非常简单。您正在派生类型类的实例。
文档对于
SafeCopy类型类是这样说的：所以就这样吧。该命令显然派生了一些（反）序列化函数，这些函数允许存储您的数据类型。 “安全”。
Disclaimer: I have never used Acid-state. But I do know how to read docs :)
The docs of Data.SafeCopy say this about
deriveSafeCopy:Quite straightforward, really. You are deriving an instance of a typeclass.
The docs say this about the
SafeCopytypeclass:So there you go. This command apparently derives some (de)serialization functions which allow your data type to be stored. "Safely".