"кулинарная книга" для преобразования из QuickCheck1 в QuickCheck2?

Question

Существует ли кулинарная книга для преобразования из QuickCheck1 в QuickCheck2?

Как некоторые примеры, defaultConfig ( заменено на Args) а также trivial были удалены и CoArbitrary представил.

Я прочитал, что нового в QuickCheck 2 (с единственным ответом...).

Answer 1

Я не знаю ни одного такого документа - это позор!

Однако в список рассылки был добавлен хотя бы один частичный список изменений: http://osdir.com/ml/lang.haskell.general/2006-11/msg00060.html

Приведенный там список включает в себя:

• Сжимает неудачные тестовые случаи.
• Поддерживает тестирование монадического кода.
• Обрабатывает исключения изящно.
• coarbitrary перемещен в отдельный класс, чтобы было проще писать простые экземпляры Arbitrary.
• Модификаторы уровня типа для изменения генерации тестовых данных (например, NonNegative).
• Волшебная функция настольной печати.
• Пользовательские действия при сбое свойств.

Answer 2

Похоже, что автор (ы) QuickCheck2 не предоставил примечания к выпуску, которые обычно используются для ответов на подобные вопросы. Предполагая (э-э, мы знаем, что это значит!), Что авторы обновили документ API, вы можете сравнить его с версией, которую вы имеете, и различия предоставят вам вашу кулинарную книгу. В крайнем случае, вы можете сравнить исходный код, но это, вероятно, покажет больше различий, чем вас волнует.