Data.Lens.Indexed

unIndex :: forall p i s t a b. 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 p i s t a b. Profunctor p => IndexedOptic p i s t a b -> Optic p s t i b

reindexed :: forall p i j r a b. Profunctor p => (i -> j) -> (Indexed p i a b -> r) -> Indexed p j a b -> r

Remap the index.

iwander :: forall i s t a b. (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.

ifolded :: forall r i f t a b. Monoid r => FoldableWithIndex i f => IndexedFold r i (f a) t a b

Folds over a FoldableWithIndex container.

imapped :: forall i f a b. FunctorWithIndex i f => IndexedSetter i (f a) (f b) a b

Sets over a FunctorWithIndex container.

itraversed :: forall i t a b. TraversableWithIndex i t => IndexedTraversal i (t a) (t b) a b

Traverses over a TraversableWithIndex container.

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

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