Hspec & QuickCheck - неоднозначная переменная типа a0?

Question

Я написал в Haskell функцию, которая принимает список произвольных элементов и возвращает (сопоставленный) список кортежей. Каждый кортеж содержит исходный элемент и дробь, причем все дроби в списке добавляются к 1 (поэтому я просто вычисляю дробь один раз, используя 1 ``div`` length xs и применить это все элементы). Это код:

uniform :: [a] -> [(a, Int)]
uniform xs = map (\x -> (x, prob)) xs
  where prob = 1 `div` (length xs)

(Отказ от ответственности: это на самом деле немного упрощенная версия, но я создаю точно такое же поведение, так что, надеюсь, этого достаточно).

Я пытаюсь покрыть это с помощью теста на основе свойств, используя Hspec и Quickcheck:

spec = do
    describe "uniform" $ do

        it "produces a uniform distribution summing to 1" $ property $
            let totalProbability ((_, p):xs) = p + (totalProbability xs)
            in (\xs -> (totalProbability $ uniform xs) `shouldBe` 1)

Однако, когда я запускаю это, я получаю эту ошибку:

• Ambiguous type variable ‘a0’ arising from a use of ‘property’
  prevents the constraint ‘(Arbitrary a0)’ from being solved.
  Probable fix: use a type annotation to specify what ‘a0’ should be.
  These potential instances exist:
    instance (Arbitrary a, Arbitrary b) => Arbitrary (Either a b)
      -- Defined in ‘Test.QuickCheck.Arbitrary’
    instance Arbitrary Ordering
      -- Defined in ‘Test.QuickCheck.Arbitrary’
    instance Arbitrary Integer
      -- Defined in ‘Test.QuickCheck.Arbitrary’
    ...plus 19 others
    ...plus 62 instances involving out-of-scope types
    (use -fprint-potential-instances to see them all)
• In the second argument of ‘($)’, namely
    ‘property
       $ let totalProbability ((_, p) : xs) = p + (totalProbability xs)
         in (\ xs -> (totalProbability $ uniform xs) `shouldBe` 1)’
  In a stmt of a 'do' block:
    it "produces a uniform distribution summing to 1"
      $ property
          $ let totalProbability ((_, p) : xs) = p + (totalProbability xs)
            in (\ xs -> (totalProbability $ uniform xs) `shouldBe` 1)
  In the second argument of ‘($)’, namely
    ‘do it "produces a uniform distribution summing to 1"
          $ property
              $ let totalProbability ((_, p) : xs) = ...
                in (\ xs -> (totalProbability $ uniform xs) `shouldBe` 1)’

| 12 | он "производит равномерное распределение, суммирующее 1" $ property $ | ^^^^^^^^^^...

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

Любая помощь будет принята с благодарностью.

Спасибо!

Answer 1

Вам нужно указать тип для xs: это список строк? Интс? булевы? Это так, что QuickCheck может генерировать случайную выборку в этом типе.

Вы можете написать, например:

...
in (\xs -> (totalProbability $ uniform (xs :: [Int])) `shouldBe` 1)