Use indexed-traversable (#951)

ekmett · Dec 16, 2020 · 53fcb56 · 53fcb56
1 parent 404cfb1
commit 53fcb56
Show file tree

Hide file tree

Showing 6 changed files with 100 additions and 776 deletions.
diff --git a/CHANGELOG.markdown b/CHANGELOG.markdown
@@ -33,6 +33,16 @@
 * Add `Control.Lens.Review.reviewing`, which is like `review` but with a more
   polymorphic type.
 * Mark `Control.Lens.Equality` as Trustworthy
+* The `FunctorWithIndex`, `FoldableWithIndex` and `TraversableWithIndex` type classes
+  have been migrated to a new package, [`indexed-traversable`](https://hackage.haskell.org/package/indexed-traversable)
+
+  The `imapped`, `ifolded` and `itraversed` methods are now top-level functions.
+  If you are not defining these methods in your instances,
+  you don't need to change your definitions.
+
+  Beware: the `optics-core` package (versions <0.4) defines similar classes,
+  and will also migrate to use `indexed-traversable` classes. Therefore you
+  might get duplicate instance errors if your package defines both.
 
 4.19.2 [2020.04.15]
 -------------------

diff --git a/lens.cabal b/lens.cabal
@@ -193,12 +193,12 @@ library
     bifunctors                >= 5.1      && < 6,
     bytestring                >= 0.10.4.0 && < 0.12,
     call-stack                >= 0.1      && < 0.3,
-    comonad                   >= 4        && < 6,
+    comonad                   >= 5.0.7    && < 6,
     contravariant             >= 1.3      && < 2,
     containers                >= 0.5.5.1  && < 0.7,
     distributive              >= 0.3      && < 1,
     filepath                  >= 1.2.0.0  && < 1.5,
-    free                      >= 4        && < 6,
+    free                      >= 5.1.5    && < 6,
     ghc-prim,
     hashable                  >= 1.1.2.3  && < 1.4,
     kan-extensions            >= 5        && < 6,
@@ -217,7 +217,9 @@ library
     transformers              >= 0.3.0.0  && < 0.6,
     transformers-compat       >= 0.4      && < 1,
     unordered-containers      >= 0.2.4    && < 0.3,
-    vector                    >= 0.9      && < 0.13
+    vector                    >= 0.9      && < 0.13,
+    indexed-traversable           >= 0.1      && < 0.2,
+    indexed-traversable-instances >= 0.1      && < 0.2
 
   if !impl(ghc >= 8.0)
     build-depends: