blob: c08b568d9ecaa7560d130eaad7b481780d10ee41 (
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
|
{-# LANGUAGE ApplicativeDo #-}
--------------------------------------------------------------------------------
module Xanthous.Data.EntityMapSpec where
--------------------------------------------------------------------------------
import Test.Prelude
--------------------------------------------------------------------------------
import Xanthous.Data.EntityMap
--------------------------------------------------------------------------------
main :: IO ()
main = defaultMain test
test :: TestTree
test = testGroup "Xanthous.Data.EntityMap"
[ testBatch $ monoid @(EntityMap Int) mempty
, testGroup "Eq laws"
[ testProperty "reflexivity" $ \(em :: EntityMap Int) ->
em == em
, testProperty "symmetric" $ \(em₁ :: EntityMap Int) em₂ ->
(em₁ == em₂) == (em₂ == em₁)
, testProperty "transitive" $ \(em₁ :: EntityMap Int) em₂ em₃ ->
if (em₁ == em₂ && em₂ == em₃)
then (em₁ == em₃)
else True
]
]
|
