about summary refs log tree commit diff
path: root/users/grfn/xanthous/test/Xanthous/Data/NestedMapSpec.hs
blob: acf7a67268f4130dd056d42031623c4425bcacf8 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
--------------------------------------------------------------------------------
module Xanthous.Data.NestedMapSpec (main, test) where
--------------------------------------------------------------------------------
import           Test.Prelude
--------------------------------------------------------------------------------
import           Test.QuickCheck.Instances.Semigroup ()
--------------------------------------------------------------------------------
import qualified Xanthous.Data.NestedMap as NM
--------------------------------------------------------------------------------

main :: IO ()
main = defaultMain test

test :: TestTree
test = testGroup "Xanthous.Data.NestedMap"
  [ testProperty "insert/lookup" $ \nm ks v ->
      let nm' = NM.insert ks v nm
      in counterexample ("inserted: " <> show nm')
         $ NM.lookup @Map @Int @Int ks nm' === Just (NM.Val v)
  ]