quickcheck

2зной

1ответ

Создание Произвольный экземпляра для Newtype, который использует Maybe

Я хочу создать Arbitrary экземпляр для следующих Newtype, для того, чтобы использовать его для QuickCheck: newtype Wrapmaybe a = Wrapmaybe {getMaybe :: Maybe a} deriving (Eq, Show) Я знаю, что Arbit

haskell quickcheck 2016-10-17

---

1зной

1ответ

Как написать тесты с использованием QuickCheck для определения ($)

А также для составления функции. f $ a = f a f . g = \x -> f (g x)

haskell quickcheck 2016-10-21

---

0зной

2ответ

Создать генератор элементов с бесконечным списком

я играю с QuickCheck, и наткнулся на какой-то странное поведение sample $ elements [1..5] работает, как и ожидалось, однако sample $ elements [1..] зависаний в GHCI, даже при использовании конечны

haskell quickcheck 2016-09-08

---

3зной

1ответ

государственный аппарат на основе тестирования в Haskell QuickCheck

Does Haskell QuickCheck имеют особенности, основанные состояние машины, которая описывает Джон Хьюз в следующем разговоре и бумага - http://publications.lib.chalmers.se/records/fulltext/232550/local_2

haskell erlang quickcheck 2016-12-23

---

0зной

1ответ

Как генерировать тестовые данные с перетасовки в QuickCeck

Для заданного списка [1..n], где п случайное целое положительное число, я хочу, чтобы генерировать тестовые данные с 2 этапа: перетасовать list, xs = shuffle [1..n]; Случайное мутирование числа x от x

haskell quickcheck 2017-02-12

---

3зной

2ответ

Как проверить закон полугруппы для этого типа данных?

Я пытаюсь решить то же упражнение, что и this other question в главе 15 из "Haskell Programming from First Principles". Я уже сделал экземпляр Semigroup, и у меня возникли проблемы с написанием части

haskell types typeclass quickcheck 2016-12-27

---