stm-lifted 0.1.1.0 → 2.5.0.0

raw patch · 7 files changed

+51/−20 lines, 7 filesdep ~stmPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: stm

API changes (from Hackage documentation)

Files

• README.md +4/−1
• src/Control/Concurrent/STM/Lifted.hs +15/−7
• src/Control/Concurrent/STM/TBQueue/Lifted.hs +10/−2
• src/Control/Concurrent/STM/TQueue/Lifted.hs +4/−0
• src/Control/Concurrent/STM/TSem/Lifted.hs +5/−1
• src/Control/Concurrent/STM/TVar/Lifted.hs +4/−0
• stm-lifted.cabal +9/−9

@@ -1,4 +1,4 @@-[![Build status][linux-build-icon]][linux-build]+[![Build status][linux-build-icon]][linux-build]  [![Hackage][hackage-version-icon]][hackage-link] # STM Generalized with MonadIO  This package contains generalization of [STM] with [MonadIO].@@ -8,4 +8,7 @@  [STM]: http://hackage.haskell.org/package/stm [MonadIO]: http://hackage.haskell.org/package/transformers-0.3.0.0/docs/Control-Monad-IO-Class.html++[hackage-version-icon]: https://img.shields.io/hackage/v/stm-lifted.svg+[hackage-link]: https://hackage.haskell.org/package/stm-lifted 

@@ -1,9 +1,17 @@-module Control.Concurrent.STM.Lifted (module All) where+module Control.Concurrent.STM.Lifted+    ( STM, atomically -import Control.Concurrent.STM.TVar.Lifted    as All-import Control.Concurrent.STM.TChan.Lifted   as All-import Control.Concurrent.STM.TMVar.Lifted   as All-import Control.Concurrent.STM.TQueue.Lifted  as All-import Control.Concurrent.STM.TBQueue.Lifted as All-import Internal                             as All (STM, atomically)+    , module Control.Concurrent.STM.TVar.Lifted+    , module Control.Concurrent.STM.TChan.Lifted+    , module Control.Concurrent.STM.TMVar.Lifted+    , module Control.Concurrent.STM.TQueue.Lifted+    , module Control.Concurrent.STM.TBQueue.Lifted+    ) where++import Control.Concurrent.STM.TVar.Lifted+import Control.Concurrent.STM.TChan.Lifted+import Control.Concurrent.STM.TMVar.Lifted+import Control.Concurrent.STM.TQueue.Lifted+import Control.Concurrent.STM.TBQueue.Lifted+import Internal (STM, atomically) 

@@ -3,22 +3,24 @@     , newTBQueueIO     , readTBQueueIO     , tryReadTBQueueIO+    , flushTBQueueIO     , peekTBQueueIO     , tryPeekTBQueueIO     , writeTBQueueIO     , unGetTBQueueIO+    , lengthTBQueueIO     , isEmptyTBQueueIO     , isFullTBQueueIO     ) where +import Numeric.Natural (Natural) import Control.Concurrent.STM.TBQueue as All hiding (newTBQueueIO) import qualified Control.Concurrent.STM.TBQueue as STM import Internal  ---------------------------------------------------------------------- --newTBQueueIO :: MonadIO m => Int -> m (TBQueue a)+newTBQueueIO :: MonadIO m => Natural -> m (TBQueue a) newTBQueueIO = liftIO . STM.newTBQueueIO  writeTBQueueIO :: MonadIO m => TBQueue a -> a -> m ()@@ -30,6 +32,9 @@ tryReadTBQueueIO :: MonadIO m => TBQueue a -> m (Maybe a) tryReadTBQueueIO = atomically . tryReadTBQueue +flushTBQueueIO :: MonadIO m => TBQueue a -> m [a]+flushTBQueueIO = atomically . flushTBQueue+ peekTBQueueIO :: MonadIO m => TBQueue a -> m a peekTBQueueIO = atomically . peekTBQueue @@ -38,6 +43,9 @@  unGetTBQueueIO :: MonadIO m => TBQueue a -> a -> m () unGetTBQueueIO = atomically .: unGetTBQueue++lengthTBQueueIO :: MonadIO m => TBQueue a -> m Natural+lengthTBQueueIO = atomically . lengthTBQueue  isEmptyTBQueueIO :: MonadIO m => TBQueue a -> m Bool isEmptyTBQueueIO = atomically . isEmptyTBQueue

