"cookbook" для перехода с QuickCheck1 на QuickCheck2?

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

В качестве некоторых примеров удалены defaultConfig (на Args) и trivial и CoArbitrary.

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

Ответы

Ответ 1

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

Ответ 2

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

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

Список, указанный здесь, включает в себя:

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