Fix size of sum in positional lenses
commit7a33e3921438cfca551cc77f5537543adc7c3145
authorCsongor Kiss <kiss.csongor.kiss@gmail.com>
dateSun 30 Jul 2017, 19:52 (9 years ago)
parentb3ca312
src/Data/Generics/Product/Positions.hs+1−1
@@ -144,7 +144,7 @@ type family Size f :: Nat where
144144 Size (l :*: r)
145145 = Size l + Size r
146146 Size (l :+: r)
147− = Size l + Size r
147+ = Min (Size l) (Size r)
148148 Size (D1 meta f)
149149 = Size f
150150 Size (C1 meta f)