1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
{-|
Module: Spec.Data.ListSpec
Copyright: (C) 2014-2017 Ryan Scott
License: BSD-style (see the file LICENSE)
Maintainer: Ryan Scott
Stability: Provisional
Portability: GHC
@hspec@ tests for lists.
-}
module Spec.Data.ListSpec (main, spec) where
import Data.Proxy.Compat (Proxy(..))
import Spec.Utils (matchesTextShowSpec)
import Test.Hspec (Expectation, Spec, describe, hspec, parallel, shouldBe)
import Test.Hspec.QuickCheck (prop)
import Text.Show (showListWith)
import TextShow (fromString, showb)
import TextShow.Data.List (showbListWith)
main :: IO ()
main = hspec spec
spec :: Spec
spec = parallel $ do
describe "String" $
matchesTextShowSpec (Proxy :: Proxy String)
describe "[String]" $
matchesTextShowSpec (Proxy :: Proxy [String])
describe "[Int]" $
matchesTextShowSpec (Proxy :: Proxy [Int])
describe "showbListWith" $
prop "has the same output as showListWith" prop_showListWith
-- | Verifies 'showListWith' and 'showbListWith' generate the same output.
prop_showListWith :: String -> Expectation
prop_showListWith str = fromString (showListWith shows str "") `shouldBe` showbListWith showb str
|
