Further simplify Empty derivation (#356)

typelevel · Jun 2, 2021 · d4419da · d4419da
1 parent 851c322
commit d4419da
Showing 1 changed file with 2 additions and 6 deletions.
diff --git a/core/src/main/scala-3/cats/derived/empty.scala b/core/src/main/scala-3/cats/derived/empty.scala
@@ -13,17 +13,13 @@ trait DerivedEmpty[A] extends Empty[A]:
 object DerivedEmpty:
   inline given [A]: DerivedEmpty[A] = summonFrom {
     case given Empty[A] => delegated
-    case given K0.Generic[A] => derived
+    case given K0.ProductInstances[DerivedEmpty, A] => product
+    case given K0.CoproductGeneric[A] => coproduct
   }
 
   def delegated[A](using A: => Empty[A]): DerivedEmpty[A] =
     () => A.empty
 
-  inline def derived[A](using gen: K0.Generic[A]): DerivedEmpty[A] =
-    inline gen match
-      case given K0.ProductGeneric[A] => DerivedEmpty.product
-      case given K0.CoproductGeneric[A] => DerivedEmpty.coproduct
-
   def product[A](using inst: K0.ProductInstances[DerivedEmpty, A]): DerivedEmpty[A] =
     () => inst.construct([A] => (A: DerivedEmpty[A]) => A.empty)