Я пытаюсь достичь чего-то очень простого.У меня есть этот тип данных: import Test.QuickCheck import...

positions :: Eq a => a -> [a] -> [Int] positions x xs = [i | (x',i) <- zip xs [0..]...

Я не могу понять, где определить Arbitrary экземпляров для моего типа данных.Если я добавлю в пакет...

Моя версия ghci 8.4.3 Я пробовал stack install QuickCheck Что-то было установлено.Но когда я ввожу...

Я хочу быстро проверить этот тип Sum, и я написал следующий код: data Sum a b = First a | Second b...

Я пытаюсь выполнить одно из упражнений моноидов в книге Хаскелла (глава 15, «Моноид, полугруппа»),...

Я делаю упражнение в программировании на Хаскеле из Первых принципов.Он просит меня сгенерировать...

Я новичок в Haskell и у меня возникли проблемы с этой ошибкой.Я использую GHCI на Windows.Это код:...

Я написал в Haskell функцию, которая принимает список произвольных элементов и возвращает...

Я использую doctest , и мне нравится тот факт, что я могу тестировать неэкспортированные функции из...

С помощью QuickCheck можно написать параметрически полиморфные свойства, например: associativityLaw...

Я новичок в Quickcheck, и в моей программе импорт Test.QuickCheck работает, но импорт Test.Tasty

Когда тест QuickCheck не проходит, иногда мне нужно пройтись по коду в ghci (или стеку), чтобы...

У меня проблема с использованием doctest с QuickCheck на NixOS -- code.hs -- -- $setup --...

Я пытаюсь начать работу с QuickCheck на Haskell, и хотя я знаком с концепциями, лежащими в основе...

Я попытался запустить свою программу, которая использует Haskell QuickCheck через ghc MyProgramm.hs...

Я использую cabal для установки QuickCheck в среде песочницы, и она выглядит хорошо...

У меня есть следующий код, который я использую для создания задачи на следующем сайте: codewars...

Есть ли способ программно управлять набором значений для использования в вызове элементов в...

Мне нужно сгенерировать строку имен-дат, разделенных пробелами, где имя - это просто произвольная...

Это работает: genAnimal :: Gen String genAnimal = do animals <- shuffle ["tiger"...

Я пытался написать тест QuickCheck для идентификации f $ y = f y Мой первоначальный план состоял в...

Я написал алгоритм, чтобы найти решение проблемы суммы подмножеств в Haskell.Подпись subsetSum ::...

Когда я хочу протестировать чистый код, используя QuickCheck, мне часто приходится писать экземпляр...

После изменения структуры данных с diffarray на vector память взрывается (увеличивается бесконечно)...