diff options
Diffstat (limited to 'test/Xanthous')
| -rw-r--r-- | test/Xanthous/Data/EntityMapSpec.hs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/test/Xanthous/Data/EntityMapSpec.hs b/test/Xanthous/Data/EntityMapSpec.hs index 88e0d0d7712c..8317f5f51f8b 100644 --- a/test/Xanthous/Data/EntityMapSpec.hs +++ b/test/Xanthous/Data/EntityMapSpec.hs @@ -3,6 +3,7 @@ module Xanthous.Data.EntityMapSpec where -------------------------------------------------------------------------------- import Test.Prelude +import Control.Lens.Properties -------------------------------------------------------------------------------- import qualified Data.Aeson as JSON -------------------------------------------------------------------------------- @@ -45,4 +46,8 @@ test = localOption (QuickCheckTests 20) let Just em' = JSON.decode $ JSON.encode em in toEIDsAndPositioned em' === toEIDsAndPositioned em ] + + , testGroup "atPosition" + [ testProperty "lens laws" $ \pos -> isLens $ atPosition @Int pos + ] ] |