要让 Acid 存储类型 T 的值,必须写
$(deriveSafeCopy 0 'base ''T)
在 T 的定义之后。但是这个命令到底是做什么的呢?
免责声明:我从未使用过酸态。但我确实知道如何阅读文档 :)
Data.SafeCopy的文档这样说deriveSafeCopy
:
派生 SafeCopy 的一个实例。
很简单,真的。您正在派生一个类型类的实例。
文档对类型类这么说SafeCopy
:
这个图书馆的核心。定义数据类型的版本以及它应该如何序列化/解析。
所以你去。该命令显然派生了一些(反)序列化函数,这些函数允许存储您的数据类型。“安全”。