我是haskell的新手,我正在尝试同时学习hspec。
module ExercisesSpec where
import Test.Hspec
import Test.QuickCheck
import Control.Exception (evaluate)
halve :: [a] -> ([a], [a])
halve xs = splitAt (length xs `div` 2) xs
main :: IO ()
main = hspec $ do
describe "halve" $ do
it "0 elements" $ do
halve [] `shouldBe` ([],[])
it "1 element" $ do
halve [1] `shouldBe` ([],[1])
it "2 elements" $ do
halve [1,2] `shouldBe` ([1],[2])
it "3 elements" $ do
halve [1,2,3] `shouldBe` ([1],[2,3])
it "4 elements" $ do
halve [1,2,3,4] `shouldBe` ([1,2],[3,4])
虽然其他测试通过,但0元素的测试失败。
No instance for (Show a0) arising from a use of ‘shouldBe’
The type variable ‘a0’ is ambiguous
Note: there are several potential instances:
instance Show Double -- Defined in ‘GHC.Float’
instance Show Float -- Defined in ‘GHC.Float’
instance (Integral a, Show a) => Show (GHC.Real.Ratio a)
-- Defined in ‘GHC.Real’
...plus 38 others
In a stmt of a 'do' block: halve [] `shouldBe` ([], [])
In the second argument of ‘($)’, namely
‘do { halve [] `shouldBe` ([], []) }’
In a stmt of a 'do' block:
it "0 elements" $ do { halve [] `shouldBe` ([], []) }
当我在ghci中尝试时,它工作正常。
*Exercises> halve []
([],[])
有人可以帮助我吗?
答案 0 :(得分:5)
啊,回答我自己的问题,我发现我需要更具体地说明这个类型。如果我在我的函数上面添加halve :: [Int] -> ([Int], [Int])
,它就可以工作。
引用好的答案,我在课堂的讨论室里读到:
pbl64k
一般来说,列表肯定没有可导出的Show实例。功能列表怎么样? REPL推断出具有Show实例的具体类型。但是不要指望[a]一般都有 - 除非你自己制作一个。
treeowl
pbl64k是正确的,有点不对劲。如果有一个Show实例,则[a]有一个Show实例。它是自动派生的。这里的麻烦是Haskell不知道它是哪个实例。 []可能看起来像一个单独的值,(在机器代码中,它可能是),但在Haskell级别,它是一个多态构造函数。它可以采用任何列表类型,因此您必须做一些事情来说明您要使用的列表类型。