git.iko.soy/generic-lens
on master help sign in
Add back in case change but keep the eta expansiona as it was
669770bMatthew Pickering
src/Data/Generics/Internal/VL/Lens.hs+2−2
compare with master
unifiedsplit
@@ -50,8 +50,8 @@ set l x = l .~ x
50lens2lensvl :: ALens a b s t -> Lens s t a b
50lens2lensvl :: ALens a b s t -> Lens s t a b
51lens2lensvl (ALens _get _set) =
51lens2lensvl (ALens _get _set) =
52 \f x ->
52 \f x ->
53− let (c, a) = oneShot _get (inline x)
53+ case _get x of
54− in oneShot (_set . (c, )) <$> f (inline a)
54+ (c, a) -> _set . (c, ) <$> f a
55{-# INLINE lens2lensvl #-}
55{-# INLINE lens2lensvl #-}
56
56
57ravel :: (ALens a b a b -> ALens a b s t)
57ravel :: (ALens a b a b -> ALens a b s t)
src/Data/Generics/Product/Positions.hs+1−1
@@ -118,7 +118,7 @@ instance -- see Note [Changing type parameters]
118 , s ~ Infer t b' a
118 , s ~ Infer t b' a
119 ) => HasPosition i s t a b where
119 ) => HasPosition i s t a b where
120
120
121− position f s = VL.ravel (repLens . gposition @i) f s
121+ position = VL.ravel (repLens . gposition @i)
122 {-# INLINE position #-}
122 {-# INLINE position #-}
123
123
124-- See Note [Uncluttering type signatures]
124-- See Note [Uncluttering type signatures]