Remove FunctorEmpty and TraverseEmpty (#51)

* Remove FunctorEmpty and TraverseEmpty Issue #47 cf. https://github.com/typelevel/cats/pull/2405/files One instance cannot be discovered in the RWSTT tests, currently looking into that... * Add back ReaderWriterStateTInstances Adds back accidentally deleted instances
typelevel · Sep 6, 2018 · a5105e6 · a5105e6
1 parent dbc7a59
commit a5105e6
Show file tree

Hide file tree

Showing 15 changed files with 1 addition and 832 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,6 @@ trait AllInstances extends EitherTInstances
   with RaiseInstances with ReaderTInstances
   with LocalInstances with StateInstances
   with StateTInstances with WriterTInstances
-  with EmptyInstances with ReaderWriterStateTInstances
+  with ReaderWriterStateTInstances
   with HandleInstances
   with ChronicleInstances with IorTInstances