MonadSTM: split into submodules

Follow a similar module structure as the "stm" package.

Author: coot

io-classes/io-classes.cabal

@@ -37,6 +37,15 @@ library
                        Control.Monad.Class.MonadSay
                        Control.Monad.Class.MonadST
                        Control.Monad.Class.MonadSTM
+                       Control.Concurrent.Class.MonadSTM
+                       Control.Concurrent.Class.MonadSTM.TArray
+                       Control.Concurrent.Class.MonadSTM.TBQueue
+                       Control.Concurrent.Class.MonadSTM.TChan
+                       Control.Concurrent.Class.MonadSTM.TMVar
+                       Control.Concurrent.Class.MonadSTM.TQueue
+                       Control.Concurrent.Class.MonadSTM.TSem
+                       Control.Concurrent.Class.MonadSTM.TVar
+                       Control.Monad.Class.MonadSTM.Internal
                        Control.Monad.Class.MonadThrow
                        Control.Monad.Class.MonadTime
                        Control.Monad.Class.MonadTimer

io-classes/src/Control/Concurrent/Class/MonadSTM.hs

@@ -0,0 +1,14 @@
+-- | This module corresponds to `Control.Concurrent.STM` in "stm" package
+--
+module Control.Concurrent.Class.MonadSTM
+  (module STM)
+  where
+
+import           Control.Monad.Class.MonadSTM              as STM
+import           Control.Concurrent.Class.MonadSTM.TVar    as STM
+import           Control.Concurrent.Class.MonadSTM.TMVar   as STM
+import           Control.Concurrent.Class.MonadSTM.TChan   as STM
+import           Control.Concurrent.Class.MonadSTM.TQueue  as STM
+import           Control.Concurrent.Class.MonadSTM.TBQueue as STM
+import           Control.Concurrent.Class.MonadSTM.TArray  as STM
+

io-classes/src/Control/Concurrent/Class/MonadSTM/TArray.hs

