-- | Obtain 'FoldWithIndex' by lifting 'ifoldr' like function.
ifoldring :: (Indexable i p, Contravariant f, Applicative f) => ((i -> a -> f a -> f a) -> f a -> s -> f a) -> Over p f s t a b
ifoldring ifr f = coerce . ifr (\i a fa -> indexed f i a *> fa) noEffect
ifoldring :: (Indexable i p, Contravariant f, Applicative f) => ((i -> a -> f a -> f a) -> f a -> s -> f a) -> Over p f s t a b
ifoldring ifr f = coerce . ifr (\i a fa -> indexed f i a *> fa) noEffect
ifoldring ifr f = coerce . ifr (\i a fa -> indexed f i a *> fa) noEffect