Indexed version of overA

[pepeiborra]

Given the arrowized version of over currently in the Control.Lens.Lens module

overA :: Arrow ar => LensLike (Context a b) s t a b -> ar a b -> ar s t

Is there a technical reason for the absence of an indexed version with the obvious type signature ?

ioverA :: Arrow ar => IndexedLensLike i (Context a b) s t a b -> ar (i,a) b -> ar s t

[pepeiborra]

Proof of concept (but not good enough):

ioverA :: Arrow ar => IndexedLens i s t a b -> ar (i,a) b -> ar s t
ioverA l p = arr (\x -> (x, iview x)) >>> second p >>> arr (\(x, b) -> storing l b x)
  where
    iview s = getConst $ l (Indexed $ \i -> Const #. (,) i) s