blob: e2771390c59b597104c22892ff0a827167a46659 (
plain) (
blame)
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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
|
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE FlexibleInstances, MultiParamTypeClasses #-}
module Main where
import Test.Tasty
import qualified Test.Tasty.SmallCheck as SC
import qualified Test.Tasty.HUnit as HU
import Test.Tasty.HUnit ((@?=), (@=?))
import Test.SmallCheck.Series
import Text.Emoji.Types
import Text.Emoji.DataFiles
import Data.Attoparsec.Text (parseOnly)
import Data.Either (fromRight)
import Data.Text (Text)
import qualified Data.Text as T (unpack)
main :: IO ()
main = defaultMain tests
tests :: TestTree
tests = testGroup "Tests" [typesTests, parserTests]
typesTests :: TestTree
typesTests = testGroup "Emoji Types Tests"
[ SC.testProperty "EmojiVersion Ord instance is commutative" emojiVersionOrdCommutative
, SC.testProperty "EmojiVersion Lowest Value" emojiVersionLowestValue
]
emojiVersionOrdCommutative :: EmojiVersion -> EmojiVersion -> Bool
emojiVersionOrdCommutative a b = (a >= b) == (b <= a)
emojiVersionLowestValue :: EmojiVersion -> Bool
emojiVersionLowestValue v = NoEmojiVersion Nothing <= v
instance Monad m => Serial m EmojiVersion
parserTests :: TestTree
parserTests = testGroup "Emoji Data File Parser Tests"
[ HU.testCase "EmojiVersion Parser parses all versions up till now correctly" emojiVersionParserTest ]
emojiVersionParserTest :: HU.Assertion
emojiVersionParserTest = do
vt "E0.0" (NoEmojiVersion Nothing)
vt "E0.6" (NoEmojiVersion (Just 6))
vt "E0.7" (NoEmojiVersion (Just 7))
vt "E1.0" (EmojiVersion 1 0)
vt "E2.0" (EmojiVersion 2 0)
vt "E3.0" (EmojiVersion 3 0)
vt "E4.0" (EmojiVersion 4 0)
vt "E5.0" (EmojiVersion 5 0)
vt "E11.0" (EmojiVersion 11 0)
vt "E12.0" (EmojiVersion 12 0)
vt "E12.1" (EmojiVersion 12 1)
vt "E13.0" (EmojiVersion 13 0)
where vt :: Text -> EmojiVersion -> HU.Assertion
vt str exp = parseOnly emojiVersionColumn str @?= Right exp
|
