git.iko.soy/generic-lens
on master help sign in
Add missing case for Zip in GenericN
367497dCsongor Kiss
src/Data/Generics/Internal/GenericN.hs+2
compare with master
unifiedsplit
@@ -49,6 +49,8 @@ type family Zip (a :: Type -> Type) (b :: Type -> Type) :: Type -> Type where
49 = Zip l l' :*: Zip r r'
49 = Zip l l' :*: Zip r r'
50 Zip (Rec0 p) (Rec0 a)
50 Zip (Rec0 p) (Rec0 a)
51 = Rec p a
51 = Rec p a
52+ Zip U1 U1
53+ = U1
52
54
53class
55class
54 ( Coercible (Rep a) (RepN a)
56 ( Coercible (Rep a) (RepN a)