test: add property tests for core module

Add property tests for NMonad.Core.

nmonad.cabal

@@ -65,6 +65,7 @@ test-suite nmonad-test
   type: exitcode-stdio-1.0
   main-is: Spec.hs
   other-modules:
+      NMonad.CoreSpec
       Test.NMonad
       Paths_nmonad
   hs-source-dirs:

test/NMonad/CoreSpec.hs

@@ -0,0 +1,38 @@
+{-# LANGUAGE StandaloneDeriving #-}
+
+module NMonad.CoreSpec (spec) where
+
+import Test.Hspec
+import Test.Hspec.QuickCheck
+import Test.QuickCheck
+import Test.NMonad
+
+import NMonad.Core
+
+deriving instance Show DBusNotification
+deriving instance Eq Expiration
+deriving instance Eq Notification
+
+spec :: Spec
+spec = do
+  describe "notificationFromDBus :: DBusNotification -> N Notification" $ do
+    prop "respects replacesId if set to something other than 0" $ \dbusnotif -> do
+      replacesId <- generate $ arbitrary `suchThat` (/= 0)
+      let (DBusNotification an _ ai s b a h t) = dbusnotif
+          dbusnotif' = DBusNotification an replacesId ai s b a h t
+      (notification, _, _) <- runGenN $ notificationFromDBus dbusnotif'
+      identifier notification `shouldBe` replacesId
+
+    prop "generates some notification id when replacesId is 0" $ \dbusnotif -> do
+      let (DBusNotification an _ ai s b a h t) = dbusnotif
+          dbusnotif' = DBusNotification an 0 ai s b a h t
+      (notification, finalState, (_, initialState)) <- runGenN $ notificationFromDBus dbusnotif'
+      identifier notification `shouldNotBe` 0
+      notificationCount finalState `shouldBe` 1 + notificationCount initialState
+
+  describe "addToNotificationsAndReturnId :: Notification -> N Word32" $ do
+    prop "adds the notification to the state and returns its identifier" $ \notif -> do
+      (returnedId, finalState, (_, initialState)) <- runGenN $ addToNotificationsAndReturnId notif
+      notif `shouldNotSatisfy` (`elem` notifications initialState)
+      notif `shouldSatisfy` (`elem` notifications finalState)
+      identifier notif `shouldBe` returnedId

test/Spec.hs

@@ -1,2 +1 @@
-main :: IO ()
-main = putStrLn "Test suite not yet implemented"
+{-# OPTIONS_GHC -F -pgmF hspec-discover #-}