generics-sop-lens 0.1.1.0 → 0.1.2.0

raw patch · 3 files changed

+15/−3 lines, 3 filesdep ~lensPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: lens

API changes (from Hackage documentation)

- Generics.SOP.Lens: instance (t ~ Generics.SOP.BasicFunctors.I a) => Control.Lens.Wrapped.Rewrapped (Generics.SOP.BasicFunctors.I a) t

- Generics.SOP.Lens: instance forall (k :: BOX) (f :: k -> *) (a :: [k]) (b :: [k]) (c :: [k]) (d :: [k]) (e :: [k]) (x :: [k]) (zs :: [[k]]) (y :: [k]). Control.Lens.Tuple.Field6 (Generics.SOP.NP.POP f (a : b : c : d : e : x : zs)) (Generics.SOP.NP.POP f (a : b : c : d : e : y : zs)) (Generics.SOP.NP.NP f x) (Generics.SOP.NP.NP f y)

- Generics.SOP.Lens: instance forall (k :: BOX) (f :: k -> *) (a :: [k]) (b :: [k]) (c :: [k]) (d :: [k]) (x :: [k]) (zs :: [[k]]) (y :: [k]). Control.Lens.Tuple.Field5 (Generics.SOP.NP.POP f (a : b : c : d : x : zs)) (Generics.SOP.NP.POP f (a : b : c : d : y : zs)) (Generics.SOP.NP.NP f x) (Generics.SOP.NP.NP f y)

- Generics.SOP.Lens: instance forall (k :: BOX) (f :: k -> *) (a :: [k]) (b :: [k]) (c :: [k]) (x :: [k]) (zs :: [[k]]) (y :: [k]). Control.Lens.Tuple.Field4 (Generics.SOP.NP.POP f (a : b : c : x : zs)) (Generics.SOP.NP.POP f (a : b : c : y : zs)) (Generics.SOP.NP.NP f x) (Generics.SOP.NP.NP f y)

- Generics.SOP.Lens: instance forall (k :: BOX) (f :: k -> *) (a :: [k]) (b :: [k]) (x :: [k]) (zs :: [[k]]) (y :: [k]). Control.Lens.Tuple.Field3 (Generics.SOP.NP.POP f (a : b : x : zs)) (Generics.SOP.NP.POP f (a : b : y : zs)) (Generics.SOP.NP.NP f x) (Generics.SOP.NP.NP f y)

- Generics.SOP.Lens: instance forall (k :: BOX) (f :: k -> *) (a :: [k]) (x :: [k]) (zs :: [[k]]) (y :: [k]). Control.Lens.Tuple.Field2 (Generics.SOP.NP.POP f (a : x : zs)) (Generics.SOP.NP.POP f (a : y : zs)) (Generics.SOP.NP.NP f x) (Generics.SOP.NP.NP f y)

- Generics.SOP.Lens: instance forall (k :: BOX) (f :: k -> *) (a :: k) (b :: k) (c :: k) (d :: k) (e :: k) (x :: k) (zs :: [k]) (y :: k). Control.Lens.Tuple.Field6 (Generics.SOP.NP.NP f (a : b : c : d : e : x : zs)) (Generics.SOP.NP.NP f (a : b : c : d : e : y : zs)) (f x) (f y)

- Generics.SOP.Lens: instance forall (k :: BOX) (f :: k -> *) (a :: k) (b :: k) (c :: k) (d :: k) (x :: k) (zs :: [k]) (y :: k). Control.Lens.Tuple.Field5 (Generics.SOP.NP.NP f (a : b : c : d : x : zs)) (Generics.SOP.NP.NP f (a : b : c : d : y : zs)) (f x) (f y)

- Generics.SOP.Lens: instance forall (k :: BOX) (f :: k -> *) (a :: k) (b :: k) (c :: k) (x :: k) (zs :: [k]) (y :: k). Control.Lens.Tuple.Field4 (Generics.SOP.NP.NP f (a : b : c : x : zs)) (Generics.SOP.NP.NP f (a : b : c : y : zs)) (f x) (f y)

- Generics.SOP.Lens: instance forall (k :: BOX) (f :: k -> *) (a :: k) (b :: k) (x :: k) (zs :: [k]) (y :: k). Control.Lens.Tuple.Field3 (Generics.SOP.NP.NP f (a : b : x : zs)) (Generics.SOP.NP.NP f (a : b : y : zs)) (f x) (f y)

