generics-sop-lens 0.2.0.1 → 0.2.1
raw patch · 3 files changed
+15/−10 lines, 3 filesdep ~basedep ~generics-sopdep ~lensPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: base, generics-sop, lens
API changes (from Hackage documentation)
- Generics.SOP.Lens: instance (t Data.Type.Equality.~ Data.SOP.BasicFunctors.I a) => Control.Lens.Wrapped.Rewrapped (Data.SOP.BasicFunctors.I a) t
- Generics.SOP.Lens: instance forall k (xs :: [k]) (x :: k) (f :: k -> *). (xs Data.Type.Equality.~ '[x]) => Control.Lens.Wrapped.Wrapped (Data.SOP.NS.NS f xs)
- Generics.SOP.Lens: instance forall k t (f :: k -> *) (xs :: [k]) (x :: k). (t Data.Type.Equality.~ Data.SOP.NS.NS f xs, xs Data.Type.Equality.~ '[x]) => Control.Lens.Wrapped.Rewrapped (Data.SOP.NS.NS f xs) t
- Generics.SOP.Lens: instance forall k t (f :: k -> *) (xss :: [[k]]). (t Data.Type.Equality.~ Data.SOP.NP.POP f xss) => Control.Lens.Wrapped.Rewrapped (Data.SOP.NP.POP f xss) t
- Generics.SOP.Lens: instance forall k t (f :: k -> *) (xss :: [[k]]). (t Data.Type.Equality.~ Data.SOP.NS.SOP f xss) => Control.Lens.Wrapped.Rewrapped (Data.SOP.NS.SOP f xss) t
- Generics.SOP.Lens: instance forall k t a (b :: k). (t Data.Type.Equality.~ Data.SOP.BasicFunctors.K a b) => Control.Lens.Wrapped.Rewrapped (Data.SOP.BasicFunctors.K a b) t
+ Generics.SOP.Lens: instance (t GHC.Types.~ Data.SOP.BasicFunctors.I a) => Control.Lens.Wrapped.Rewrapped (Data.SOP.BasicFunctors.I a) t
+ Generics.SOP.Lens: instance forall k (xs :: [k]) (x :: k) (f :: k -> *). (xs GHC.Types.~ '[x]) => Control.Lens.Wrapped.Wrapped (Data.SOP.NS.NS f xs)
+ Generics.SOP.Lens: instance forall k t (f :: k -> *) (xs :: [k]) (x :: k). (t GHC.Types.~ Data.SOP.NS.NS f xs, xs GHC.Types.~ '[x]) => Control.Lens.Wrapped.Rewrapped (Data.SOP.NS.NS f xs) t
+ Generics.SOP.Lens: instance forall k t (f :: k -> *) (xss :: [[k]]). (t GHC.Types.~ Data.SOP.NP.POP f xss) => Control.Lens.Wrapped.Rewrapped (Data.SOP.NP.POP f xss) t
+ Generics.SOP.Lens: instance forall k t (f :: k -> *) (xss :: [[k]]). (t GHC.Types.~ Data.SOP.NS.SOP f xss) => Control.Lens.Wrapped.Rewrapped (Data.SOP.NS.SOP f xss) t
+ Generics.SOP.Lens: instance forall k t a (b :: k). (t GHC.Types.~ Data.SOP.BasicFunctors.K a b) => Control.Lens.Wrapped.Rewrapped (Data.SOP.BasicFunctors.K a b) t
- Generics.SOP.Lens: _S :: forall k (f :: k -> Type) x ys zs. Prism (NS f (x : ys)) (NS f (x : zs)) (NS f ys) (NS f zs)
+ Generics.SOP.Lens: _S :: forall k (f :: k -> Type) x ys zs. Prism (NS f (x ': ys)) (NS f (x ': zs)) (NS f ys) (NS f zs)
- Generics.SOP.Lens: _Z :: forall k (f :: k -> Type) x y zs. Prism (NS f (x : zs)) (NS f (y : zs)) (f x) (f y)
+ Generics.SOP.Lens: _Z :: forall k (f :: k -> Type) x y zs. Prism (NS f (x ': zs)) (NS f (y ': zs)) (f x) (f y)
- Generics.SOP.Lens: npHead :: forall k (f :: k -> Type) x y zs. Lens (NP f (x : zs)) (NP f (y : zs)) (f x) (f y)
+ Generics.SOP.Lens: npHead :: forall k (f :: k -> Type) x y zs. Lens (NP f (x ': zs)) (NP f (y ': zs)) (f x) (f y)
- Generics.SOP.Lens: npTail :: forall k (f :: k -> Type) x ys zs. Lens (NP f (x : ys)) (NP f (x : zs)) (NP f ys) (NP f zs)
+ Generics.SOP.Lens: npTail :: forall k (f :: k -> Type) x ys zs. Lens (NP f (x ': ys)) (NP f (x ': zs)) (NP f ys) (NP f zs)
Files
- CHANGELOG.md +3/−0
- generics-sop-lens.cabal +12/−5
- src/Generics/SOP/Lens.hs +0/−5
CHANGELOG.md view
@@ -1,3 +1,6 @@+- 0.2.1+ - Support GHC-8.6.5...9.10.1+ - 0.2 - Rename everything
generics-sop-lens.cabal view
@@ -1,5 +1,5 @@ name: generics-sop-lens-version: 0.2.0.1+version: 0.2.1 synopsis: Lenses for types in generics-sop description: Lenses for types in generics-sop package category: Generics, Data@@ -10,7 +10,14 @@ license: BSD3 license-file: LICENSE tested-with:- GHC ==8.0.2 || ==8.2.2 || ==8.4.4 || ==8.6.5 || ==8.8.3 || ==8.10.1+ GHC ==8.6.5+ || ==8.8.4+ || ==8.10.7+ || ==9.0.2+ || ==9.2.8+ || ==9.4.8+ || ==9.6.3+ || ==9.8.1 build-type: Simple cabal-version: >=1.10@@ -26,9 +33,9 @@ hs-source-dirs: src ghc-options: -Wall build-depends:- base >=4.9 && <4.15- , generics-sop >=0.5 && <0.6- , lens >=4.14 && <4.20+ base >=4.12.0.0 && <4.21+ , generics-sop >=0.5.1.4 && <0.6+ , lens >=5.2.3 && <5.4 exposed-modules: Generics.SOP.Lens default-language: Haskell2010
src/Generics/SOP/Lens.hs view
@@ -1,4 +1,3 @@-{-# LANGUAGE CPP #-} {-# LANGUAGE ConstraintKinds #-} {-# LANGUAGE DataKinds #-} {-# LANGUAGE EmptyCase #-}@@ -9,10 +8,6 @@ {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE TypeOperators #-} {-# OPTIONS_GHC -fno-warn-orphans #-}--#if __GLASGOW_HASKELL__ <804-{-# LANGUAGE TypeInType #-}-#endif -- | Lenses for "Generics.SOP" --