lens-family 1.2.2 → 1.2.3
raw patch · 2 files changed
+12/−3 lines, 2 filesdep ~containersPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: containers
API changes (from Hackage documentation)
- Lens.Family2: data Backwards k (f :: k -> *) (a :: k) :: forall k. (k -> *) -> k -> *
- Lens.Family2: data Constant k a (b :: k) :: forall k. * -> k -> *
- Lens.Family2.State.Lazy: data Constant k a (b :: k) :: forall k. * -> k -> *
- Lens.Family2.State.Strict: data Constant k a (b :: k) :: forall k. * -> k -> *
+ Lens.Family2: data Constant a (b :: k) :: forall k. () => * -> k -> *
+ Lens.Family2: data Backwards (f :: k -> *) (a :: k) :: forall k. () => k -> * -> k -> *
+ Lens.Family2.State.Lazy: data Constant a (b :: k) :: forall k. () => * -> k -> *
+ Lens.Family2.State.Strict: data Constant a (b :: k) :: forall k. () => * -> k -> *
- Lens.Family2: (&) :: a -> (a -> b) -> b
+ Lens.Family2: (&) :: () => a -> a -> b -> b
- Lens.Family2: (^.) :: a -> FoldLike b a a' b b' -> b
+ Lens.Family2: (^.) :: () => a -> FoldLike b a a' b b' -> b
- Lens.Family2: backwards :: LensLike (Backwards * f) a a' b b' -> LensLike f a a' b b'
+ Lens.Family2: backwards :: () => LensLike Backwards f a a' b b' -> LensLike f a a' b b'
- Lens.Family2: class Monoid a
+ Lens.Family2: class Semigroup a => Monoid a
- Lens.Family2: type FoldLike r a a' b b' = LensLike (Constant * r) a a' b b'
+ Lens.Family2: type FoldLike r a a' b b' = LensLike (Constant r :: * -> *) a a' b b'
- Lens.Family2: type FoldLike' r a b = LensLike' (Constant * r) a b
+ Lens.Family2: type FoldLike' r a b = LensLike' (Constant r :: * -> *) a b
- Lens.Family2: type LensLike (f :: * -> *) a a' b b' = (b -> f b') -> a -> f a'
+ Lens.Family2: type LensLike (f :: * -> *) a a' b b' = b -> f b' -> a -> f a'
- Lens.Family2: type LensLike' (f :: * -> *) a b = (b -> f b) -> a -> f a
+ Lens.Family2: type LensLike' (f :: * -> *) a b = b -> f b -> a -> f a
- Lens.Family2: view :: FoldLike b a a' b b' -> a -> b
+ Lens.Family2: view :: () => FoldLike b a a' b b' -> a -> b
- Lens.Family2: views :: FoldLike r a a' b b' -> (b -> r) -> a -> r
+ Lens.Family2: views :: () => FoldLike r a a' b b' -> b -> r -> a -> r
- Lens.Family2.State.Lazy: class Monoid a
+ Lens.Family2.State.Lazy: class Semigroup a => Monoid a
- Lens.Family2.State.Lazy: data StateT s (m :: * -> *) a :: * -> (* -> *) -> * -> *
+ Lens.Family2.State.Lazy: data StateT s (m :: * -> *) a
- Lens.Family2.State.Lazy: data Zooming (m :: * -> *) c a :: (* -> *) -> * -> * -> *
+ Lens.Family2.State.Lazy: data Zooming (m :: * -> *) c a
- Lens.Family2.State.Lazy: type FoldLike r a a' b b' = LensLike (Constant * r) a a' b b'
+ Lens.Family2.State.Lazy: type FoldLike r a a' b b' = LensLike (Constant r :: * -> *) a a' b b'
- Lens.Family2.State.Lazy: zoom :: Monad m => LensLike' (Zooming m c) a b -> StateT b m c -> StateT a m c
+ Lens.Family2.State.Lazy: zoom :: Monad m => LensLike' Zooming m c a b -> StateT b m c -> StateT a m c
- Lens.Family2.State.Strict: class Monoid a
+ Lens.Family2.State.Strict: class Semigroup a => Monoid a
- Lens.Family2.State.Strict: data StateT s (m :: * -> *) a :: * -> (* -> *) -> * -> *
+ Lens.Family2.State.Strict: data StateT s (m :: * -> *) a
- Lens.Family2.State.Strict: data Zooming (m :: * -> *) c a :: (* -> *) -> * -> * -> *
+ Lens.Family2.State.Strict: data Zooming (m :: * -> *) c a
- Lens.Family2.State.Strict: type FoldLike r a a' b b' = LensLike (Constant * r) a a' b b'
+ Lens.Family2.State.Strict: type FoldLike r a a' b b' = LensLike (Constant r :: * -> *) a a' b b'
- Lens.Family2.State.Strict: zoom :: Monad m => LensLike' (Zooming m c) a b -> StateT b m c -> StateT a m c
+ Lens.Family2.State.Strict: zoom :: Monad m => LensLike' Zooming m c a b -> StateT b m c -> StateT a m c
- Lens.Family2.Stock: alongside :: Functor f => LensLike (AlongsideLeft f b2') a1 a1' b1 b1' -> LensLike (AlongsideRight f a1') a2 a2' b2 b2' -> LensLike f (a1, a2) (a1', a2') (b1, b2) (b1', b2')
+ Lens.Family2.Stock: alongside :: Functor f => LensLike AlongsideLeft f b2' a1 a1' b1 b1' -> LensLike AlongsideRight f a1' a2 a2' b2 b2' -> LensLike f (a1, a2) (a1', a2') (b1, b2) (b1', b2')
- Lens.Family2.Stock: choosing :: Functor f => LensLike f a a' c c' -> LensLike f b b' c c' -> LensLike f (Either a b) (Either a' b') c c'
+ Lens.Family2.Stock: choosing :: Functor f => LensLike f a a' c c' -> LensLike f b b' c c' -> LensLike f Either a b Either a' b' c c'
- Lens.Family2.Stock: data AlongsideLeft (f :: * -> *) b a :: (* -> *) -> * -> * -> *
+ Lens.Family2.Stock: data AlongsideLeft (f :: * -> *) b a
- Lens.Family2.Stock: data AlongsideRight (f :: * -> *) a b :: (* -> *) -> * -> * -> *
+ Lens.Family2.Stock: data AlongsideRight (f :: * -> *) a b
- Lens.Family2.Stock: type LensLike (f :: * -> *) a a' b b' = (b -> f b') -> a -> f a'
+ Lens.Family2.Stock: type LensLike (f :: * -> *) a a' b b' = b -> f b' -> a -> f a'
- Lens.Family2.Stock: type LensLike' (f :: * -> *) a b = (b -> f b) -> a -> f a
+ Lens.Family2.Stock: type LensLike' (f :: * -> *) a b = b -> f b -> a -> f a
- Lens.Family2.Unchecked: type LensLike (f :: * -> *) a a' b b' = (b -> f b') -> a -> f a'
+ Lens.Family2.Unchecked: type LensLike (f :: * -> *) a a' b b' = b -> f b' -> a -> f a'
- Lens.Family2.Unchecked: type LensLike' (f :: * -> *) a b = (b -> f b) -> a -> f a
+ Lens.Family2.Unchecked: type LensLike' (f :: * -> *) a b = b -> f b -> a -> f a
Files
- CHANGELOG +10/−0
- lens-family.cabal +2/−3
CHANGELOG view
@@ -1,3 +1,13 @@+1.2.3 (Changes from 1.2.2)+=========================+* Bump dependency on containers++1.2.2 (Changes from 1.2.1)+==========================+* Added strict versions of assignments to Lens.Family2.State modules.+* Added strict versions of at' and intAt'.+* Min dependencies raised to take advantage of adjustF from Data.Map.+ 1.2.1 (Changes from 1.2.0) ========================= * Bump dependency on transformers and mtl
lens-family.cabal view
@@ -1,6 +1,6 @@ name: lens-family category: Data, Lenses-version: 1.2.2+version: 1.2.3 license: BSD3 cabal-version: >= 1.6 license-file: LICENSE@@ -9,7 +9,6 @@ stability: experimental copyright: Copyright (C) 2012,2013,2014,2017 Russell O'Connor synopsis: Lens Families-description: Lens Families build-type: Simple extra-source-files: CHANGELOG description: This package provides first class functional references.@@ -33,7 +32,7 @@ extensions: Rank2Types build-depends: base >= 4.8 && < 5,- containers >= 0.5.8 && < 0.6,+ containers >= 0.5.8 && < 0.7, transformers >= 0.2.0 && < 0.6, mtl >= 2.1 && < 2.3, lens-family-core >= 1.2.2 && < 1.3