diff options
author | Griffin Smith <root@gws.fyi> | 2019-09-20T16·03-0400 |
---|---|---|
committer | Griffin Smith <root@gws.fyi> | 2019-09-20T16·03-0400 |
commit | 7770ed05484a8a7aae4d5d680a069a0886a145dd (patch) | |
tree | fe4597baed79fee7720d05cab0948d3711d207fd /test | |
parent | 62a2e05ef222dd69263b819a400a83f8910816f9 (diff) |
Add the beginnings of a prompt system
Add the beginnings of a generic prompt system, with exclusive support atm for string prompts, and test it out by asking the character for their name at startup
Diffstat (limited to 'test')
-rw-r--r-- | test/Xanthous/Data/EntityMapSpec.hs | 5 | ||||
-rw-r--r-- | test/Xanthous/GameSpec.hs | 3 |
2 files changed, 7 insertions, 1 deletions
diff --git a/test/Xanthous/Data/EntityMapSpec.hs b/test/Xanthous/Data/EntityMapSpec.hs index 00bf1500466a..2e9714a44eb7 100644 --- a/test/Xanthous/Data/EntityMapSpec.hs +++ b/test/Xanthous/Data/EntityMapSpec.hs @@ -15,7 +15,10 @@ test = localOption (QuickCheckTests 20) $ testGroup "Xanthous.Data.EntityMap" [ testBatch $ monoid @(EntityMap Int) mempty , testGroup "Deduplicate" - [ testBatch $ monoid @(Deduplicate Int) mempty + [ testGroup "Semigroup laws" + [ testProperty "associative" $ \(a :: Deduplicate (EntityMap Int)) b c -> + a <> (b <> c) === (a <> b) <> c + ] ] , testGroup "Eq laws" [ testProperty "reflexivity" $ \(em :: EntityMap Int) -> diff --git a/test/Xanthous/GameSpec.hs b/test/Xanthous/GameSpec.hs index dbd1677f7e79..32faae03d7a9 100644 --- a/test/Xanthous/GameSpec.hs +++ b/test/Xanthous/GameSpec.hs @@ -27,4 +27,7 @@ test = testGroup "Xanthous.Game" , testGroup "characterPosition" [ testProperty "lens laws" $ isLens characterPosition ] + , testGroup "character" + [ testProperty "lens laws" $ isLens character + ] ] |