about summary refs log blame commit diff
path: root/test/Xanthous/GameSpec.hs
blob: f9a9c543b90a45a3900e4774f445008f861a6b0b (plain) (tree)
1
2
3
4
5
6
7
8






                                            
                                                 




                       



                                      


                                                           

                                                       









                                                                     


                                                 
                              









                                                                          





                                                        
   
module Xanthous.GameSpec where

import Test.Prelude hiding (Down)
import Xanthous.Game
import Control.Lens.Properties
import Xanthous.Data (move, Direction(Down))
import Xanthous.Data.EntityMap (atPosition)
import Xanthous.Entities (SomeEntity(SomeEntity))

main :: IO ()
main = defaultMain test

test :: TestTree
test
  = localOption (QuickCheckTests 10)
  . localOption (QuickCheckMaxSize 10)
  $ testGroup "Xanthous.Game"
  [ testGroup "positionedCharacter"
    [ testProperty "lens laws" $ isLens positionedCharacter
    , testCase "updates the position of the character" $ do
      initialGame <- getInitialState
      let initialPos = initialGame ^. characterPosition
          updatedGame = initialGame & characterPosition %~ move Down
          updatedPos = updatedGame ^. characterPosition
      updatedPos @?= move Down initialPos
      updatedGame ^. entities . atPosition initialPos @?= fromList []
      updatedGame ^. entities . atPosition updatedPos
        @?= fromList [SomeEntity $ initialGame ^. character]
    ]
  , testGroup "characterPosition"
    [ testProperty "lens laws" $ isLens characterPosition
    ]
  , testGroup "character"
    [ testProperty "lens laws" $ isLens character
    ]
  , testGroup "MessageHistory"
    [ testGroup "MonoComonad laws"
      [ testProperty "oextend oextract ≡ id"
        $ \(mh :: MessageHistory) -> oextend oextract mh === mh
      , testProperty "oextract ∘ oextend f ≡ f"
        $ \(mh :: MessageHistory) f -> (oextract . oextend f) mh === f mh
      , testProperty "oextend f ∘ oextend g ≡ oextend (f . oextend g)"
        $ \(mh :: MessageHistory) f g ->
          (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
    ]
  ]