quickcheck

5गर्मी

1उत्तर

आश्रित प्रकारों के लिए क्विक चेक परीक्षण

मैं Vector और Matrix डेटा प्रकारों को निर्भर रूप से टाइप कर रहा हूं। data Vector n e where EmptyVector :: Vector Zero e (:>) :: e -> Vector n e -> Vector (Succ n) e deriving instance Eq e

haskell quickcheck 2014-06-07

---

33गर्मी

2उत्तर

कैसे quickcheck

के लिए एक सरल प्रकार की मनमानी उदाहरणों उत्पन्न करने के लिए मैं एक साधारण प्रकार परिभाषा है: data Cell = Cell { x :: Int, y :: Int } deriving (Show) मैं एक quickcheck संपत्ति के लिए

haskell quickcheck 2013-05-08

---

6गर्मी

2उत्तर

हास्केल QuickCheck कई इनपुट चर

मैं rndListIndex :: Double -> Double -> Double -> Double rndListIndex maxIdx r1 r2 = … पहला इनपुट एक मूल्य के एक गैर नकारात्मक सख्ती से सकारात्मक पूर्णांक से आ रही होना चाहिए निम्न प्रकार के हस्ताक

haskell quickcheck 2013-08-23

---

12गर्मी

2उत्तर

मुहावरेदार रास्ता

मान लीजिए मैं एक रिकॉर्ड प्रकार है: data Foo = Foo {x, y, z :: Integer} एक मनमाना उदाहरण लेखन की एक स्वच्छ रास्ता इस तरह Control.Applicative उपयोग करता है: instance Arbitrary Foo where arbitrar

haskell quickcheck 2012-12-22

---

11गर्मी

1उत्तर

क्विक चेक क्यों छोड़ देता है?

मैं QuickCheck उपयोग कर रहा हूँ निम्नलिखित कार्यक्रम का परीक्षण करने के: {-# LANGUAGE TemplateHaskell #-} import Test.QuickCheck import Test.QuickCheck.All elementAt :: (Integral b) => [a] -> b -

testing haskell quickcheck 2013-08-29

---

5गर्मी

2उत्तर

जानबूझकर त्रुटि शर्तों का परीक्षण करने के लिए क्विक चेक का उपयोग

मैंने देखा है कि कैसे मैनेडिक और गैर-मोनैडिक कोड का परीक्षण करने के लिए क्विक चेक का उपयोग किया जा सकता है, लेकिन मैं त्रुटियों को संभालने वाले कोड का परीक्षण करने के लिए इसका उपयोग कैसे कर सकता हूं,

haskell quickcheck 2013-09-01

---

18गर्मी

1उत्तर

क्विक चेक जनरल एक मोनड नहीं है

मैंने कभी-कभी लोगों को यह कहते हुए देखा है कि क्विक चेक में जनरल प्रकार मोनैड कानूनों का पालन नहीं करता है, हालांकि मैंने इसके साथ जाने के लिए कोई स्पष्टीकरण नहीं देखा है। अब, क्विक चेक 2.7 के Test.Qu

haskell quickcheck 2014-06-30

---

8गर्मी

3उत्तर

जावास्क्रिप्ट

के लिए क्विक चेक जावास्क्रिप्ट के लिए काम करता है कि त्वरित जांच का एक संस्करण है और यह अच्छी तरह से बनाए रखा है? मुझे चेक.जे और क्लेयर जैसे कई मिल गए हैं, लेकिन उनमें से कोई भी असफल परीक्षण मामलों मे

javascript node.js quickcheck 2014-05-12

---

10गर्मी

1उत्तर

क्विक चेक 2 बैच प्रोसेसिंग

Batch क्विक चेक के मॉड्यूल को version 2 (1.2.0.1 still has it) से हटा दिया गया था। इस वजह से, मैं हमेशा mapM_ की तरह महसूस कर रहा हूं- कई परीक्षण एक साथ हैकी की तरह है। क्या मैं क्विक चेक 2 में उत्तरा

haskell batch-processing quickcheck 2012-11-23

---

5गर्मी

3उत्तर

क्विक चेक

का उपयोग करके मैंने फोल्डल के लिए एक कार्यान्वयन लिखा और यह जांचना चाहता था कि यह काम करता है या नहीं, मैंने कुछ मामलों की कोशिश की और ऐसा लगता है कि यह अच्छी तरह से काम कर रहा है लेकिन मैं यह सुनिश्च

haskell ghci fold quickcheck 2013-04-24

---