在Acid-state中，$（deriveSafeCopy 0'base''T）的含义正是如此

Question

对于Acid来存储类型T的值，必须写

$(deriveSafeCopy 0 'base ''T)

在定义T.之后

但是这个命令究竟做了什么？

Answer 1

免责声明：我从未使用过酸状态。但我确实知道如何阅读文档：）

Data.SafeCopy的文档说明deriveSafeCopy：

  

派生一个SafeCopy实例。

非常直白，真的。您正在派生类型类的实例。

文档说明SafeCopy类型类：

  

这个图书馆的核心。定义数据类型的版本以及如何对其进行序列化/解析。

所以你去吧。此命令显然派生了一些（de）序列化函数，这些函数允许存储数据类型。 “安全”。