Add imapped (purescript-contrib#146)

CHANGELOG.md

@@ -7,6 +7,7 @@ Notable changes to this project are documented in this file. The format is based
 Breaking changes:
 
 New features:
+- Add `imapped` (#146 by @twhitehead)
 
 Bugfixes:
 

src/Data/Lens/Indexed.purs

@@ -6,11 +6,12 @@ import Control.Monad.State (evalState, get, modify)
 import Data.Functor.Compose (Compose(..))
 import Data.Lens.Iso.Newtype (_Newtype)
 import Data.Lens.Setter ((%~))
-import Data.Lens.Types (Indexed(..), IndexedOptic, IndexedTraversal, Optic, Traversal, wander)
+import Data.Lens.Types (Indexed(..), IndexedOptic, IndexedSetter, IndexedTraversal, Optic, Traversal, wander)
 import Data.Newtype (unwrap)
 import Data.Profunctor (class Profunctor, dimap, lcmap)
 import Data.Profunctor.Star (Star(..))
 import Data.Profunctor.Strong (first)
+import Data.FunctorWithIndex (class FunctorWithIndex, mapWithIndex)
 import Data.TraversableWithIndex (class TraversableWithIndex, traverseWithIndex)
 import Data.Tuple (curry, fst, snd)
 
@@ -46,6 +47,13 @@ iwander
   -> IndexedTraversal i s t a b
 iwander itr = wander (\f s -> itr (curry f) s) <<< unwrap
 
+-- | Sets over a `FunctorWithIndex` container.
+imapped
+  :: forall i f a b
+  .  FunctorWithIndex i f
+  => IndexedSetter i (f a) (f b) a b
+imapped = mapWithIndex <<< curry <<< unwrap
+
 -- | Traverses over a `TraversableWithIndex` container.
 itraversed
   :: forall i t a b