STMonadTrans 0.4.8 → 0.4.8.1
raw patch · 2 files changed
+13/−6 lines, 2 filesdep ~transformersPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: transformers
API changes (from Hackage documentation)
- Control.Monad.ST.Trans: data STT s m a
+ Control.Monad.ST.Trans: data STT s (m :: Type -> Type) a
- Control.Monad.ST.Trans: freezeSTArray :: Applicative m => STArray s i e -> STT s m (Array i e)
+ Control.Monad.ST.Trans: freezeSTArray :: forall (m :: Type -> Type) s i e. Applicative m => STArray s i e -> STT s m (Array i e)
- Control.Monad.ST.Trans: newSTArray :: (Ix i, Applicative m) => (i, i) -> e -> STT s m (STArray s i e)
+ Control.Monad.ST.Trans: newSTArray :: forall i (m :: Type -> Type) e s. (Ix i, Applicative m) => (i, i) -> e -> STT s m (STArray s i e)
- Control.Monad.ST.Trans: newSTRef :: Applicative m => a -> STT s m (STRef s a)
+ Control.Monad.ST.Trans: newSTRef :: forall (m :: Type -> Type) a s. Applicative m => a -> STT s m (STRef s a)
- Control.Monad.ST.Trans: readSTArray :: (Ix i, Applicative m) => STArray s i e -> i -> STT s m e
+ Control.Monad.ST.Trans: readSTArray :: forall i (m :: Type -> Type) s e. (Ix i, Applicative m) => STArray s i e -> i -> STT s m e
- Control.Monad.ST.Trans: readSTRef :: Applicative m => STRef s a -> STT s m a
+ Control.Monad.ST.Trans: readSTRef :: forall (m :: Type -> Type) s a. Applicative m => STRef s a -> STT s m a
- Control.Monad.ST.Trans: runST :: Monad m => (forall s. STT s m a) -> m a
+ Control.Monad.ST.Trans: runST :: Monad m => (forall s. () => STT s m a) -> m a
- Control.Monad.ST.Trans: runSTArray :: Monad m => (forall s. STT s m (STArray s i e)) -> m (Array i e)
+ Control.Monad.ST.Trans: runSTArray :: Monad m => (forall s. () => STT s m (STArray s i e)) -> m (Array i e)
- Control.Monad.ST.Trans: runSTT :: Monad m => (forall s. STT s m a) -> m a
+ Control.Monad.ST.Trans: runSTT :: Monad m => (forall s. () => STT s m a) -> m a
- Control.Monad.ST.Trans: thawSTArray :: Applicative m => Array i e -> STT s m (STArray s i e)
+ Control.Monad.ST.Trans: thawSTArray :: forall (m :: Type -> Type) i e s. Applicative m => Array i e -> STT s m (STArray s i e)
- Control.Monad.ST.Trans: unsafeFreezeSTArray :: Applicative m => STArray s i e -> STT s m (Array i e)
+ Control.Monad.ST.Trans: unsafeFreezeSTArray :: forall (m :: Type -> Type) s i e. Applicative m => STArray s i e -> STT s m (Array i e)
- Control.Monad.ST.Trans: unsafeIOToSTT :: (Monad m, Functor m) => IO a -> STT s m a
+ Control.Monad.ST.Trans: unsafeIOToSTT :: forall (m :: Type -> Type) a s. (Monad m, Functor m) => IO a -> STT s m a
- Control.Monad.ST.Trans: unsafeReadSTArray :: Applicative m => STArray s i e -> Int -> STT s m e
+ Control.Monad.ST.Trans: unsafeReadSTArray :: forall (m :: Type -> Type) s i e. Applicative m => STArray s i e -> Int -> STT s m e
- Control.Monad.ST.Trans: unsafeThawSTArray :: Applicative m => Array i e -> STT s m (STArray s i e)
+ Control.Monad.ST.Trans: unsafeThawSTArray :: forall (m :: Type -> Type) i e s. Applicative m => Array i e -> STT s m (STArray s i e)
- Control.Monad.ST.Trans: unsafeWriteSTArray :: Applicative m => STArray s i e -> Int -> e -> STT s m ()
+ Control.Monad.ST.Trans: unsafeWriteSTArray :: forall (m :: Type -> Type) s i e. Applicative m => STArray s i e -> Int -> e -> STT s m ()
- Control.Monad.ST.Trans: writeSTArray :: (Ix i, Applicative m) => STArray s i e -> i -> e -> STT s m ()
+ Control.Monad.ST.Trans: writeSTArray :: forall i (m :: Type -> Type) s e. (Ix i, Applicative m) => STArray s i e -> i -> e -> STT s m ()
- Control.Monad.ST.Trans: writeSTRef :: Applicative m => STRef s a -> a -> STT s m ()
+ Control.Monad.ST.Trans: writeSTRef :: forall (m :: Type -> Type) s a. Applicative m => STRef s a -> a -> STT s m ()
- Control.Monad.ST.Trans.Internal: STT :: (State# s -> m (STTRet s a)) -> STT s m a
+ Control.Monad.ST.Trans.Internal: STT :: (State# s -> m (STTRet s a)) -> STT s (m :: Type -> Type) a
- Control.Monad.ST.Trans.Internal: liftST :: Applicative m => ST s a -> STT s m a
+ Control.Monad.ST.Trans.Internal: liftST :: forall (m :: Type -> Type) s a. Applicative m => ST s a -> STT s m a
- Control.Monad.ST.Trans.Internal: newtype STT s m a
+ Control.Monad.ST.Trans.Internal: newtype STT s (m :: Type -> Type) a
Files
- STMonadTrans.cabal +7/−5
- changelog.md +6/−1
STMonadTrans.cabal view
@@ -1,6 +1,6 @@ cabal-version: 1.18 name: STMonadTrans-version: 0.4.8+version: 0.4.8.1 license: BSD3 license-file: LICENSE author: Josef Svenningsson@@ -21,8 +21,11 @@ Maybe and combinations of their corresponding monad transformers. Tested-With:- GHC == 9.8.1- GHC == 9.6.3+ GHC == 9.14.1+ GHC == 9.12.2+ GHC == 9.10.2+ GHC == 9.8.4+ GHC == 9.6.7 GHC == 9.4.8 GHC == 9.2.8 GHC == 9.0.2@@ -45,7 +48,6 @@ default-language: Haskell2010 build-depends: base >= 4.9 && < 5- , transformers >= 0.2.0.0 && < 0.7 , mtl >= 1.1 , array @@ -79,5 +81,5 @@ , base , transformers , tasty >= 0.11.0.4 && < 1.6- , tasty-quickcheck >= 0.8.4 && < 0.11+ , tasty-quickcheck >= 0.8.4 && < 1 , tasty-hunit >= 0.9.2 && < 0.11
changelog.md view
@@ -1,4 +1,9 @@-0.4.8 -- 2023-01-04+0.4.8.1 -- 2025-08-26++ * Remove `transformers` as direct dependency (fixing `-Werror=unused-packages`).+ * Tested with GHC 8.0.2 - 9.14 alpha1.++0.4.8 -- 2024-01-04 * Added `Alternative` instance for `STT`, by William Rusnack (PR [#33](https://github.com/josefs/STMonadTrans/pull/33)).