quickcheck

10Hitze

1Antwort

QuickCheck 2 Stapelverarbeitung

Das Modul Batch von QuickCheck wurde mit version 2 (1.2.0.1 still has it) entfernt. Aus diesem Grund fühle ich mich immer wie mapM_-mehrere Tests zusammen ist Art von hacky. Überschaue ich die Nachfol

haskell batch-processing quickcheck 2012-11-23

---

5Hitze

3Antwort

Mit QuickCheck

Ich schrieb eine Implementierung für foldl und wollte überprüfen, ob es funktionierte, habe ich einige Fälle versucht und es scheint gut zu funktionieren, aber ich will sicher gehen. ich über Quick Ch

haskell ghci fold quickcheck 2013-04-24

---

9Hitze

1Antwort

Conditional Quick Check Eigenschaften

Ich schrieb einen Quick Check-Eigenschaft für eine Funktion, die zwei sortierten Eingänge in eine sortierte Ausgabe verschmilzt: prop_merge xs ys = if (sorted xs && sorted ys) then (sorted (merge

haskell quickcheck 2012-10-14

---

7Hitze

3Antwort

Quick Check-Werte gleich

ich einen Quick Check Eigenschaft haben, die wie folgt aussieht: prop42 :: Foo -> Bool prop42 foo = fn1 foo == fn2 foo Wenn diese Eigenschaft fehlschlägt, wird es ausdrucken, was foo war. Aber ich

haskell quickcheck 2014-02-25

---

33Hitze

2Antwort

Wie beliebige Instanzen eines einfachen Typs für Quick Check erzeugen

ich eine einfache Typdefinition haben: data Cell = Cell { x :: Int, y :: Int } deriving (Show) ich nicht Cell als Eingabe in einem Quick Check-Eigenschaft verwenden können, vermutli

haskell quickcheck 2013-05-08

---

7Hitze

1Antwort

Wie verbessere ich das Debuggen von QuickCheck und Parsec?

Ich benutze Haskell und Parsec, um ein Dateiformat zu analysieren. Meine Analysefunktion sieht ungefähr so ​​aus: parseInput :: String -> Model parseInput input = ... data Model = Model { mNumV ::

haskell parsec quickcheck 2014-01-16

---

6Hitze

2Antwort

Haskell Quick Check erzeugt Zufallsdaten für die Funktion mit vielen Eingangsvariablen

I eine Funktion mit der folgenden Art Signatur haben rndListIndex :: Double -> Double -> Double -> Double rndListIndex maxIdx r1 r2 = … der erste Eingang ein Wert kommt aus einer nicht negativen st

haskell quickcheck 2013-08-23

---

12Hitze

2Antwort

Idiomatic Weg, um einen Datensatz in Quick schrumpfen

nehme ich einen Plattentyp haben: data Foo = Foo {x, y, z :: Integer} Eine saubere Art und Weise, eine beliebige Instanz des Schreibens verwendet Control.Applicative wie folgt aus: instance Arbitrar

haskell quickcheck 2012-12-22

---

11Hitze

1Antwort

Warum gibt QuickCheck auf?

ich QuickCheck bin mit dem folgenden Programm zu testen: {-# LANGUAGE TemplateHaskell #-} import Test.QuickCheck import Test.QuickCheck.All elementAt :: (Integral b) => [a] -> b -> a elementAt [

testing haskell quickcheck 2013-08-29

---

8Hitze

3Antwort

QuickCheck für Javascript

Gibt es eine Version von Quickcheck, die für Javascript funktioniert und das ist gut gepflegt? Ich habe mehrere wie check.js und claire gefunden, aber keine von ihnen scheint das Schrumpfen von fehler

javascript node.js quickcheck 2014-05-12

---