@@ -16,7 +16,7 @@ module Main where
1616import GHC.Generics
1717import Data.Profunctor
1818import Data.Generics.Product
19−import Data.Generics.Internal.Lens (prismPRavel)
19+import Data.Generics.Internal.Lens (prismPRavel, plus)
2020import Data.Generics.Sum
2121import Test.Inspection
2222import Test.HUnit
@@ -57,10 +57,6 @@ prismP :: (b -> t) -> (s -> Either t a) -> PrismP s t a b
5757prismP bt seta eta = dimap seta (either id bt) (right' eta)
5858{-# INLINE prismP #-}
5959
60−plus :: (a -> b) -> (c -> d) -> Either a c -> Either b d
61−plus f g (Left x) = Left (f x)
62−plus f g (Right y) = Right (g y)
63−
6460data Record4 a = MkRecord4
6561 { fieldA :: a
6662 , fieldB :: a
@@ -92,10 +88,6 @@ intTraversalManual f (MkRecord5 a b c d e f') =
9288intTraversalDerived :: Traversal' Record5 Int
9389intTraversalDerived = types
9490
95−
96−intTraversalDerived3 :: Traversal' (Record4 Int) Int
97−intTraversalDerived3 = genericTraverse
98−
9991fieldALensManual :: Lens' Record Int
10092fieldALensManual f (MkRecord a b) = (\a' -> MkRecord a' b) <$> f a
10193