packages feed

generic-lens 2.0.0.0 → 2.1.0.0

raw patch · 3 files changed

+9/−2 lines, 3 filesdep ~generic-lens-corePVP ok

version bump matches the API change (PVP)

Dependency ranges changed: generic-lens-core

API changes (from Hackage documentation)

- Data.Generics.Labels: instance (GHC.Base.Applicative f, Data.Profunctor.Choice.Choice p, Data.Generics.Labels.Constructor name s t a b, name' Data.Type.Equality.~ GHC.TypeLits.AppendSymbol "_" name) => Data.Generics.Labels.IsLabelHelper 'GHC.Types.True name' p f s t a b
- Data.Generics.Labels: instance forall k1 k2 k3 (capital :: GHC.Types.Bool) (name :: GHC.Types.Symbol) (p :: k2 -> k3 -> *) (f :: k1 -> k3) (s :: k2) (t :: k1) (a :: k2) (b :: k1) pafb psft. (capital Data.Type.Equality.~ Data.Generics.Labels.BeginsWithCapital name, Data.Generics.Labels.IsLabelHelper capital name p f s t a b, pafb Data.Type.Equality.~ p a (f b), psft Data.Type.Equality.~ p s (f t)) => GHC.OverloadedLabels.IsLabel name (pafb -> psft)
- Data.Generics.Product.Any: instance (Data.Generics.Product.Typed.HasType a s, t Data.Type.Equality.~ s, a Data.Type.Equality.~ b) => Data.Generics.Product.Any.HasAny a s t a b
- Data.Generics.Product.Param: newtype Rec p a (x :: k) :: forall k. () => Type -> Type -> k -> Type
+ Data.Generics.Labels: instance (GHC.Base.Applicative f, Data.Profunctor.Choice.Choice p, Data.Generics.Labels.Constructor name s t a b, name' GHC.Types.~ GHC.TypeLits.AppendSymbol "_" name) => Data.Generics.Labels.IsLabelHelper 'GHC.Types.True name' p f s t a b
+ Data.Generics.Labels: instance forall k1 k2 k3 (capital :: GHC.Types.Bool) (name :: GHC.Types.Symbol) (p :: k1 -> k2 -> *) (f :: k3 -> k2) (s :: k1) (t :: k3) (a :: k1) (b :: k3) pafb psft. (capital GHC.Types.~ Data.Generics.Labels.BeginsWithCapital name, Data.Generics.Labels.IsLabelHelper capital name p f s t a b, pafb GHC.Types.~ p a (f b), psft GHC.Types.~ p s (f t)) => GHC.OverloadedLabels.IsLabel name (pafb -> psft)
+ Data.Generics.Product.Any: instance (Data.Generics.Product.Typed.HasType a s, t GHC.Types.~ s, a GHC.Types.~ b) => Data.Generics.Product.Any.HasAny a s t a b
+ Data.Generics.Product.Param: newtype Rec p a (x :: k)
- Data.Generics.Product.Param: Rec :: K1 R a x -> Rec p a
+ Data.Generics.Product.Param: Rec :: K1 R a x -> Rec p a (x :: k)
- Data.Generics.Product.Param: data family Param (a :: Nat) (b :: j) :: k
+ Data.Generics.Product.Param: data family Param :: Nat -> j -> k

Files

ChangeLog.md view
@@ -1,3 +1,6 @@+## generic-lens-2.1.0.0 (2021-01-25)+- Bump to generic-lens-core-2.1.0.0+ ## generic-lens-2.0.0.0 (2020-02-11) - Drop support for GHC < 8.4 - Better inference for `field'`
generic-lens.cabal view
@@ -1,5 +1,5 @@ name:                 generic-lens-version:              2.0.0.0+version:              2.1.0.0 synopsis:             Generically derive traversals, lenses and prisms. description:          This library uses GHC.Generics to derive efficient optics (traversals, lenses and prisms) for algebraic data types in a type-directed way, with a focus on good type inference and error messages when possible.                       .@@ -45,7 +45,7 @@                     , Data.Generics.Internal.VL.Iso    build-depends:      base        >= 4.11 && < 5-                    , generic-lens-core == 2.0.0.0+                    , generic-lens-core == 2.1.0.0                     , profunctors                     , text        >= 1.2 && < 1.3
src/Data/Generics/Internal/VL/Iso.hs view
@@ -32,6 +32,10 @@  data Exchange a b s t = Exchange (s -> a) (b -> t) +instance Functor (Exchange a b s) where+  fmap f (Exchange p q) = Exchange p (f . q)+  {-# INLINE fmap #-}+ instance Profunctor (Exchange a b) where   dimap f g (Exchange sa bt) = Exchange (sa . f) (g . bt)   {-# INLINE dimap #-}