From f37d0f75c0b4a77c8e35192c24c6fdb6f2bc4619 Mon Sep 17 00:00:00 2001 From: Griffin Smith Date: Fri, 29 Nov 2019 14:33:52 -0500 Subject: 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. --- test/Xanthous/GameSpec.hs | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'test/Xanthous/GameSpec.hs') diff --git a/test/Xanthous/GameSpec.hs b/test/Xanthous/GameSpec.hs index 9f30faca0c98..f9a9c543b90a 100644 --- a/test/Xanthous/GameSpec.hs +++ b/test/Xanthous/GameSpec.hs @@ -44,4 +44,10 @@ test (oextend f . oextend g) mh === oextend (f . oextend g) mh ] ] + , testGroup "Saving the game" + [ testProperty "forms a prism" $ isPrism saved + , testProperty "preserves the character ID" $ \gs -> + let Just gs' = loadGame $ saveGame gs + in gs' ^. character === gs ^. character + ] ] -- cgit 1.4.1