io-sim: NFData & NoThunks instances for ThreadId

Author: coot

io-sim/CHANGELOG.md

@@ -14,6 +14,7 @@
 ### Non breaking changes
 
 * Provide `MonadInspectMVar` instance for `IOSim`.
+- Added NFData & NoThunks instances for `ThreadId`
 
 ## 1.1.0.0
 

io-sim/io-sim.cabal

@@ -78,6 +78,7 @@ library
                        io-classes       ^>=1.1,
                        exceptions        >=0.10,
                        containers,
+                       deepseq,
                        nothunks,
                        parallel,
                        psqueues          >=0.2 && <0.3,

io-sim/src/Control/Monad/IOSim/CommonTypes.hs

@@ -1,3 +1,6 @@
+{-# LANGUAGE DeriveAnyClass             #-}
+{-# LANGUAGE DeriveGeneric              #-}
+{-# LANGUAGE DerivingStrategies         #-}
 {-# LANGUAGE GADTs                      #-}
 {-# LANGUAGE GeneralizedNewtypeDeriving #-}
 {-# LANGUAGE ScopedTypeVariables        #-}
@@ -6,12 +9,16 @@
 --
 module Control.Monad.IOSim.CommonTypes where
 
+import           Control.DeepSeq (NFData (..))
 import           Control.Monad.Class.MonadSTM (TraceValue)
 import           Control.Monad.ST.Lazy
 
+import           NoThunks.Class
+
 import           Data.Map (Map)
 import           Data.STRef.Lazy
 import           Data.Set (Set)
+import           GHC.Generics
 
 
 -- | A thread id.
@@ -23,7 +30,10 @@ import           Data.Set (Set)
 --
 data ThreadId = RacyThreadId [Int]
               | ThreadId     [Int]    -- non racy threads have higher priority
-  deriving (Eq, Ord, Show)
+  deriving stock    (Eq, Ord, Show, Generic)
+  deriving anyclass NFData
+  deriving anyclass NoThunks
+
 
 childThreadId :: ThreadId -> Int -> ThreadId
 childThreadId (RacyThreadId is) i = RacyThreadId (is ++ [i])