[英]Getting started with HSpec and Tasty in Haskell?
我是 Haskell 的新手,我正在嘗試讓hspec與Tasty (使用toxic-hspec )和Stack 一起工作。 我見過一個在HUnit中使用美味的例子,它看起來像這樣:
import Test.Tasty
import Test.Tasty.SmallCheck as SC
import Test.Tasty.QuickCheck as QC
import Test.Tasty.HUnit
import Data.List
import Data.Ord
main = defaultMain tests
tests :: TestTree
tests = testGroup "Tests" [properties, unitTests]
properties :: TestTree
properties = testGroup "Properties" [scProps, qcProps]
scProps = testGroup "(checked by SmallCheck)"
[ SC.testProperty "sort == sort . reverse" $
\list -> sort (list :: [Int]) == sort (reverse list)
, SC.testProperty "Fermat's little theorem" $
\x -> ((x :: Integer)^7 - x) `mod` 7 == 0
-- the following property does not hold
, SC.testProperty "Fermat's last theorem" $
\x y z n ->
(n :: Integer) >= 3 SC.==> x^n + y^n /= (z^n :: Integer)
]
qcProps = testGroup "(checked by QuickCheck)"
[ QC.testProperty "sort == sort . reverse" $
\list -> sort (list :: [Int]) == sort (reverse list)
, QC.testProperty "Fermat's little theorem" $
\x -> ((x :: Integer)^7 - x) `mod` 7 == 0
-- the following property does not hold
, QC.testProperty "Fermat's last theorem" $
\x y z n ->
(n :: Integer) >= 3 QC.==> x^n + y^n /= (z^n :: Integer)
]
unitTests = testGroup "Unit tests"
[ testCase "List comparison (different length)" $
[1, 2, 3] `compare` [1,2] @?= GT
-- the following test does not hold
, testCase "List comparison (same length)" $
[1, 2, 3] `compare` [1,2,2] @?= LT
]
但我想使用 hspec,而不是使用 hunit、smallcheck 或 quickcheck。 我嘗試了以下方法:
module Spec where
import Game
import Test.Tasty
import Test.Tasty.Hspec
spec_beats :: Spec
spec_beats = do
it "hello" $
Rock `beats` Scissors `shouldBe` True
tests :: TestTree
tests = testGroup "Tests" [spec_beats]
main = defaultMain tests
但這不能編譯:
• Couldn't match type ‘hspec-core-2.7.1:Test.Hspec.Core.Spec.Monad.SpecM
() ()’
with ‘TestTree’
Expected type: TestTree
Actual type: Spec
• In the expression: spec_beats
In the second argument of ‘testGroup’, namely ‘[spec_beats]’
In the expression: testGroup "Tests" [spec_beats]
|
15 | tests = testGroup "Tests" [spec_beats]
| ^^^^^^^^^^
所以我的問題是,如何讓我的 hspec 示例與美味一起工作?
在實施例部分可口-hspec的文檔中具有溶液:使用testSpec
到轉換Spec
為TestTree
。
spec_beats :: Spec
spec_beats = ...
main :: IO ()
main = do
tests <- testSpec "beats" spec_beats
defaultMain tests
聲明:本站的技術帖子網頁,遵循CC BY-SA 4.0協議,如果您需要轉載,請注明本站網址或者原文地址。任何問題請咨詢:yoyou2525@163.com.