diff options
Diffstat (limited to 'test/Xanthous')
| -rw-r--r-- | test/Xanthous/Data/EntityMapSpec.hs | 10 | ||||
| -rw-r--r-- | test/Xanthous/GameSpec.hs | 2 |
2 files changed, 11 insertions, 1 deletions
diff --git a/test/Xanthous/Data/EntityMapSpec.hs b/test/Xanthous/Data/EntityMapSpec.hs index 53f03020f346..88e0d0d7712c 100644 --- a/test/Xanthous/Data/EntityMapSpec.hs +++ b/test/Xanthous/Data/EntityMapSpec.hs @@ -33,7 +33,15 @@ test = localOption (QuickCheckTests 20) else True ] , testGroup "JSON encoding/decoding" - [ testProperty "Preserves IDs" $ \(em :: EntityMap Int) -> + [ testProperty "round-trips" $ \(em :: EntityMap Int) -> + let em' = JSON.decode (JSON.encode em) + in counterexample (show (em' ^? _Just . lastID, em ^. lastID + , em' ^? _Just . byID == em ^. byID . re _Just + , em' ^? _Just . byPosition == em ^. byPosition . re _Just + , em' ^? _Just . _EntityMap == em ^. _EntityMap . re _Just + )) + $ em' === Just em + , testProperty "Preserves IDs" $ \(em :: EntityMap Int) -> let Just em' = JSON.decode $ JSON.encode em in toEIDsAndPositioned em' === toEIDsAndPositioned em ] diff --git a/test/Xanthous/GameSpec.hs b/test/Xanthous/GameSpec.hs index 75e9f6215ade..2fa8527d0e59 100644 --- a/test/Xanthous/GameSpec.hs +++ b/test/Xanthous/GameSpec.hs @@ -46,6 +46,8 @@ test ] , testGroup "Saving the game" [ testProperty "forms a prism" $ isPrism saved + , testProperty "round-trips" $ \gs -> + loadGame (saveGame gs) === Just gs , testProperty "preserves the character ID" $ \gs -> let Just gs' = loadGame $ saveGame gs in gs' ^. character === gs ^. character |