임의로 생성 된 결과를 인쇄하는 방법은 무엇입니까?

Question

만 something -> Bool 동의 quickCheckResult 후 좀 예 패스

[Colour] -> Bool 

[컬러] 상기 브래킷의 기능이 무엇을 모방? 왜 Colour -> Bool? quickCheckResult에 임의의 인스턴스를 전달하는 방법은 무엇입니까?

data Colour = Green | Blue 
instance Arbitrary Colour where 
    arbitrary = oneof [return Green, return Blue] 

main = quickCheckResult ((\s -> s == s) :: [Colour] -> Bool) 

[업데이트] 내 목표는 인

prop :: Fun Fun Integer -> Bool 
let prop (Fun _ f) (Fun _ g) = (g.f) x == (f.g) x 
quickCheck prop 

구문 분석 오류 (아마도 잘못된 들여 쓰기) (업데이트) QuickCheck.Function를 사용하는

import Test.QuickCheck.Function 
import Test.QuickCheck.Gen 
import Test.QuickCheck 
import Test.QuickCheck.Function 
import Test.QuickCheck.Arbitrary 
import Test.QuickCheck.Property 
import Test.QuickCheck.Test 

prop1 f g x = (g.f) x == (f.g) x where types = [f, g] :: [Int->Int] 

instance CoArbitrary ex where 
    coarbitrary f g = prop1 (variant 0 f) (variant 0 g) 

main = quickCheck prop1 

test5.hs:11:10: 
    Illegal instance declaration for `CoArbitrary ex' 
     (All instance types must be of the form (T a1 ... an) 
     where a1 ... an are *distinct type variables*, 
     and each type variable appears at most once in the instance head. 
     Use -XFlexibleInstances if you want to disable this.) 
    In the instance declaration for `CoArbitrary ex' 

3.How를 실행할 수 있습니다 다음

Answer 1

좋아,이 질문을 별도의 질문으로 나누어야합니다.

[Color]가있는 것은 함수가 Color의 목록을 매개 변수로 허용한다는 것을 의미합니다.

임의 함수는 quickCheck에 의해 이미 실행됩니다. 인스턴스를 전달할 필요는 없습니다.

3 문제는 let 바인딩에 있습니다. 바인딩을 사용하여 로컬 범위에 새 바인딩을 도입하지만 let을 사용하지 않도록 로컬 범위에서이 바인딩을 정의합니다. 기능을 생성 할 경우

import Test.QuickCheck.Function 
prop :: Fun Fun Integer -> Bool 
prop (Fun _ f) (Fun _ g) = (g.f) x == (f.g) x 
quickCheck prop 

Answer 2

유형 [Colour]은 Colour.