lens-action 0.2.0.1 → 0.2.0.2
raw patch · 3 files changed
+9/−4 lines, 3 filesdep ~comonaddep ~contravariantdep ~transformersPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: comonad, contravariant, transformers
API changes (from Hackage documentation)
- Control.Lens.Action.Internal: getEffect :: Effect m r a -> m r
- Control.Lens.Action.Internal: instance (Apply m, Semigroup r) => Apply (Effect m r)
- Control.Lens.Action.Internal: instance (Apply m, Semigroup r) => Semigroup (Effect m r a)
- Control.Lens.Action.Internal: instance (Monad m, Monoid r) => Applicative (Effect m r)
- Control.Lens.Action.Internal: instance (Monad m, Monoid r) => Monoid (Effect m r a)
- Control.Lens.Action.Internal: instance Contravariant (Effect m r)
- Control.Lens.Action.Internal: instance Effective Identity r (Const r)
- Control.Lens.Action.Internal: instance Effective m r f => Effective m (Dual r) (Backwards f)
- Control.Lens.Action.Internal: instance Effective m r f => Effective m r (AlongsideLeft f b)
- Control.Lens.Action.Internal: instance Effective m r f => Effective m r (AlongsideRight f b)
- Control.Lens.Action.Internal: instance Functor (Effect m r)
- Control.Lens.Action.Internal: instance Monad m => Effective m r (Effect m r)
- Control.Lens.Action.Reified: instance Alt (ReifiedMonadicFold m s)
- Control.Lens.Action.Reified: instance Alternative (ReifiedMonadicFold m s)
- Control.Lens.Action.Reified: instance Applicative (ReifiedMonadicFold m s)
- Control.Lens.Action.Reified: instance Apply (ReifiedMonadicFold m s)
- Control.Lens.Action.Reified: instance Arrow (ReifiedMonadicFold m)
- Control.Lens.Action.Reified: instance ArrowApply (ReifiedMonadicFold m)
- Control.Lens.Action.Reified: instance ArrowChoice (ReifiedMonadicFold m)
- Control.Lens.Action.Reified: instance Bind (ReifiedMonadicFold m s)
- Control.Lens.Action.Reified: instance Category (ReifiedMonadicFold m)
- Control.Lens.Action.Reified: instance Choice (ReifiedMonadicFold m)
- Control.Lens.Action.Reified: instance Functor (ReifiedMonadicFold m s)
- Control.Lens.Action.Reified: instance Monad (ReifiedMonadicFold m s)
- Control.Lens.Action.Reified: instance MonadPlus (ReifiedMonadicFold m s)
- Control.Lens.Action.Reified: instance MonadReader s (ReifiedMonadicFold m s)
- Control.Lens.Action.Reified: instance Monoid (ReifiedMonadicFold m s a)
- Control.Lens.Action.Reified: instance Plus (ReifiedMonadicFold m s)
- Control.Lens.Action.Reified: instance Profunctor (ReifiedMonadicFold m)
- Control.Lens.Action.Reified: instance Semigroup (ReifiedMonadicFold m s a)
- Control.Lens.Action.Reified: instance Strong (ReifiedMonadicFold m)
- Control.Lens.Action.Reified: runMonadicFold :: ReifiedMonadicFold m s a -> MonadicFold m s a
+ Control.Lens.Action.Internal: [getEffect] :: Effect m r a -> m r
+ Control.Lens.Action.Internal: instance (Data.Functor.Bind.Class.Apply m, Data.Semigroup.Semigroup r) => Data.Functor.Bind.Class.Apply (Control.Lens.Action.Internal.Effect m r)
+ Control.Lens.Action.Internal: instance (Data.Functor.Bind.Class.Apply m, Data.Semigroup.Semigroup r) => Data.Semigroup.Semigroup (Control.Lens.Action.Internal.Effect m r a)
+ Control.Lens.Action.Internal: instance (GHC.Base.Monad m, GHC.Base.Monoid r) => GHC.Base.Applicative (Control.Lens.Action.Internal.Effect m r)
+ Control.Lens.Action.Internal: instance (GHC.Base.Monad m, GHC.Base.Monoid r) => GHC.Base.Monoid (Control.Lens.Action.Internal.Effect m r a)
+ Control.Lens.Action.Internal: instance Control.Lens.Action.Internal.Effective Data.Functor.Identity.Identity r (Control.Applicative.Const r)
+ Control.Lens.Action.Internal: instance Control.Lens.Action.Internal.Effective m r f => Control.Lens.Action.Internal.Effective m (Data.Monoid.Dual r) (Control.Applicative.Backwards.Backwards f)
+ Control.Lens.Action.Internal: instance Control.Lens.Action.Internal.Effective m r f => Control.Lens.Action.Internal.Effective m r (Control.Lens.Internal.Getter.AlongsideLeft f b)
+ Control.Lens.Action.Internal: instance Control.Lens.Action.Internal.Effective m r f => Control.Lens.Action.Internal.Effective m r (Control.Lens.Internal.Getter.AlongsideRight f b)
+ Control.Lens.Action.Internal: instance Data.Functor.Contravariant.Contravariant (Control.Lens.Action.Internal.Effect m r)
+ Control.Lens.Action.Internal: instance GHC.Base.Functor (Control.Lens.Action.Internal.Effect m r)
+ Control.Lens.Action.Internal: instance GHC.Base.Monad m => Control.Lens.Action.Internal.Effective m r (Control.Lens.Action.Internal.Effect m r)
+ Control.Lens.Action.Reified: [runMonadicFold] :: ReifiedMonadicFold m s a -> MonadicFold m s a
+ Control.Lens.Action.Reified: instance Control.Arrow.Arrow (Control.Lens.Action.Reified.ReifiedMonadicFold m)
+ Control.Lens.Action.Reified: instance Control.Arrow.ArrowApply (Control.Lens.Action.Reified.ReifiedMonadicFold m)
+ Control.Lens.Action.Reified: instance Control.Arrow.ArrowChoice (Control.Lens.Action.Reified.ReifiedMonadicFold m)
+ Control.Lens.Action.Reified: instance Control.Category.Category (Control.Lens.Action.Reified.ReifiedMonadicFold m)
+ Control.Lens.Action.Reified: instance Control.Monad.Reader.Class.MonadReader s (Control.Lens.Action.Reified.ReifiedMonadicFold m s)
+ Control.Lens.Action.Reified: instance Data.Functor.Alt.Alt (Control.Lens.Action.Reified.ReifiedMonadicFold m s)
+ Control.Lens.Action.Reified: instance Data.Functor.Bind.Class.Apply (Control.Lens.Action.Reified.ReifiedMonadicFold m s)
+ Control.Lens.Action.Reified: instance Data.Functor.Bind.Class.Bind (Control.Lens.Action.Reified.ReifiedMonadicFold m s)
+ Control.Lens.Action.Reified: instance Data.Functor.Plus.Plus (Control.Lens.Action.Reified.ReifiedMonadicFold m s)
+ Control.Lens.Action.Reified: instance Data.Profunctor.Choice (Control.Lens.Action.Reified.ReifiedMonadicFold m)
+ Control.Lens.Action.Reified: instance Data.Profunctor.Strong (Control.Lens.Action.Reified.ReifiedMonadicFold m)
+ Control.Lens.Action.Reified: instance Data.Profunctor.Unsafe.Profunctor (Control.Lens.Action.Reified.ReifiedMonadicFold m)
+ Control.Lens.Action.Reified: instance Data.Semigroup.Semigroup (Control.Lens.Action.Reified.ReifiedMonadicFold m s a)
+ Control.Lens.Action.Reified: instance GHC.Base.Alternative (Control.Lens.Action.Reified.ReifiedMonadicFold m s)
+ Control.Lens.Action.Reified: instance GHC.Base.Applicative (Control.Lens.Action.Reified.ReifiedMonadicFold m s)
+ Control.Lens.Action.Reified: instance GHC.Base.Functor (Control.Lens.Action.Reified.ReifiedMonadicFold m s)
+ Control.Lens.Action.Reified: instance GHC.Base.Monad (Control.Lens.Action.Reified.ReifiedMonadicFold m s)
+ Control.Lens.Action.Reified: instance GHC.Base.MonadPlus (Control.Lens.Action.Reified.ReifiedMonadicFold m s)
+ Control.Lens.Action.Reified: instance GHC.Base.Monoid (Control.Lens.Action.Reified.ReifiedMonadicFold m s a)
Files
- CHANGELOG.markdown +4/−0
- lens-action.cabal +2/−2
- src/Control/Lens/Action/Reified.hs +3/−2
CHANGELOG.markdown view
@@ -1,3 +1,7 @@+0.2.0.2+---+* Migrate to new `phantom` definition in `contravariant`+ 0.2.0.1 --- * Add `Control.Lens.Action.Type` to exposed-modules list.
lens-action.cabal view
@@ -1,6 +1,6 @@ name: lens-action category: Data, Lenses, Generics-version: 0.2.0.1+version: 0.2.0.2 license: BSD3 cabal-version: >= 1.8 license-file: LICENSE@@ -38,7 +38,7 @@ lens >= 4.7 && < 5, base >= 4.5 && < 5, comonad >= 4 && < 5,- contravariant >= 0.3 && < 2,+ contravariant >= 1.2.1 && < 2, profunctors >= 4 && < 6, mtl >= 2.0.1 && < 2.3, semigroups >= 0.8.4 && < 1,
src/Control/Lens/Action/Reified.hs view
@@ -23,6 +23,7 @@ import Control.Lens hiding ((<.>)) import Control.Monad import Control.Monad.Reader.Class+import Data.Functor.Contravariant import Data.Functor.Bind import Data.Functor.Plus import Data.Profunctor@@ -48,10 +49,10 @@ instance Strong (ReifiedMonadicFold m) where first' l = MonadicFold $ \f (s,c) ->- coerce $ runMonadicFold l (dimap (flip (,) c) coerce f) s+ phantom $ runMonadicFold l (dimap (flip (,) c) phantom f) s {-# INLINE first' #-} second' l = MonadicFold $ \f (c,s) ->- coerce $ runMonadicFold l (dimap ((,) c) coerce f) s+ phantom $ runMonadicFold l (dimap ((,) c) phantom f) s {-# INLINE second' #-} instance Choice (ReifiedMonadicFold m) where