Module
Data.Lens.Indexed
- Package
- purescript-profunctor-lenses
- Repository
- purescript-contrib/purescript-profunctor-lenses
#unIndex Source
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 Source
asIndex :: forall p i s t a b. Profunctor p => IndexedOptic p i s t a b -> Optic p s t i b
#reindexed Source
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 Source
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
.
#itraversed Source
itraversed :: forall i t a b. TraversableWithIndex i t => IndexedTraversal i (t a) (t b) a b
Traverses over a TraversableWithIndex
container.
- Modules
- Data.
Lens - Data.
Lens. AffineTraversal - Data.
Lens. At - Data.
Lens. Common - Data.
Lens. Fold - Data.
Lens. Fold. Partial - Data.
Lens. Getter - Data.
Lens. Grate - Data.
Lens. Index - Data.
Lens. Indexed - Data.
Lens. Internal. Bazaar - Data.
Lens. Internal. Exchange - Data.
Lens. Internal. Focusing - Data.
Lens. Internal. Forget - Data.
Lens. Internal. Grating - Data.
Lens. Internal. Indexed - Data.
Lens. Internal. Market - Data.
Lens. Internal. Re - Data.
Lens. Internal. Shop - Data.
Lens. Internal. Stall - Data.
Lens. Internal. Tagged - Data.
Lens. Internal. Wander - Data.
Lens. Internal. Zipping - Data.
Lens. Iso - Data.
Lens. Iso. Newtype - Data.
Lens. Lens - Data.
Lens. Lens. Product - Data.
Lens. Lens. Tuple - Data.
Lens. Lens. Unit - Data.
Lens. Lens. Void - Data.
Lens. Prism - Data.
Lens. Prism. Coproduct - Data.
Lens. Prism. Either - Data.
Lens. Prism. Maybe - Data.
Lens. Record - Data.
Lens. Setter - Data.
Lens. Traversal - Data.
Lens. Types - Data.
Lens. Zoom