Remove FunctorEmpty and TraverseEmpty

Issue typelevel#47 cf. https://github.com/typelevel/cats/pull/2405/files One instance cannot be discovered in the RWSTT tests, currently looking into that...
stephen-lazaro · Aug 21, 2018 · 8e2596a · 8e2596a
1 parent af123f0
commit 8e2596a
Show file tree

Hide file tree

Showing 16 changed files with 2 additions and 834 deletions.
diff --git a/core/src/main/scala/cats/mtl/FunctorEmpty.scala b/core/src/main/scala/cats/mtl/FunctorEmpty.scala
diff --git a/core/src/main/scala/cats/mtl/TraverseEmpty.scala b/core/src/main/scala/cats/mtl/TraverseEmpty.scala
diff --git a/core/src/main/scala/cats/mtl/hierarchy/BaseHierarchy.scala b/core/src/main/scala/cats/mtl/hierarchy/BaseHierarchy.scala
@@ -7,8 +7,6 @@ trait BaseHierarchy extends BH0
 object base extends BaseHierarchy
 
 private[hierarchy] trait BH0 extends BH1 {
-  implicit final def functorEmptyFromTraverseEmpty[F[_]](implicit F: TraverseEmpty[F]): FunctorEmpty[F] = F.functorEmpty
-
   implicit final def askFromLocal[F[_], E](implicit local: ApplicativeLocal[F, E]): ApplicativeAsk[F, E] = local.ask
 
   implicit final def tellFromListen[F[_], L](implicit listen: FunctorListen[F, L]): FunctorTell[F, L] = listen.tell

diff --git a/core/src/main/scala/cats/mtl/instances/all.scala b/core/src/main/scala/cats/mtl/instances/all.scala
@@ -9,6 +9,5 @@ trait AllInstances extends EitherTInstances
   with RaiseInstances with ReaderTInstances
   with LocalInstances with StateInstances
   with StateTInstances with WriterTInstances
-  with EmptyInstances with ReaderWriterStateTInstances
   with HandleInstances
   with ChronicleInstances with IorTInstances