- Generics.SOP.Lens: instance forall (k :: BOX) (f :: k -> *) (a :: k) (x :: k) (zs :: [k]) (y :: k). Control.Lens.Tuple.Field2 (Generics.SOP.NP.NP f (a : x : zs)) (Generics.SOP.NP.NP f (a : y : zs)) (f x) (f y)

- Generics.SOP.Lens: instance forall (k :: BOX) (f :: k -> *) (x :: [k]) (zs :: [[k]]) (y :: [k]). Control.Lens.Tuple.Field1 (Generics.SOP.NP.POP f (x : zs)) (Generics.SOP.NP.POP f (y : zs)) (Generics.SOP.NP.NP f x) (Generics.SOP.NP.NP f y)

- Generics.SOP.Lens: instance forall (k :: BOX) (f :: k -> *) (x :: k) (zs :: [k]) (y :: k). Control.Lens.Tuple.Field1 (Generics.SOP.NP.NP f (x : zs)) (Generics.SOP.NP.NP f (y : zs)) (f x) (f y)

- Generics.SOP.Lens: instance forall (k :: BOX) (f :: k -> *) (xss :: [[k]]) t. (t ~ Generics.SOP.NP.POP f xss) => Control.Lens.Wrapped.Rewrapped (Generics.SOP.NP.POP f xss) t

- Generics.SOP.Lens: instance forall (k :: BOX) (f :: k -> *) (xss :: [[k]]) t. (t ~ Generics.SOP.NS.SOP f xss) => Control.Lens.Wrapped.Rewrapped (Generics.SOP.NS.SOP f xss) t

- Generics.SOP.Lens: instance forall (k :: BOX) (f :: k -> *) (xss :: [[k]]). Control.Lens.Wrapped.Wrapped (Generics.SOP.NP.POP f xss)

- Generics.SOP.Lens: instance forall (k :: BOX) (f :: k -> *) (xss :: [[k]]). Control.Lens.Wrapped.Wrapped (Generics.SOP.NS.SOP f xss)

