diff options
| author | Griffin Smith <root@gws.fyi> | 2019-11-29T19·33-0500 |
|---|---|---|
| committer | Griffin Smith <root@gws.fyi> | 2019-11-29T19·33-0500 |
| commit | f37d0f75c0b4a77c8e35192c24c6fdb6f2bc4619 (patch) | |
| tree | 0af3e636f1a2dcb0a0e179895e4a41f2fab45f69 /test/Xanthous/Data | |
| parent | 2f2e5a0b684f886a7585161d30e8cda962c7eefb (diff) | |
Implement saving+loading the game
Implement ToJSON and FromJSON for all of the various pieces of the game state, and add a pair of functions saveGame/loadGame implementing a prism to save the game as zlib-compressed JSON. To test this, there's now Arbitrary, CoArbitrary, and Function instances for all the parts of the game state - to get around circular imports with the concrete entities this unfortunately is happening via orphan instances, plus an hs-boot file to break a circular import that was just a little too hard to remove by moving things around. Ugh.
Diffstat (limited to 'test/Xanthous/Data')
| -rw-r--r-- | test/Xanthous/Data/EntityMapSpec.hs | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/test/Xanthous/Data/EntityMapSpec.hs b/test/Xanthous/Data/EntityMapSpec.hs index 2e9714a44eb7..53f03020f346 100644 --- a/test/Xanthous/Data/EntityMapSpec.hs +++ b/test/Xanthous/Data/EntityMapSpec.hs @@ -2,9 +2,11 @@ -------------------------------------------------------------------------------- module Xanthous.Data.EntityMapSpec where -------------------------------------------------------------------------------- -import Test.Prelude +import Test.Prelude -------------------------------------------------------------------------------- -import Xanthous.Data.EntityMap +import qualified Data.Aeson as JSON +-------------------------------------------------------------------------------- +import Xanthous.Data.EntityMap -------------------------------------------------------------------------------- main :: IO () @@ -30,4 +32,9 @@ test = localOption (QuickCheckTests 20) then (em₁ == em₃) else True ] + , testGroup "JSON encoding/decoding" + [ testProperty "Preserves IDs" $ \(em :: EntityMap Int) -> + let Just em' = JSON.decode $ JSON.encode em + in toEIDsAndPositioned em' === toEIDsAndPositioned em + ] ] |