smallcheck

1熱度

1回答

哈斯克爾 - 基於性質的測試例外

我正在爲我的本地函數編程組寫一篇哈斯克爾的介紹。 作爲基礎，我使用美味測試框架，我想測試索引功能(!!)。 MinimalExample.hs module MinimalExample where myIndex :: Int -> [a] -> a myIndex _ [] = error "index too large" myIndex 0 (

unit-testing haskell testing quickcheck smallcheck 2014-03-03

---

3熱度

1回答

爲什麼smallCheck的`Series`類在構造函數中有兩種類型？

這個問題與我的other question有關smallCheck的Test.SmallCheck.Series類。當我嘗試在以下自然的方式（通過@tel上述問題的答案建議我）來定義類Serial的一個實例，我得到的編譯器錯誤： data Person = SnowWhite | Dwarf Int instance Serial Person where ... 原來，Serial想有兩個

testing haskell automated-tests monads smallcheck 2013-05-15

---

2熱度

1回答

SmallCheck：製作類型的類型實例Serial

我想弄清楚如何結合使用基於smallcheck屬性的測試庫和美味。 我碰到了一個多字段記錄類型的問題：我如何創建一個記錄類型與類型爲Serial typeclass的4字段的成員？ 我認爲這將是走正常的方式： {-# LANGUAGE FlexibleInstances, MultiParamTypeClasses #-} import Test.Tasty import Test.Tast

testing haskell automated-tests smallcheck 2013-12-14

---

4熱度

2回答

Haskell/SmallCheck：如何控制`Depth`參數？

我有一個簡單的數據結構來測試smallcheck。 {-# LANGUAGE FlexibleInstances, MultiParamTypeClasses #-} {-# LANGUAGE DeriveGeneriC#-} import Test.Tasty import Test.Tasty.SmallCheck import Test.SmallCheck.Series imp

testing haskell automated-tests smallcheck 2013-12-14

---

2熱度

2回答

如何在SmallCheck中使用monadic屬性？

我想寫一個使用IO的SmallCheck屬性，但我無法弄清楚我應該怎麼做。具體而言，我們的目標是編寫一個屬性爲Testable IO Bool的實例，以便我可以將它送入smallCheck（或testProperty的test-framework）。不幸的是，我可以拿出最好的是以下幾點： ​​ 這不起作用，因爲它是Testable IO (IO Bool)而非Testable IO Bool的實例

testing haskell monads smallcheck 2013-10-30

---

6熱度

1回答

泛型系列生成無窮列表

有了這個片段，並smallcheck-1.0.1 data Foo = A | B | Pair Foo Foo deriving Show deriving instance Generic Foo instance (Monad m) => Serial m Foo 那麼這 list 1 (series :: Series Identity Foo) 產生一個明顯的無限名單。 一些

haskell smallcheck 2013-03-12

---