- Generics.SOP.Lens: instance forall (k :: BOX) (f' :: k -> *) (a :: [k]) (b :: [k]) (c :: [k]) (d :: [k]) (e :: [k]) (f :: [k]) (g :: [k]) (h :: [k]) (x :: [k]) (zs :: [[k]]) (y :: [k]). Control.Lens.Tuple.Field9 (Generics.SOP.NP.POP f' (a : b : c : d : e : f : g : h : x : zs)) (Generics.SOP.NP.POP f' (a : b : c : d : e : f : g : h : y : zs)) (Generics.SOP.NP.NP f' x) (Generics.SOP.NP.NP f' y)

- Generics.SOP.Lens: instance forall (k :: BOX) (f' :: k -> *) (a :: [k]) (b :: [k]) (c :: [k]) (d :: [k]) (e :: [k]) (f :: [k]) (g :: [k]) (x :: [k]) (zs :: [[k]]) (y :: [k]). Control.Lens.Tuple.Field8 (Generics.SOP.NP.POP f' (a : b : c : d : e : f : g : x : zs)) (Generics.SOP.NP.POP f' (a : b : c : d : e : f : g : y : zs)) (Generics.SOP.NP.NP f' x) (Generics.SOP.NP.NP f' y)

- Generics.SOP.Lens: instance forall (k :: BOX) (f' :: k -> *) (a :: [k]) (b :: [k]) (c :: [k]) (d :: [k]) (e :: [k]) (f :: [k]) (x :: [k]) (zs :: [[k]]) (y :: [k]). Control.Lens.Tuple.Field7 (Generics.SOP.NP.POP f' (a : b : c : d : e : f : x : zs)) (Generics.SOP.NP.POP f' (a : b : c : d : e : f : y : zs)) (Generics.SOP.NP.NP f' x) (Generics.SOP.NP.NP f' y)

- Generics.SOP.Lens: instance forall (k :: BOX) (f' :: k -> *) (a :: k) (b :: k) (c :: k) (d :: k) (e :: k) (f :: k) (g :: k) (h :: k) (x :: k) (zs :: [k]) (y :: k). Control.Lens.Tuple.Field9 (Generics.SOP.NP.NP f' (a : b : c : d : e : f : g : h : x : zs)) (Generics.SOP.NP.NP f' (a : b : c : d : e : f : g : h : y : zs)) (f' x) (f' y)

- Generics.SOP.Lens: instance forall (k :: BOX) (f' :: k -> *) (a :: k) (b :: k) (c :: k) (d :: k) (e :: k) (f :: k) (g :: k) (x :: k) (zs :: [k]) (y :: k). Control.Lens.Tuple.Field8 (Generics.SOP.NP.NP f' (a : b : c : d : e : f : g : x : zs)) (Generics.SOP.NP.NP f' (a : b : c : d : e : f : g : y : zs)) (f' x) (f' y)

- Generics.SOP.Lens: instance forall (k :: BOX) (f' :: k -> *) (a :: k) (b :: k) (c :: k) (d :: k) (e :: k) (f :: k) (x :: k) (zs :: [k]) (y :: k). Control.Lens.Tuple.Field7 (Generics.SOP.NP.NP f' (a : b : c : d : e : f : x : zs)) (Generics.SOP.NP.NP f' (a : b : c : d : e : f : y : zs)) (f' x) (f' y)

- Generics.SOP.Lens: instance forall (k :: BOX) a (b :: k) t. (t ~ Generics.SOP.BasicFunctors.K a b) => Control.Lens.Wrapped.Rewrapped (Generics.SOP.BasicFunctors.K a b) t

- Generics.SOP.Lens: instance forall (k :: BOX) a (b :: k). Control.Lens.Wrapped.Wrapped (Generics.SOP.BasicFunctors.K a b)

+ Generics.SOP.Lens: constructorName :: Lens' (ConstructorInfo xs) ConstructorName

+ Generics.SOP.Lens: instance forall a (f :: a -> GHC.Types.*) (a1 :: a) (b :: a) (c :: a) (d :: a) (e :: a) (x :: a) (zs :: [a]) (y :: a). Control.Lens.Tuple.Field6 (Generics.SOP.NP.NP f (a1 : b : c : d : e : x : zs)) (Generics.SOP.NP.NP f (a1 : b : c : d : e : y : zs)) (f x) (f y)

+ Generics.SOP.Lens: instance forall a (f :: a -> GHC.Types.*) (a1 :: a) (b :: a) (c :: a) (d :: a) (x :: a) (zs :: [a]) (y :: a). Control.Lens.Tuple.Field5 (Generics.SOP.NP.NP f (a1 : b : c : d : x : zs)) (Generics.SOP.NP.NP f (a1 : b : c : d : y : zs)) (f x) (f y)

+ Generics.SOP.Lens: instance forall a (f :: a -> GHC.Types.*) (a1 :: a) (b :: a) (c :: a) (x :: a) (zs :: [a]) (y :: a). Control.Lens.Tuple.Field4 (Generics.SOP.NP.NP f (a1 : b : c : x : zs)) (Generics.SOP.NP.NP f (a1 : b : c : y : zs)) (f x) (f y)

+ Generics.SOP.Lens: instance forall a (f :: a -> GHC.Types.*) (a1 :: a) (b :: a) (x :: a) (zs :: [a]) (y :: a). Control.Lens.Tuple.Field3 (Generics.SOP.NP.NP f (a1 : b : x : zs)) (Generics.SOP.NP.NP f (a1 : b : y : zs)) (f x) (f y)

+ Generics.SOP.Lens: instance forall a (f :: a -> GHC.Types.*) (a1 :: a) (x :: a) (zs :: [a]) (y :: a). Control.Lens.Tuple.Field2 (Generics.SOP.NP.NP f (a1 : x : zs)) (Generics.SOP.NP.NP f (a1 : y : zs)) (f x) (f y)

+ Generics.SOP.Lens: instance forall a (f :: a -> GHC.Types.*) (x :: a) (zs :: [a]) (y :: a). Control.Lens.Tuple.Field1 (Generics.SOP.NP.NP f (x : zs)) (Generics.SOP.NP.NP f (y : zs)) (f x) (f y)

+ Generics.SOP.Lens: instance forall a (f' :: a -> GHC.Types.*) (a1 :: a) (b :: a) (c :: a) (d :: a) (e :: a) (f :: a) (g :: a) (h :: a) (x :: a) (zs :: [a]) (y :: a). Control.Lens.Tuple.Field9 (Generics.SOP.NP.NP f' (a1 : b : c : d : e : f : g : h : x : zs)) (Generics.SOP.NP.NP f' (a1 : b : c : d : e : f : g : h : y : zs)) (f' x) (f' y)

+ Generics.SOP.Lens: instance forall a (f' :: a -> GHC.Types.*) (a1 :: a) (b :: a) (c :: a) (d :: a) (e :: a) (f :: a) (g :: a) (x :: a) (zs :: [a]) (y :: a). Control.Lens.Tuple.Field8 (Generics.SOP.NP.NP f' (a1 : b : c : d : e : f : g : x : zs)) (Generics.SOP.NP.NP f' (a1 : b : c : d : e : f : g : y : zs)) (f' x) (f' y)

+ Generics.SOP.Lens: instance forall a (f' :: a -> GHC.Types.*) (a1 :: a) (b :: a) (c :: a) (d :: a) (e :: a) (f :: a) (x :: a) (zs :: [a]) (y :: a). Control.Lens.Tuple.Field7 (Generics.SOP.NP.NP f' (a1 : b : c : d : e : f : x : zs)) (Generics.SOP.NP.NP f' (a1 : b : c : d : e : f : y : zs)) (f' x) (f' y)

+ Generics.SOP.Lens: instance forall k (f :: k -> GHC.Types.*) (a :: [k]) (b :: [k]) (c :: [k]) (d :: [k]) (e :: [k]) (x :: [k]) (zs :: [[k]]) (y :: [k]). Control.Lens.Tuple.Field6 (Generics.SOP.NP.POP f (a : b : c : d : e : x : zs)) (Generics.SOP.NP.POP f (a : b : c : d : e : y : zs)) (Generics.SOP.NP.NP f x) (Generics.SOP.NP.NP f y)

+ Generics.SOP.Lens: instance forall k (f :: k -> GHC.Types.*) (a :: [k]) (b :: [k]) (c :: [k]) (d :: [k]) (x :: [k]) (zs :: [[k]]) (y :: [k]). Control.Lens.Tuple.Field5 (Generics.SOP.NP.POP f (a : b : c : d : x : zs)) (Generics.SOP.NP.POP f (a : b : c : d : y : zs)) (Generics.SOP.NP.NP f x) (Generics.SOP.NP.NP f y)

+ Generics.SOP.Lens: instance forall k (f :: k -> GHC.Types.*) (a :: [k]) (b :: [k]) (c :: [k]) (x :: [k]) (zs :: [[k]]) (y :: [k]). Control.Lens.Tuple.Field4 (Generics.SOP.NP.POP f (a : b : c : x : zs)) (Generics.SOP.NP.POP f (a : b : c : y : zs)) (Generics.SOP.NP.NP f x) (Generics.SOP.NP.NP f y)

+ Generics.SOP.Lens: instance forall k (f :: k -> GHC.Types.*) (a :: [k]) (b :: [k]) (x :: [k]) (zs :: [[k]]) (y :: [k]). Control.Lens.Tuple.Field3 (Generics.SOP.NP.POP f (a : b : x : zs)) (Generics.SOP.NP.POP f (a : b : y : zs)) (Generics.SOP.NP.NP f x) (Generics.SOP.NP.NP f y)

+ Generics.SOP.Lens: instance forall k (f :: k -> GHC.Types.*) (a :: [k]) (x :: [k]) (zs :: [[k]]) (y :: [k]). Control.Lens.Tuple.Field2 (Generics.SOP.NP.POP f (a : x : zs)) (Generics.SOP.NP.POP f (a : y : zs)) (Generics.SOP.NP.NP f x) (Generics.SOP.NP.NP f y)

+ Generics.SOP.Lens: instance forall k (f :: k -> GHC.Types.*) (x :: [k]) (zs :: [[k]]) (y :: [k]). Control.Lens.Tuple.Field1 (Generics.SOP.NP.POP f (x : zs)) (Generics.SOP.NP.POP f (y : zs)) (Generics.SOP.NP.NP f x) (Generics.SOP.NP.NP f y)

+ Generics.SOP.Lens: instance forall k (f :: k -> GHC.Types.*) (xss :: [[k]]). Control.Lens.Wrapped.Wrapped (Generics.SOP.NP.POP f xss)

+ Generics.SOP.Lens: instance forall k (f :: k -> GHC.Types.*) (xss :: [[k]]). Control.Lens.Wrapped.Wrapped (Generics.SOP.NS.SOP f xss)

+ Generics.SOP.Lens: instance forall k (f' :: k -> GHC.Types.*) (a :: [k]) (b :: [k]) (c :: [k]) (d :: [k]) (e :: [k]) (f :: [k]) (g :: [k]) (h :: [k]) (x :: [k]) (zs :: [[k]]) (y :: [k]). Control.Lens.Tuple.Field9 (Generics.SOP.NP.POP f' (a : b : c : d : e : f : g : h : x : zs)) (Generics.SOP.NP.POP f' (a : b : c : d : e : f : g : h : y : zs)) (Generics.SOP.NP.NP f' x) (Generics.SOP.NP.NP f' y)

+ Generics.SOP.Lens: instance forall k (f' :: k -> GHC.Types.*) (a :: [k]) (b :: [k]) (c :: [k]) (d :: [k]) (e :: [k]) (f :: [k]) (g :: [k]) (x :: [k]) (zs :: [[k]]) (y :: [k]). Control.Lens.Tuple.Field8 (Generics.SOP.NP.POP f' (a : b : c : d : e : f : g : x : zs)) (Generics.SOP.NP.POP f' (a : b : c : d : e : f : g : y : zs)) (Generics.SOP.NP.NP f' x) (Generics.SOP.NP.NP f' y)

+ Generics.SOP.Lens: instance forall k (f' :: k -> GHC.Types.*) (a :: [k]) (b :: [k]) (c :: [k]) (d :: [k]) (e :: [k]) (f :: [k]) (x :: [k]) (zs :: [[k]]) (y :: [k]). Control.Lens.Tuple.Field7 (Generics.SOP.NP.POP f' (a : b : c : d : e : f : x : zs)) (Generics.SOP.NP.POP f' (a : b : c : d : e : f : y : zs)) (Generics.SOP.NP.NP f' x) (Generics.SOP.NP.NP f' y)

+ Generics.SOP.Lens: instance forall k a (b :: k). Control.Lens.Wrapped.Wrapped (Generics.SOP.BasicFunctors.K a b)

+ Generics.SOP.Lens: instance forall k t (f :: k -> GHC.Types.*) (xss :: [[k]]). t ~ Generics.SOP.NP.POP f xss => Control.Lens.Wrapped.Rewrapped (Generics.SOP.NP.POP f xss) t

+ Generics.SOP.Lens: instance forall k t (f :: k -> GHC.Types.*) (xss :: [[k]]). t ~ Generics.SOP.NS.SOP f xss => Control.Lens.Wrapped.Rewrapped (Generics.SOP.NS.SOP f xss) t

+ Generics.SOP.Lens: instance forall k t a (b :: k). t ~ Generics.SOP.BasicFunctors.K a b => Control.Lens.Wrapped.Rewrapped (Generics.SOP.BasicFunctors.K a b) t

+ Generics.SOP.Lens: instance t ~ Generics.SOP.BasicFunctors.I a => Control.Lens.Wrapped.Rewrapped (Generics.SOP.BasicFunctors.I a) t

- Generics.SOP.Lens: _S :: Prism (NS f (x : ys)) (NS f (x : zs)) (NS f ys) (NS f zs)

+ Generics.SOP.Lens: _S :: forall (f :: k -> *) x ys zs. Prism (NS f (x : ys)) (NS f (x : zs)) (NS f ys) (NS f zs)

- Generics.SOP.Lens: _Z :: Prism (NS f (x : zs)) (NS f (y : zs)) (f x) (f y)

+ Generics.SOP.Lens: _Z :: forall (f :: k -> *) x y zs. Prism (NS f (x : zs)) (NS f (y : zs)) (f x) (f y)

- Generics.SOP.Lens: headLens :: Lens (NP f (x : zs)) (NP f (y : zs)) (f x) (f y)

+ Generics.SOP.Lens: headLens :: forall (f :: k -> *) x y zs. Lens (NP f (x : zs)) (NP f (y : zs)) (f x) (f y)

- Generics.SOP.Lens: pop :: Iso (NP (NP f) xss) (NP (NP f) yss) (POP f xss) (POP f yss)

+ Generics.SOP.Lens: pop :: forall (f :: k -> *) xss yss. Iso (NP (NP f) xss) (NP (NP f) yss) (POP f xss) (POP f yss)

- Generics.SOP.Lens: singletonP :: Iso (f x) (f y) (NP f '[x]) (NP f '[y])

+ Generics.SOP.Lens: singletonP :: forall (f :: k -> *) x y. Iso (f x) (f y) (NP f '[x]) (NP f '[y])

- Generics.SOP.Lens: singletonS :: Iso (f x) (f y) (NS f '[x]) (NS f '[y])

+ Generics.SOP.Lens: singletonS :: forall (f :: k -> *) x y. Iso (f x) (f y) (NS f '[x]) (NS f '[y])

- Generics.SOP.Lens: sop :: Iso (NS (NP f) xss) (NS (NP f) yss) (SOP f xss) (SOP f yss)

+ Generics.SOP.Lens: sop :: forall (f :: k -> *) xss yss. Iso (NS (NP f) xss) (NS (NP f) yss) (SOP f xss) (SOP f yss)

- Generics.SOP.Lens: tailLens :: Lens (NP f (x : ys)) (NP f (x : zs)) (NP f ys) (NP f zs)

+ Generics.SOP.Lens: tailLens :: forall (f :: k -> *) x ys zs. Lens (NP f (x : ys)) (NP f (x : zs)) (NP f ys) (NP f zs)

- Generics.SOP.Lens: unSingletonP :: Iso (NP f '[x]) (NP f '[y]) (f x) (f y)

+ Generics.SOP.Lens: unSingletonP :: forall (f :: k -> *) x y. Iso (NP f '[x]) (NP f '[y]) (f x) (f y)

- Generics.SOP.Lens: unSingletonS :: Iso (NS f '[x]) (NS f '[y]) (f x) (f y)

+ Generics.SOP.Lens: unSingletonS :: forall (f :: k -> *) x y. Iso (NS f '[x]) (NS f '[y]) (f x) (f y)

- Generics.SOP.Lens: unpop :: Iso (POP f xss) (POP f yss) (NP (NP f) xss) (NP (NP f) yss)

+ Generics.SOP.Lens: unpop :: forall (f :: k -> *) xss yss. Iso (POP f xss) (POP f yss) (NP (NP f) xss) (NP (NP f) yss)

- Generics.SOP.Lens: unsop :: Iso (SOP f xss) (SOP f yss) (NS (NP f) xss) (NS (NP f) yss)

+ Generics.SOP.Lens: unsop :: forall (f :: k -> *) xss yss. Iso (SOP f xss) (SOP f yss) (NS (NP f) xss) (NS (NP f) yss)

Files

CHANGELOG.md +3/−0
generics-sop-lens.cabal +4/−3
src/Generics/SOP/Lens.hs +8/−0

+ CHANGELOG.md view

@@ -0,0 +1,3 @@+- 0.1.2.0++    - Add 'constructorName'

generics-sop-lens.cabal view

@@ -1,9 +1,9 @@--- This file has been generated from package.yaml by hpack version 0.8.0.+-- This file has been generated from package.yaml by hpack version 0.14.0. -- -- see: https://github.com/sol/hpack  name:           generics-sop-lens-version:        0.1.1.0+version:        0.1.2.0 synopsis:       Lenses for types in generics-sop description:    Lenses for types in generics-sop package category:       Web@@ -18,6 +18,7 @@ cabal-version:  >= 1.10  extra-source-files:+    CHANGELOG.md     README.md  source-repository head@@ -31,7 +32,7 @@   build-depends:       base                  >=4.7      && <4.10     , generics-sop          >=0.1      && <0.3-    , lens                  >=4.7      && <4.14+    , lens                  >=4.7      && <4.15   exposed-modules:       Generics.SOP.Lens   default-language: Haskell2010

src/Generics/SOP/Lens.hs view

@@ -39,6 +39,7 @@     moduleName,     datatypeName,     constructorInfo,+    constructorName,     ) where  import Control.Lens@@ -258,3 +259,10 @@     s (ADT m n _)     cs          = ADT m n cs     s (Newtype m n _) (c :* Nil)  = Newtype m n c     s _ _ = error "constructorInfo set: impossible happened"++-- | /Note:/ 'Infix' constructor has operator as a 'ConstructorName'. Use as+-- setter with care.+constructorName :: Lens' (ConstructorInfo xs) ConstructorName+constructorName f (Constructor n      ) = (\ n' -> Constructor n'      ) `fmap` f n+constructorName f (Infix       n a fix) = (\ n' -> Infix       n' a fix) `fmap` f n+constructorName f (Record      n finfo) = (\ n' -> Record      n' finfo) `fmap` f n