@@ -0,0 +1,7 @@
+{-# LANGUAGE ExplicitNamespaces #-}
+
+-- | This module corresponds to `Control.Concurrent.STM.TArray` in "stm" package
+--
+module Control.Concurrent.Class.MonadSTM.TArray (type TArray) where
+
+import           Control.Monad.Class.MonadSTM.Internal

io-classes/src/Control/Concurrent/Class/MonadSTM/TBQueue.hs

@@ -0,0 +1,28 @@
+{-# LANGUAGE ExplicitNamespaces #-}
+
+-- | This module corresponds to `Control.Concurrent.STM.TVar` in "stm" package
+--
+module Control.Concurrent.Class.MonadSTM.TBQueue
+  ( -- * MonadSTM
+    type TBQueue
+  , newTBQueue
+  , newTBQueueIO
+  , readTBQueue
+  , tryReadTBQueue
+  , peekTBQueue
+  , tryPeekTBQueue
+  , flushTBQueue
+  , writeTBQueue
+  , lengthTBQueue
+  , isEmptyTBQueue
+  , isFullTBQueue
+  , unGetTBQueue
+    -- * MonadLabelledSTM
+  , labelTBQueue
+  , labelTBQueueIO
+    -- * MonadTraceSTM
+  , traceTBQueue
+  , traceTBQueueIO
+  ) where
+
+import           Control.Monad.Class.MonadSTM.Internal

io-classes/src/Control/Concurrent/Class/MonadSTM/TChan.hs

@@ -0,0 +1,26 @@
+{-# LANGUAGE ExplicitNamespaces #-}
+
+-- | This module corresponds to `Control.Concurrent.STM.TChan` in "stm" package
+--
+module Control.Concurrent.Class.MonadSTM.TChan
+  ( -- * MonadSTM
+    -- ** TChans
+    type TChan
+    -- * Construction
+  , newTChan
+  , newBroadcastTChan
+  , newTChanIO
+  , newBroadcastTChanIO
+  , dupTChan
+  , cloneTChan
+    -- ** Reading and writing
+  , readTChan
+  , tryReadTChan
+  , peekTChan
+  , tryPeekTChan
+  , writeTChan
+  , unGetTChan
+  , isEmptyTChan
+  ) where
+
+import           Control.Monad.Class.MonadSTM.Internal

io-classes/src/Control/Concurrent/Class/MonadSTM/TMVar.hs

@@ -0,0 +1,26 @@
+{-# LANGUAGE ExplicitNamespaces #-}
+
+-- | This module corresponds to `Control.Concurrent.STM.TMVar` in "stm" package
+--
+module Control.Concurrent.Class.MonadSTM.TMVar
+  ( -- * MonadSTM
+    type TMVar
+  , newTMVar
+  , newEmptyTMVar
+  , takeTMVar
+  , tryTakeTMVar
+  , putTMVar
+  , tryPutTMVar
+  , readTMVar
+  , tryReadTMVar
+  , swapTMVar
+  , isEmptyTMVar
+    -- * MonadLabelledSTM
+  , labelTMVar
+  , labelTMVarIO
+    -- * MonadTraceSTM
+  , traceTMVar
+  , traceTMVarIO
+  ) where
+
+import           Control.Monad.Class.MonadSTM.Internal

io-classes/src/Control/Concurrent/Class/MonadSTM/TQueue.hs

@@ -0,0 +1,25 @@
+{-# LANGUAGE ExplicitNamespaces #-}
+
+-- | This module corresponds to `Control.Concurrnet.STM.TVar` in "stm" package
+--
+module Control.Concurrent.Class.MonadSTM.TQueue
+  ( -- * MonadSTM
+    type TQueue
+  , newTQueue
+  , newTQueueIO
+  , readTQueue
+  , tryReadTQueue
+  , peekTQueue
+  , tryPeekTQueue
+  , writeTQueue
+  , unGetTQueue
+  , isEmptyTQueue
+    -- * MonadLabelledSTM
+  , labelTQueue
+  , labelTQueueIO
+    -- * MonadTraceSTM
+  , traceTQueue
+  , traceTQueueIO
+  ) where
+
+import           Control.Monad.Class.MonadSTM.Internal

io-classes/src/Control/Concurrent/Class/MonadSTM/TSem.hs

@@ -0,0 +1,20 @@
+{-# LANGUAGE ExplicitNamespaces #-}
+
+-- | This module corresponds to `Control.Concurrent.STM.TSem` in "stm" package
+--
+module Control.Concurrent.Class.MonadSTM.TSem
+  ( -- * MonadSTM
+    type TSem
+  , newTSem
+  , waitTSem
+  , signalTSem
+  , signalTSemN
+    -- * MonadLabelledSTM
+  , labelTSem
+  , labelTSemIO
+    -- * MonadTraceSTM
+  , traceTSem
+  , traceTSemIO
+  ) where
+
+import           Control.Monad.Class.MonadSTM.Internal

io-classes/src/Control/Concurrent/Class/MonadSTM/TVar.hs

@@ -0,0 +1,26 @@
+{-# LANGUAGE ExplicitNamespaces #-}
+
+-- | This module corresponds to `Control.Concurrent.STM.TVar` in "stm" package
+--
+module Control.Concurrent.Class.MonadSTM.TVar
+  ( -- * MonadSTM
+    type TVar
+  , newTVar
+  , newTVarIO
+  , readTVar
+  , readTVarIO
+  , writeTVar
+  , modifyTVar
+  , modifyTVar'
+  , stateTVar
+  , swapTVar
+  , check
+    -- * MonadLabelSTM
+  , labelTVar
+  , labelTVarIO
+    -- * MonadTraceSTM
+  , traceTVar
+  , traceTVarIO
+  ) where
+
+import           Control.Monad.Class.MonadSTM.Internal

io-classes/src/Control/Monad/Class/MonadMVar.hs

@@ -16,6 +16,7 @@ module Control.Monad.Class.MonadMVar
   , isEmptyMVarDefault
   ) where
 
+import           Control.Concurrent.Class.MonadSTM.TVar
 import qualified Control.Concurrent.MVar as IO
 import           Control.Exception (SomeAsyncException (..))
 import           Control.Monad.Class.MonadSTM