quickcheck

8Hitze

2Antwort

Ich versuche QuickCheck nach another answer zu verwenden. Ich teste wie folgt aus: {-# LANGUAGE TemplateHaskell #-} import Test.QuickCheck import Test.QuickCheck.All last' :: [a] -> a last' [x]

12Hitze

1Antwort

Warum zwingt die Anwesenheit/Abwesenheit der HsColour-Binärdatei, die QuickCheck-Bibliothek neu zu kompilieren?

Nehmen wir an, ich habe nicht das hscolour Programm installiert und ich Quick Check $ cd /tmp/ $ cabal get QuickCheck $ cd QuickCheck $ cabal install ... [ 1 of 15] Compiling Test.QuickCheck.Rand

9Hitze

2Antwort

Haskell Quick Check minimale Gegenbeispiel

Betrachten Sie die folgenden Tests für die distributivity law between reverse and ++, import Test.QuickCheck test :: [Int] -> [Int] -> Bool test xs ys = reverse (xs ++ ys) == reverse xs ++ reverse

6Hitze

2Antwort

Kann benutzerdefinierte `Arbitrary` Instanz für` Char` nicht definieren, da es bereits existiert

Ich versuchte, die Introduction to Quickcheck zu folgen und wollte meine Funktion testen, die Zeichenfolgen mit Ziffern enthält. Dafür definierte ich eine Arbitrary Instanz für Char: instance Arbitrar

18Hitze

1Antwort

Test.QuickCheck.Monadic: warum Bool assert angewendet wird, nicht testbare a => a

In Testing Monadic Code with QuickCheck (Claessen, Hughes 2002) hat assert den Typ: assert :: (Monad m, Testable a) => a -> PropertyM m() jedoch in Test.QuickCheck.Monadic, hat es die Art: assert ::

18Hitze

1Antwort

QuickCheck Gen ist kein Monad

Ich habe gelegentlich Leute sagen, dass die Gen-Typ in QuickCheck nicht den Monaden Gesetzen gehorchen, obwohl ich nicht viel von einer Erklärung gesehen habe, um damit zu gehen. Nun, QuickCheck 2.7's

9Hitze

3Antwort

Was ist der allgemeine Fall der Promotion-Funktion von QuickCheck?

Was ist die allgemeine Bezeichnung für eine Funktors promote mit einer Struktur ähnlich der Funktion Quick Check, das heißt eine Funktion der Form: promote :: (a -> f b) -> f (a -> b) (dies ist die

6Hitze

3Antwort

Wie kann ich Constraint QuickCheck Parameter, z. nur nicht negative ints verwenden?

Ich bin neu in Haskell. Bis jetzt ist es sehr schön, aber ich stoße auf Kopieren-Einfügen für meine QuickCheck-Eigenschaften, und ich möchte das beheben. Hier ist ein erfundenes Beispiel: prop_Myfunc

13Hitze

3Antwort

Quick Check: Wie Vollständigkeitsprüfung verwenden vergessener Konstrukteuren einer Summe Art zu verhindern

ich eine Haskell-Datentyp haben wie data Mytype = C1 | C2 Char | C3 Int String Wenn ich case auf einem Mytype und vergessen einen der Fälle zu behandeln, gibt GHC mir eine Warnung (Vo

5Hitze

2Antwort

Clang-Fehler bei der Installation von QuickCheck für GHC 7.8.3 unter OS X Yosemite 10.10 (14A389)

Während der Installation des QuickCheck für Haskell GHC 7.8.3 auf einem OS X Yosemite 10.10 (14A389) System auf einem Mac Pro 2013 mit Xcode 6.1 (6A1052d), ich laufe in die folgenden Klirren Fehler: $