quickcheck

-3열

1답변

하스켈 프로그램에서 임의의 인스턴스를 만들 필요가 있습니다. 저는 카드 유형 (갑판 유형)을 만들고 있습니다. 그리고 갑판은 카드 목록입니다. 데크 프로그램은 새로운 데크를 무작위 화하기 위해 mkStdGen과 숫자를 사용하여 시드를 묻습니다. 이 덱은 QuickTest 속성 테스트를 통과하려면 임의의 인스턴스가 있어야합니다. 여기 이 Carta에 대한 d

1열

1답변

맛있는 -checkcheck의 quickCheckAll 함수 사용

짧은 버전 : 맛있는 quickcheck에서 quickCheckAll 함수를 사용할 수 있습니까? 긴 버전 :이 다음의 예를 보여줍니다 같이 quickCheckAll 기능은 현재 모듈에서 prop_로 시작 모든 속성을 테스트 : 한편 {-# LANGUAGE TemplateHaskell #-} module Main where import Test.Qu

-2열

1답변

haskell에서 람다 함수 응용 프로그램?</p> <pre><code>-- | this function checks if string or list are a palindrome isPalindrome :: (Eq a) => [a] -> Bool isPalindrome x = if reverse x == x then True else False </code></pre> <p>내가이 작성 관리 : 시험이 코드를 갖는

-- | how do I remove ugly parentheses our of here? palindromeTest verb = isPalindrome ((\verb -> verb ++ reverse verb) verb) == True where types = verb::String 괄호 역겨운 봐, 내가 어떻게 그들을 밖으로 작동합니까?

0열

1답변

Mac에서 'Test.QuickCheck'모듈을 찾을 수 없습니다.

코드를 테스트하려고하면 IntelliJ에서이 오류를 알려줍니다. 그러나 나는 cabal을 설치하여 QuickCheck를 설치했습니다. Testing.hs:3:1: error: Could not find module ‘Test.QuickCheck’ Use -v to see a list of the files searched for.

2열

2답변

하스켈 임의 typeclass 인스턴스 반환 형식

, 나는 여기에 quickCheck (semigroupAssoc :: IdentAssoc) 로 호출, semigroupAssoc :: (Eq m, S.Semigroup m) => m -> m -> m -> Bool semigroupAssoc a b c = (a S.<> (b S.<> c)) == ((a S.<> b) S.<> c) type

1열

1답변

추출 Hspec 내가 "첫 번째 원칙에서 하스켈 프로그램"을 통해 갈거야

을 테스트하고 나 자신에 비해 다음과 같은 방식으로 코드를 작성하고 이상 발견 type IntToInt = Fun Int Int type TypeIdentity = ConcreteFunctorType Int -> Bool type TypeComposition = ConcreteFunctorType Int -> IntToInt -> IntToInt ->

1열

1답변

($)

의 정의를 위해 QuickCheck를 사용하여 테스트를 작성하는 방법 및 함수 작성 기능. f $ a = f a f . g = \x -> f (g x)

2열

1답변

이와 같은 데이터 유형에 임의의 인스턴스를 구현하는 방법은 무엇입니까?

하스켈을 처음 접했을 때 Semigroup typeclass의 연관 법칙을 증명하기위한 테스트 케이스를 작성하려고합니다. 데이터 유형은 다음과 같이 정의 newtype Combine a b = Combine {unCombine :: (a -> b)} 다음으로 반군의 구현 : instance (Semigroup b) => Semigroup (Combine

2열

1답변

함수를 래핑하는 유형에 임의의 인스턴스를 작성하는 방법은 무엇입니까?

나는 함수 newtype Transaction d e r = Transaction (d -> Either e (d,r)) 에게 랩이 유형이 ... 그리고 나는 그것은 Functor & 실용적 인스턴스에 대한 quickcheck 테스트를하고 싶어하지만 컴파일러는 임의의 인스턴스를하지 않는 것을 불평. 나는 그렇게하려고 시도했지만 무작위 기능을 생성하는데

3열

2답변

이 데이터 유형에 대한 Semigroup 법칙을 테스트하는 방법은 무엇입니까?

"Haskell Programming from First Principles"의 15 장에있는 this other question과 같은 연습 문제를 해결하려고합니다. Semigroup 인스턴스를 이미 만들었고 QuickCheck 부분을 작성하는 데 문제가 있습니다. 반군 인스턴스 만족해야 <>은 반군의 mappend이다 a <> (b <> c) == (a