lens-family 2.1.2 → 2.1.3
raw patch · 4 files changed
+9/−5 lines, 4 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 Constant a (b :: k)
+ Lens.Family2: data () => Constant a (b :: k)
- Lens.Family2.State.Lazy: data Constant a (b :: k)
+ Lens.Family2.State.Lazy: data () => Constant a (b :: k)
- Lens.Family2.State.Lazy: data StateT s (m :: Type -> Type) a
+ Lens.Family2.State.Lazy: data () => StateT s (m :: Type -> Type) a
- Lens.Family2.State.Lazy: data Zooming (m :: Type -> Type) c a
+ Lens.Family2.State.Lazy: data () => Zooming (m :: Type -> Type) c a
- Lens.Family2.State.Strict: data Constant a (b :: k)
+ Lens.Family2.State.Strict: data () => Constant a (b :: k)
- Lens.Family2.State.Strict: data StateT s (m :: Type -> Type) a
+ Lens.Family2.State.Strict: data () => StateT s (m :: Type -> Type) a
- Lens.Family2.State.Strict: data Zooming (m :: Type -> Type) c a
+ Lens.Family2.State.Strict: data () => Zooming (m :: Type -> Type) c a
- Lens.Family2.Stock: data AlongsideLeft (f :: Type -> Type) b a
+ Lens.Family2.Stock: data () => AlongsideLeft (f :: Type -> Type) b a
- Lens.Family2.Stock: data AlongsideRight (f :: Type -> Type) a b
+ Lens.Family2.Stock: data () => AlongsideRight (f :: Type -> Type) a b
- Lens.Family2.Stock: data Backwards (f :: k -> Type) (a :: k)
+ Lens.Family2.Stock: data () => Backwards (f :: k -> Type) (a :: k)
- Lens.Family2.Stock: data FromF i j (g :: Type -> Type) x
+ Lens.Family2.Stock: data () => FromF i j (g :: Type -> Type) x
- Lens.Family2.Stock: data FromG e (f :: Type -> Type) x
+ Lens.Family2.Stock: data () => FromG e (f :: Type -> Type) x
Files
- CHANGELOG +4/−0
- lens-family.cabal +3/−3
- src/Lens/Family2.hs +1/−1
- src/Lens/Family2/Unchecked.hs +1/−1
CHANGELOG view
@@ -1,3 +1,7 @@+2.1.3 (Changes from 2.1.2)+=========================+* Bump dependency on containers.+ 2.1.2 (Changes from 2.1.1) ========================== * Bump dependency on transformers and mtl
lens-family.cabal view
@@ -1,11 +1,11 @@ name: lens-family category: Data, Lenses-version: 2.1.2+version: 2.1.3 license: BSD3 cabal-version: >= 1.10 license-file: LICENSE author: Russell O'Connor-maintainer: Russell O'Connor <roconnor@theorem.ca>+maintainer: Russell O'Connor <roconnor@r6.ca> stability: experimental copyright: Copyright (C) 2012,2013,2014,2017,2018,2019 Russell O'Connor synopsis: Lens Families@@ -44,7 +44,7 @@ other-extensions: Rank2Types build-depends: base >= 4.11 && < 5,- containers >= 0.5.8 && < 0.7,+ containers >= 0.5.8 && < 0.8, transformers >= 0.3.0 && < 0.7, mtl >= 2.2 && < 2.4, lens-family-core >= 2.1.0 && < 2.2
src/Lens/Family2.hs view
@@ -69,7 +69,7 @@ -- -- | 'zipWithOf' can be used with grates to zip two structure together provided a binary operation. ----- 'under' can be to modify each value in a structure according to a function. This works analogous to how 'over' works for lenses and traversals.+-- 'under' can be used to modify each value in a structure according to a function. This works analogous to how 'over' works for lenses and traversals. -- -- 'LF.review' can be used with grates to construct a constant grate from a single value. This is like a 0-ary @zipWith@ function. --
src/Lens/Family2/Unchecked.hs view
@@ -148,7 +148,7 @@ -- -- /Note/: It is possible to build grates without even depending on @lens-family@ by expanding away the type synonym. ----- > myStream :: Functor g => (g (Stream a) -> Stream b) -> g a -> b+-- > myStream :: Functor g => (g a -> b) -> g (Stream a) -> (Stream b) -- -- Any value @t :: Grate s t a b@ is a well-defined grate when it satisfies the two van Laarhoven traversal laws: --