Update readme

scalafix/README.md

@@ -5,7 +5,7 @@
 Install the scalafix sbt plugin (globally or in a specific project):
 
 ```scala
-addSbtPlugin("ch.epfl.scala" % "sbt-scalafix" % "0.5.0-M2")
+addSbtPlugin("ch.epfl.scala" % "sbt-scalafix" % "0.5.0-M3")
 ```
 
 run
@@ -26,12 +26,12 @@ sbt scalafix github:typelevel/cats/v1.0.0
 
 - [x] traverse1_, intercalate1 and sequence1_ in Reducible were renamed to nonEmptyTraverse_, nonEmptyIntercalate and nonEmptySequence_ respectively.
 
+- [x] cats.free.Inject is moved from cats-free to cats-core and renamed to cats.InjectK; cats.data.Prod is renamed to cats.data.Tuple2K; cats.data.Coproduct is renamed to cats.data.EitherK
+
 # WIP
 
 - [ ] cats no longer publishes the all-inclusive bundle package "org.typelevel" % "cats", use cats-core, cats-free, or cats-law accordingly instead. If you need cats.free, use "org.typelevel" % "cats-free", if you need cats-laws use "org.typelevel" % "cats-laws", if neither, use "org.typelevel" % "cats-core".
 
-- [ ] cats.free.Inject is moved from cats-free to cats-core and renamed to cats.InjectK; cats.data.Prod is renamed to cats.data.Tuple2K; cats.data.Coproduct is renamed to cats.data.EitherK
-
 - [ ] FunctorFilter, MonadCombine, MonadFilter, MonadReader, MonadState, MonadTrans, MonadWriter and TraverseFilter are no longer in cats, the functionalities they provided are inhereted by the new cats-mtl project. Please check here for migration guide.
 
 - [ ] Apply syntax on tuple (e.g. (x, y, z).map3(...)) was moved from cats.syntax.tuple._ to cats.syntax.apply._ and renamed to mapN, contramapN and imapN respectively.

scalafix/input/src/main/scala/fix/v1_0_0/RenameInjectProdAndCoproduct.scala

@@ -0,0 +1,14 @@
+/* 
+rewrite = "scala:fix.v1_0_0.RenameInjectProdAndCoproduct"
+ */
+package fix
+package to1_0_0
+
+import cats.free.Inject
+import cats.data.{ Coproduct, Prod }
+
+object RenameInjectProdAndCoproductTests {
+  def inject[F[_], G[_]](implicit inj: Inject[F, G]) = ???
+  def prod[F[_], G[_], A](implicit prod: Prod[F, G, A]) = ???
+  def coprod[F[_], G[_], A](implicit coprod: Coproduct[F, G, A]) = ???
+}

scalafix/output/src/main/scala/fix/v1_0_0/RenameInjectProdAndCoproduct.scala

@@ -0,0 +1,11 @@
+package fix
+package to1_0_0
+
+import cats.InjectK
+import cats.data.{ EitherK, Tuple2K }
+
+object RenameInjectProdAndCoproductTests {
+  def inject[F[_], G[_]](implicit inj: InjectK[F, G]) = ???
+  def prod[F[_], G[_], A](implicit prod: Tuple2K[F, G, A]) = ???
+  def coprod[F[_], G[_], A](implicit coprod: EitherK[F, G, A]) = ???
+}