quickCheck prop_xxx를 실행하는 함수를 작성하는 방법은 무엇입니까?

Question

QuickCheck v1을 사용하고 있습니다.

f :: IO() 
f = quickCheck prop_foo 

이 올바르게 GHCi 테스트 할 수

prop_foo :: (Num a) =>[a] -> Bool 
prop_foo xs = (reverse.reverse) xs == id xs 

: 여기에 다음과 같이 정의 된 간단한 prop_xxx는 내가 좋아하는 기능에 전화를 포장하려 할 때 quickCheck는

그러나 prop_foo

Ambiguous type variable `a' in the constraints: 
    `Num a' arising from a use of `prop_foo' at Foo.hs:147:15-22 
    `Arbitrary a' 
    arising from a use of `quickCheck' at Foo.hs:147:4-22 
Probable fix: add a type signature that fixes these type variable(s) 

내가 뭔가 사장님을 제공한다

그것은 오류를보고 e

instance Arbitrary Xxx where 
    arbitrary  = ... 
    coarbitrary c = ... 

고마워요.

- 래리

당신은 그것을 단형 유형 서명를 제공해야

Answer 1

, 결국

prop_foo :: [Int] -> Bool 

같은 질문은 : 원래 버전에서, 유형 a이해야 quickCheck 기능을 테스트하도록 선택 하시겠습니까? a = Int? a = Double? 다른 것? 오류 메시지는 a이 모호한 것으로, 즉 고유 한 선택이 없다고 불평합니다.