Data.Lens.Indexed

unIndex :: forall b a t s i p. Profunctor p => IndexedOptic p i s t a b -> Optic p s t a b

Converts an IndexedOptic to an Optic by forgetting indices.

asIndex :: forall b a t s i p. Profunctor p => IndexedOptic p i s t a b -> Optic p s t i b

iwander :: forall b a t s i. (forall f. Applicative f => (i -> a -> f b) -> s -> f t) -> IndexedTraversal i s t a b

Converts a lens-like indexed traversal to an IndexedTraversal.

positions :: forall b a t s. Traversal s t a b -> IndexedTraversal Int s t a b

Converts a Traversal to an IndexedTraversal by using the integer positions as indices.