@@ -3,6 +3,7 @@     , newTQueueIO     , readTQueueIO     , tryReadTQueueIO+    , flushTQueueIO     , peekTQueueIO     , tryPeekTQueueIO     , writeTQueueIO@@ -27,6 +28,9 @@  tryReadTQueueIO :: MonadIO m => TQueue a -> m (Maybe a) tryReadTQueueIO = atomically . tryReadTQueue++flushTQueueIO :: MonadIO m => TQueue a -> m [a]+flushTQueueIO = atomically . flushTQueue  peekTQueueIO :: MonadIO m => TQueue a -> m a peekTQueueIO = atomically . peekTQueue

@@ -3,14 +3,16 @@     , newTSemIO     , waitTSemIO     , signalTSemIO+    , signalTSemNIO     ) where +import Numeric.Natural (Natural) import Control.Concurrent.STM.TSem as All import Internal  ---------------------------------------------------------------------- -newTSemIO :: MonadIO m => Int -> m TSem+newTSemIO :: MonadIO m => Integer -> m TSem newTSemIO = atomically . newTSem  waitTSemIO :: MonadIO m => TSem -> m ()@@ -19,3 +21,5 @@ signalTSemIO :: MonadIO m => TSem -> m () signalTSemIO = atomically . signalTSem +signalTSemNIO :: MonadIO m => Natural -> TSem -> m ()+signalTSemNIO = atomically .: signalTSemN

@@ -5,6 +5,7 @@     , writeTVarIO     , modifyTVarIO     , modifyTVarIO'+    , stateTVarIO     , swapTVarIO     ) where @@ -31,6 +32,9 @@ -- | Strict version modifyTVarIO' :: MonadIO m => TVar a -> (a -> a) -> m () modifyTVarIO' = atomically .: modifyTVar'++stateTVarIO :: MonadIO m => TVar s -> (s -> (a, s)) -> m a+stateTVarIO = atomically .: stateTVar  swapTVarIO :: MonadIO m => TVar a -> a -> m a swapTVarIO = atomically .: swapTVar

@@ -1,15 +1,14 @@-name:		stm-lifted-version:        0.1.1.0-synopsis:	Software Transactional Memory lifted to MonadIO-license:	BSD3-license-file:	LICENSE+name:           stm-lifted+version:        2.5.0.0+synopsis:       Software Transactional Memory lifted to MonadIO+license:        BSD3+license-file:   LICENSE author:         Maksymilian Owsianny-maintainer:	Maksymilian.Owsianny@gmail.com+maintainer:     Maksymilian.Owsianny@gmail.com bug-reports:    https://github.com/MaxOw/stm-lifted/issues-Copyright:      (c) 2013 Maksymilian Owsianny+Copyright:      (c) 2013-2019 Maksymilian Owsianny category:       Concurrency, MonadIO build-type:     Simple-stability:      Experimental cabal-version:  >= 1.10  description:@@ -25,6 +24,7 @@ library   default-language: Haskell2010   hs-source-dirs: src+  ghc-options: -Wall   exposed-modules:       Control.Concurrent.STM.Lifted     , Control.Concurrent.STM.TVar.Lifted@@ -37,4 +37,4 @@   build-depends:       base          >= 4.5     && < 5     , transformers  >= 0.2     && < 0.6-    , stm           >= 2.4.4.1 && < 3+    , stm           >= 2.5     && < 2.6