fumieval · phadej · Nov 10, 2023 · Oct 25, 2023 · Nov 10, 2023
diff --git a/cabal.project b/cabal.project
@@ -1,3 +1,2 @@
 packages:
   ./witherable/
-  ./witherable-class/
diff --git a/witherable-class/CHANGELOG.md b/witherable-class/CHANGELOG.md
diff --git a/witherable-class/Data/Witherable/Class.hs b/witherable-class/Data/Witherable/Class.hs
diff --git a/witherable-class/LICENSE b/witherable-class/LICENSE
diff --git a/witherable-class/Main.hs b/witherable-class/Main.hs
diff --git a/witherable-class/Setup.hs b/witherable-class/Setup.hs
diff --git a/witherable-class/witherable-class.cabal b/witherable-class/witherable-class.cabal
diff --git a/witherable/CHANGELOG.md b/witherable/CHANGELOG.md
@@ -1,3 +1,8 @@
+0.5
+---
+
+* `FilterableWithIndex` is a superclass of `WitherableWithIndex`.
+
 0.4.2
 -------
 

diff --git a/witherable/src/Witherable.hs b/witherable/src/Witherable.hs
@@ -476,7 +476,7 @@ class (FunctorWithIndex i t, Filterable t) => FilterableWithIndex i t | t -> i w
   {-# INLINE ifilter #-}
 
 -- | Indexed variant of 'Witherable'.
-class (TraversableWithIndex i t, Witherable t) => WitherableWithIndex i t | t -> i where
+class (TraversableWithIndex i t, FilterableWithIndex i t, Witherable t) => WitherableWithIndex i t | t -> i where
   -- | Effectful 'imapMaybe'.
   --
   -- @'iwither' (\ i -> 'pure' . f i) ≡ 'pure' . 'imapMaybe' f@

diff --git a/witherable/witherable.cabal b/witherable/witherable.cabal
@@ -1,7 +1,6 @@
 cabal-version:       2.4
 name:                witherable
-version:             0.4.2
-x-revision:          3
+version:             0.5
 synopsis:            filterable traversable
 description:         A stronger variant of `traverse` which can remove elements and generalised mapMaybe, catMaybes, filter
 homepage:            https://github.com/fumieval/witherable