В Acid-state именно то, что означает $ (diverveSafeCopy 0 'base' 'T) - PullRequest
4 голосов
/ 24 ноября 2011

Чтобы Acid сохранял значения типа T, необходимо написать

$(deriveSafeCopy 0 'base ''T)

после определения T. Но что именно делает эта команда?

1 Ответ

2 голосов
/ 24 ноября 2011

Отказ от ответственности: я никогда не использовал кислотное состояние. Но я знаю, как читать документы:)

Документы Data.SafeCopy говорят об этом deriveSafeCopy:

Получите экземпляр SafeCopy.

Довольно просто, правда. Вы получаете экземпляр класса типов.

Документы говорят это о SafeCopy классе типов:

Центральная часть этой библиотеки. Определяет версию для типа данных вместе с тем, как он должен быть сериализован / проанализирован.

Итак, поехали. Эта команда, очевидно, выводит некоторые (де) функции сериализации, которые позволяют хранить ваш тип данных. "Безопасно".

...