transformers 0.6.0.2 → 0.6.0.3

raw patch · 3 files changed

+11/−7 lines, 3 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• Control/Monad/Trans/Class.hs +7/−6
• changelog +3/−0
• transformers.cabal +1/−1

@@ -5,7 +5,7 @@ #if __GLASGOW_HASKELL__ >= 710 && __GLASGOW_HASKELL__ < 802 {-# LANGUAGE AutoDeriveTypeable #-} #endif-#if __GLASGOW_HASKELL__ >= 806+#if __GLASGOW_HASKELL__ >= 808 {-# LANGUAGE QuantifiedConstraints #-} #endif -----------------------------------------------------------------------------@@ -58,13 +58,14 @@ -- -- * @'lift' (m >>= f) = 'lift' m >>= ('lift' . f)@ ----- Since 0.6.0.0, the requirement that @t m@ be a 'Monad' is enforced--- by the implication constraint @forall m. 'Monad' m => 'Monad' (t m)@--- enabled by the @QuantifiedConstraints@ extension (present in GHC 8.6--- and later).-#if __GLASGOW_HASKELL__ >= 806+-- Since 0.6.0.0 and for GHC 8.8 and later, the requirement that @t m@+-- be a 'Monad' is enforced by the implication constraint+-- @forall m. 'Monad' m => 'Monad' (t m)@ enabled by the+-- @QuantifiedConstraints@ extension.+#if __GLASGOW_HASKELL__ >= 808 class (forall m. Monad m => Monad (t m)) => MonadTrans t where #else+-- prior to GHC 8.8 (base-4.13), the Monad class included fail class MonadTrans t where #endif     -- | Lift a computation from the argument monad to the constructed monad.

@@ -1,5 +1,8 @@ -*-change-log-*- +0.6.0.3 Ross Paterson <R.Paterson@city.ac.uk> Feb 2022+	* Restrict MonadTrans constraint to GHC >= 8.8+ 0.6.0.2 Ross Paterson <R.Paterson@city.ac.uk> Jul 2021 	* Further backward compatability fix 

@@ -1,5 +1,5 @@ name:         transformers-version:      0.6.0.2+version:      0.6.0.3 license:      BSD3 license-file: LICENSE author:       Andy Gill, Ross Paterson