質問: 酸性状態では、$(deriveSafeCopy 0 'base' 'T)は、 AcidにタイプTの値を格納するには、書き込む必要があります ``` $(deriveSafeCopy 0 'base ''T) ``` Tの定義の後に。しかし、このコマンドは正確に何をするのですか?
回答: 免責事項:私は酸性状態を一度も使用していません。しかし、私はドキュメントを読む方法を知っている:) Data.SafeCopy のドキュメントによるとこれについて `deriveSafeCopy` : > SafeCopyのインスタンスを生成します。 > > かなり簡単です。あなたはtypeclassのインスタンスを派生しています。 ドキュメントでは、 `SafeCopy` のtypeclassについてこう書いています。 > この図書館の中心点です。データ型のバージョンを、直列化/解析する方法とともに定義します。 > > だからそこに行く。このコマンドは、あなたのデータ型を格納することができるいくつかの直列化関数を明らかに得ます。 "安全に"。