lens-action 0.2.3 → 0.2.4

raw patch · 3 files changed

+17/−7 lines, 3 files

Files

CHANGELOG.markdown +8/−0
lens-action.cabal +4/−4
src/Control/Lens/Action/Reified.hs +5/−3

CHANGELOG.markdown view

@@ -1,3 +1,11 @@+0.2.4 [2019.09.13]+------------------+* Remove the use of `cpp-options: -traditional`. This should be unnecessary+  on all versions of GHC that `lens` supports, as modern GHCs already use+  `-traditional` internally during preprocessing. More critically, the use+  of `cpp-options: -traditional` breaks profiling builds on GHC 8.8+  (see https://gitlab.haskell.org/ghc/ghc/issues/17185).+ 0.2.3 [2018.01.18] ------------------ * Add an `Apply` context to the `Monoid` instance for `Effect`, allowing

lens-action.cabal view

@@ -1,6 +1,6 @@ name:          lens-action category:      Data, Lenses, Generics-version:       0.2.3+version:       0.2.4 license:       BSD3 cabal-version: >= 1.8 license-file:  LICENSE@@ -18,7 +18,9 @@              , GHC == 7.10.3              , GHC == 8.0.2              , GHC == 8.2.2-             , GHC == 8.4.1+             , GHC == 8.4.4+             , GHC == 8.6.5+             , GHC == 8.8.1 synopsis:      Monadic Getters and Folds description:   This package contains combinators and types for working with@@ -64,8 +66,6 @@     Control.Lens.Action.Internal     Control.Lens.Action.Reified     Control.Lens.Action.Type--  cpp-options: -traditional    ghc-options: -Wall -fwarn-tabs -O2 -fdicts-cheap -funbox-strict-fields -fmax-simplifier-iterations=10   hs-source-dirs: src

src/Control/Lens/Action/Reified.hs view

@@ -27,7 +27,9 @@ import Data.Functor.Bind import Data.Functor.Plus import Data.Profunctor+#if !(MIN_VERSION_base(4,11,0)) import Data.Semigroup+#endif  import Control.Lens.Action @@ -108,19 +110,19 @@   {-# INLINE (<|>) #-}  instance Bind (ReifiedMonadicFold m s) where-  ma >>- f = ((ma >>^ f) &&& returnA) >>> app +  ma >>- f = ((ma >>^ f) &&& returnA) >>> app   {-# INLINE (>>-) #-}  instance Monad (ReifiedMonadicFold m s) where   return a = MonadicFold $ folding $ \_ -> [a]   {-# INLINE return #-}-  ma >>= f = ((ma >>^ f) &&& returnA) >>> app +  ma >>= f = ((ma >>^ f) &&& returnA) >>> app   {-# INLINE (>>=) #-}  instance MonadReader s (ReifiedMonadicFold m s) where   ask = returnA   {-# INLINE ask #-}-  local f ma = f ^>> ma +  local f ma = f ^>> ma   {-# INLINE local #-}  instance MonadPlus (ReifiedMonadicFold m s) where