lens-action 0.2.5 → 0.2.6
raw patch · 5 files changed
+19/−21 lines, 5 filesdep −semigroupsdep ~basedep ~mtldep ~profunctorsPVP ok
version bump matches the API change (PVP)
Dependencies removed: semigroups
Dependency ranges changed: base, mtl, profunctors, semigroupoids, transformers
API changes (from Hackage documentation)
Files
- CHANGELOG.markdown +4/−0
- lens-action.cabal +9/−15
- src/Control/Lens/Action.hs +0/−6
- src/Control/Lens/Action/Internal.hs +2/−0
- src/Control/Lens/Action/Reified.hs +4/−0
CHANGELOG.markdown view
@@ -1,3 +1,7 @@+0.2.6 [2021.11.16]+------------------+* Drop support for pre-8.0 versions of GHC.+ 0.2.5 [2021.02.17] ------------------ * Allow building with `lens-5.*`.
lens-action.cabal view
@@ -1,6 +1,6 @@ name: lens-action category: Data, Lenses, Generics-version: 0.2.5+version: 0.2.6 license: BSD3 cabal-version: >= 1.10 license-file: LICENSE@@ -12,16 +12,14 @@ copyright: Copyright (C) 2012-2014 Edward A. Kmett build-type: Simple -- build-tools: cpphs-tested-with: GHC == 7.4.2- , GHC == 7.6.3- , GHC == 7.8.4- , GHC == 7.10.3- , GHC == 8.0.2+tested-with: GHC == 8.0.2 , GHC == 8.2.2 , GHC == 8.4.4 , GHC == 8.6.5- , GHC == 8.8.3- , GHC == 8.10.1+ , GHC == 8.8.4+ , GHC == 8.10.7+ , GHC == 9.0.1+ , GHC == 9.2.1 synopsis: Monadic Getters and Folds description: This package contains combinators and types for working with@@ -41,24 +39,20 @@ library build-depends: lens >= 4.7 && < 6,- base >= 4.5 && < 5,+ base >= 4.9 && < 5, comonad >= 4 && < 6, contravariant >= 1.2.1 && < 2,- profunctors >= 4 && < 6,+ profunctors >= 5 && < 6, mtl >= 2.0.1 && < 2.3, semigroupoids >= 4 && < 6, transformers >= 0.2 && < 0.6 - if impl(ghc < 8.0)- build-depends:- semigroups >= 0.8.4 && < 1- exposed-modules: Control.Lens.Action Control.Lens.Action.Internal Control.Lens.Action.Reified Control.Lens.Action.Type - ghc-options: -Wall -fwarn-tabs -O2 -fdicts-cheap -funbox-strict-fields -fmax-simplifier-iterations=10+ ghc-options: -Wall -Wtabs -O2 -fdicts-cheap -funbox-strict-fields -fmax-simplifier-iterations=10 hs-source-dirs: src default-language: Haskell2010
src/Control/Lens/Action.hs view
@@ -55,9 +55,7 @@ import Control.Monad.Trans.Class import Data.Profunctor import Data.Profunctor.Rep-#if MIN_VERSION_profunctors(5,0,0) import Data.Profunctor.Sieve-#endif import Data.Profunctor.Unsafe import Control.Lens.Action.Internal@@ -138,11 +136,7 @@ act :: Monad m => (s -> m a) -> IndexPreservingAction m s a act sma pafb = cotabulate $ \ws -> effective $ do a <- sma (extract ws)-#if MIN_VERSION_profunctors(5,0,0) ineffective (cosieve pafb (a <$ ws))-#else- ineffective (corep pafb (a <$ ws))-#endif {-# INLINE act #-} -- | A self-running 'Action', analogous to 'Control.Monad.join'.
src/Control/Lens/Action/Internal.hs view
@@ -100,8 +100,10 @@ instance (Apply m, Monad m, Monoid r) => Monoid (Effect m r a) where mempty = Effect (return mempty) {-# INLINE mempty #-}+#if !(MIN_VERSION_base(4,11,0)) Effect ma `mappend` Effect mb = Effect (liftM2 mappend ma mb) {-# INLINE mappend #-}+#endif instance (Apply m, Semigroup r) => Apply (Effect m r) where Effect ma <.> Effect mb = Effect (liftF2 (<>) ma mb)
src/Control/Lens/Action/Reified.hs view
@@ -114,8 +114,10 @@ {-# INLINE (>>-) #-} instance Monad (ReifiedMonadicFold m s) where+#if !(MIN_VERSION_base(4,11,0)) return a = MonadicFold $ folding $ \_ -> [a] {-# INLINE return #-}+#endif ma >>= f = ((ma >>^ f) &&& returnA) >>> app {-# INLINE (>>=) #-} @@ -138,8 +140,10 @@ instance Monoid (ReifiedMonadicFold m s a) where mempty = MonadicFold ignored {-# INLINE mempty #-}+#if !(MIN_VERSION_base(4,11,0)) mappend = (<|>) {-# INLINE mappend #-}+#endif instance Alt (ReifiedMonadicFold m s) where (<!>) = (<|>)