typelevel · joroKr21 · Jun 4, 2021 · Jun 1, 2021 · Jun 1, 2021 · Jun 4, 2021
diff --git a/core/src/main/scala-3/cats/derived/all.scala b/core/src/main/scala-3/cats/derived/all.scala
diff --git a/core/src/main/scala-3/cats/derived/commutativeMonoid.scala b/core/src/main/scala-3/cats/derived/commutativeMonoid.scala
@@ -3,8 +3,6 @@ package cats.derived
 import cats.kernel.CommutativeMonoid
 import shapeless3.deriving.K0
 
-object commutativeMonoid extends CommutativeMonoidDerivation
-
 trait ProductCommutativeMonoid[T[x] <: CommutativeMonoid[x], A](using inst: K0.ProductInstances[T, A])
     extends ProductCommutativeSemigroup[T, A], ProductMonoid[T, A], CommutativeMonoid[A] {}
 

diff --git a/core/src/main/scala-3/cats/derived/commutativeSemigroup.scala b/core/src/main/scala-3/cats/derived/commutativeSemigroup.scala
@@ -3,8 +3,6 @@ package cats.derived
 import cats.kernel.CommutativeSemigroup
 import shapeless3.deriving.{K0, Continue}
 
-object commutativeSemigroup extends CommutativeSemigroupDerivation
-
 trait ProductCommutativeSemigroup[T[x] <: CommutativeSemigroup[x], A](using inst: K0.ProductInstances[T, A])
     extends ProductSemigroup[T, A], CommutativeSemigroup[A] {}
 

diff --git a/core/src/main/scala-3/cats/derived/contravariant.scala b/core/src/main/scala-3/cats/derived/contravariant.scala
@@ -3,8 +3,6 @@ package cats.derived
 import cats.Contravariant
 import shapeless3.deriving.K1
 
-object contravariant extends ContravariantDerivation, Instances
-
 trait GenericContravariant[T[x[_]] <: Contravariant[x], F[_]](using inst: K1.Instances[T, F])
   extends Contravariant[F]:
 

diff --git a/core/src/main/scala-3/cats/derived/empty.scala b/core/src/main/scala-3/cats/derived/empty.scala
@@ -4,8 +4,6 @@ import alleycats.Empty
 import shapeless3.deriving.K0
 import scala.compiletime.*
 
-object empty extends EmptyDerivation
-
 type DerivedEmpty[A] = Derived[Empty[A]]
 object DerivedEmpty:
   type Or[A] = Derived.Or[Empty[A]]

diff --git a/core/src/main/scala-3/cats/derived/emptyk.scala b/core/src/main/scala-3/cats/derived/emptyk.scala
@@ -3,8 +3,6 @@ package cats.derived
 import alleycats.{Empty, EmptyK}
 import shapeless3.deriving.{Const, K1}
 
-object emptyk extends EmptyKDerivation
-
 trait ProductEmptyK[T[x[_]] <: EmptyK[x], F[_]](
   using inst: K1.ProductInstances[T, F]
 ) extends EmptyK[F]:
@@ -14,6 +12,3 @@ trait EmptyKDerivation:
   extension (E: EmptyK.type)
     inline def derived[F[_]](using gen: K1.ProductGeneric[F]): EmptyK[F] =
       new ProductEmptyK[EmptyK, F]{}
-
-  given [X](using X: Empty[X]): EmptyK[Const[X]] with
-    def empty[A]: X = X.empty
diff --git a/core/src/main/scala-3/cats/derived/eq.scala b/core/src/main/scala-3/cats/derived/eq.scala
@@ -3,8 +3,6 @@ package cats.derived
 import cats.Eq
 import shapeless3.deriving.{K0, Complete}
 
-object eq extends EqDerivation
-
 trait ProductEq[T[x] <: Eq[x], A](using inst: K0.ProductInstances[T, A]) extends Eq[A]:
 
   def eqv(x: A, y: A): Boolean =

diff --git a/core/src/main/scala-3/cats/derived/foldable.scala b/core/src/main/scala-3/cats/derived/foldable.scala
@@ -4,8 +4,6 @@ import cats.{Eval, Foldable}
 import shapeless3.deriving.{Const, Continue, K1}
 import scala.compiletime.*
 
-object foldable extends FoldableDerivation, Instances
-
 type DerivedFoldable[F[_]] = Derived[Foldable[F]]
 object DerivedFoldable:
   type Or[F[_]] = Derived.Or[Foldable[F]]

diff --git a/core/src/main/scala-3/cats/derived/functor.scala b/core/src/main/scala-3/cats/derived/functor.scala
@@ -4,8 +4,6 @@ import cats.Functor
 import shapeless3.deriving.{Const, K1}
 import scala.compiletime.*
 
-object functor extends FunctorDerivation, Instances
-
 type DerivedFunctor[F[_]] = Derived[Functor[F]]
 object DerivedFunctor:
   type Or[F[_]] = Derived.Or[Functor[F]]

diff --git a/core/src/main/scala-3/cats/derived/hash.scala b/core/src/main/scala-3/cats/derived/hash.scala
@@ -6,8 +6,6 @@ import shapeless3.deriving.{K0, Continue}
 import scala.compiletime.summonInline
 import scala.util.hashing.MurmurHash3
 
-object hash extends HashDerivation
-
 trait ProductHash[T[x] <: Hash[x], A](using inst: K0.ProductInstances[T, A], ev: A <:< Product)
   extends ProductEq[T, A], Hash[A]:
 

diff --git a/core/src/main/scala-3/cats/derived/instances.scala b/core/src/main/scala-3/cats/derived/instances.scala
@@ -1,6 +1,7 @@
 package cats.derived
 
 import cats.*
+import alleycats.*
 import shapeless3.deriving.Const
 
 private[derived] trait Instances extends Instances1:
@@ -27,3 +28,6 @@ private[derived] trait Instances1:
   given [X](using X: Semigroup[X]): SemigroupK[Const[X]] with
     def combineK[A](x: Const[X][A], y: Const[X][A]): Const[X][A] =
       X.combine(x, y)
+
+  given [X](using X: Empty[X]): EmptyK[Const[X]] with
+    def empty[A]: X = X.empty
diff --git a/core/src/main/scala-3/cats/derived/invariant.scala b/core/src/main/scala-3/cats/derived/invariant.scala
@@ -3,8 +3,6 @@ package cats.derived
 import cats.Invariant
 import shapeless3.deriving.K1
 
-object invariant extends InvariantDerivation, Instances
-
 trait GenericInvariant[T[x[_]] <: Invariant[x], F[_]](using inst: K1.Instances[T, F])
   extends Invariant[F]:
     def imap[A, B](fa: F[A])(f: A => B)(g: B => A): F[B] = inst.map(fa)(

diff --git a/core/src/main/scala-3/cats/derived/monoid.scala b/core/src/main/scala-3/cats/derived/monoid.scala
@@ -3,8 +3,6 @@ package cats.derived
 import cats.Monoid
 import shapeless3.deriving.K0
 
-object monoid extends MonoidDerivation
-
 trait ProductMonoid[F[x] <: Monoid[x], A](
   using inst: K0.ProductInstances[F, A]
 ) extends ProductSemigroup[F, A], Monoid[A]:

diff --git a/core/src/main/scala-3/cats/derived/monoidk.scala b/core/src/main/scala-3/cats/derived/monoidk.scala
@@ -3,8 +3,6 @@ package cats.derived
 import cats.{Monoid, MonoidK}
 import shapeless3.deriving.{Const, K1}
 
-object monoidk extends MonoidKDerivation, Instances
-
 trait ProductMonoidK[T[x[_]] <: MonoidK[x], F[_]](using inst: K1.ProductInstances[T, F])
   extends ProductSemigroupK[T, F], MonoidK[F]:
     def empty[A]: F[A] = inst.construct([t[_]] => (emp: T[t]) => emp.empty[A])

diff --git a/core/src/main/scala-3/cats/derived/order.scala b/core/src/main/scala-3/cats/derived/order.scala
@@ -3,8 +3,6 @@ package cats.derived
 import cats.Order
 import shapeless3.deriving.{K0, Complete}
 
-object order extends OrderDerivation
-
 trait ProductOrder[T[x] <: Order[x], A](using inst: K0.ProductInstances[T, A])
     extends Order[A]:
 

diff --git a/core/src/main/scala-3/cats/derived/package.scala b/core/src/main/scala-3/cats/derived/package.scala
@@ -0,0 +1,44 @@
+package cats.derived
+
+import cats.*
+
+object semiauto extends
+  CommutativeMonoidDerivation,
+  CommutativeSemigroupDerivation,
+  ContravariantDerivation,
+  EmptyDerivation,
+  EmptyKDerivation,
+  EqDerivation,
+  FoldableDerivation,
+  FunctorDerivation,
+  HashDerivation,
+  InvariantDerivation,
+  MonoidDerivation,
+  MonoidKDerivation,
+  OrderDerivation,
+  PartialOrderDerivation,
+  ReducibleDerivation,
+  SemigroupDerivation,
+  SemigroupKDerivation,
+  ShowDerivation,
+  TraverseDerivation,
+  Instances:
+
+  def foldable[F[_]](using ev: DerivedFoldable[F]): Foldable[F] = ev.instance
+
+  def functor[F[_]](using ev: DerivedFunctor[F]): Functor[F] = ev.instance
+
+  def reducible[F[_]](using ev: DerivedReducible[F]): Reducible[F] = ev.instance
+
+  def traverse[F[_]](using ev: DerivedTraverse[F]): Traverse[F] = ev.instance
+
+
+object auto:
+
+  given [F[_]](using ev: DerivedFoldable[F]): Foldable[F] = ev.instance
+
+  given [F[_]](using ev: DerivedFunctor[F]): Functor[F] = ev.instance
+
+  given [F[_]](using ev: DerivedReducible[F]): Reducible[F] = ev.instance
+
+  given [F[_]](using ev: DerivedTraverse[F]): Traverse[F] = ev.instance
diff --git a/core/src/main/scala-3/cats/derived/partialOrder.scala b/core/src/main/scala-3/cats/derived/partialOrder.scala
@@ -3,8 +3,6 @@ package cats.derived
 import cats.PartialOrder
 import shapeless3.deriving.{K0, Complete}
 
-object partialOrder extends PartialOrderDerivation
-
 trait ProductPartialOrder[T[x] <: PartialOrder[x], A](using inst: K0.ProductInstances[T, A])
     extends PartialOrder[A]:
 

diff --git a/core/src/main/scala-3/cats/derived/reducible.scala b/core/src/main/scala-3/cats/derived/reducible.scala
@@ -4,8 +4,6 @@ import cats.{Eval, Foldable, Reducible}
 import shapeless3.deriving.{Continue, Const, K1}
 import scala.compiletime.*
 
-object reducible extends ReducibleDerivation
-
 type DerivedReducible[F[_]] = Derived[Reducible[F]]
 object DerivedReducible:
   type Or[F[_]] = Derived.Or[Reducible[F]]

diff --git a/core/src/main/scala-3/cats/derived/semigroup.scala b/core/src/main/scala-3/cats/derived/semigroup.scala
@@ -3,8 +3,6 @@ package cats.derived
 import cats.Semigroup
 import shapeless3.deriving.K0
 
-object semigroup extends SemigroupDerivation
-
 trait ProductSemigroup[F[x] <: Semigroup[x], A](
   using inst: K0.ProductInstances[F, A]
 ) extends Semigroup[A]:

diff --git a/core/src/main/scala-3/cats/derived/semigroupk.scala b/core/src/main/scala-3/cats/derived/semigroupk.scala
@@ -3,8 +3,6 @@ package cats.derived
 import cats.{Semigroup, SemigroupK}
 import shapeless3.deriving.{Const, K1}
 
-object semigroupk extends SemigroupKDerivation, Instances
-
 trait ProductSemigroupK[T[x[_]] <: SemigroupK[x], F[_]](using inst: K1.ProductInstances[T, F])
   extends SemigroupK[F]:
     def combineK[A](x: F[A], y: F[A]): F[A] = inst.map2[A, A, A](x,y)(

diff --git a/core/src/main/scala-3/cats/derived/show.scala b/core/src/main/scala-3/cats/derived/show.scala
@@ -3,8 +3,6 @@ package cats.derived
 import cats.Show
 import shapeless3.deriving.{Continue, K0, Labelling}
 
-object show extends ShowDerivation
-
 trait ShowDerivation:
 
   extension (F: Show.type)

diff --git a/core/src/main/scala-3/cats/derived/traverse.scala b/core/src/main/scala-3/cats/derived/traverse.scala
@@ -4,8 +4,6 @@ import cats.{Applicative, Eval, Traverse}
 import shapeless3.deriving.{Const, Continue, K1}
 import scala.compiletime.*
 
-object traverse extends TraverseDerivation, Instances
-
 type DerivedTraverse[F[_]] = Derived[Traverse[F]]
 object DerivedTraverse:
   type Or[F[_]] = Derived.Or[Traverse[F]]

diff --git a/core/src/test/scala-3/cats/derived/CommutativeMonoidTests.scala b/core/src/test/scala-3/cats/derived/CommutativeMonoidTests.scala
@@ -1,9 +1,9 @@
 package cats.derived
 
-import alleycats._
-import cats._
+import alleycats.*
+import cats.*
 import cats.kernel.CommutativeMonoid
-import cats.derived.all._
+import cats.derived.semiauto.*
 
 class CommutativeMonoidTests { //
   case class Foo(i: Int, b: Option[Int]) derives CommutativeMonoid

diff --git a/core/src/test/scala-3/cats/derived/CommutativeSemigroupTests.scala b/core/src/test/scala-3/cats/derived/CommutativeSemigroupTests.scala
@@ -1,9 +1,9 @@
 package cats.derived
 
-import alleycats._
-import cats._
+import alleycats.*
+import cats.*
 import cats.kernel.CommutativeSemigroup
-import cats.derived.all._
+import cats.derived.semiauto.*
 
 class CommutativeSemigroupTests { //
   case class Foo(i: Int, b: Option[Int]) derives CommutativeSemigroup

diff --git a/core/src/test/scala-3/cats/derived/ContravariantTests.scala b/core/src/test/scala-3/cats/derived/ContravariantTests.scala
@@ -1,8 +1,7 @@
 package cats.derived
 
 import cats.Contravariant
-import cats.derived.all._
-import cats.derived.all.given
+import cats.derived.semiauto.*
 
 class ContravariantTests {
 

diff --git a/core/src/test/scala-3/cats/derived/EmptyKTests.scala b/core/src/test/scala-3/cats/derived/EmptyKTests.scala
@@ -1,10 +1,10 @@
 package cats.derived
 
-import alleycats._
-import alleycats.std.all._
-import cats._
-import cats.derived.all._
-import cats.derived.all.given
+import alleycats.*
+import alleycats.std.all.*
+import cats.*
+import cats.derived.semiauto.*
+import cats.derived.semiauto.given
 
 class EmptyKTests { //
   case class Foo[A](i: String, l: List[A]) derives EmptyK

diff --git a/core/src/test/scala-3/cats/derived/EmptyTests.scala b/core/src/test/scala-3/cats/derived/EmptyTests.scala
@@ -1,8 +1,8 @@
 package cats.derived
 
-import alleycats._
-import cats._
-import cats.derived.all._
+import alleycats.*
+import cats.*
+import cats.derived.semiauto.*
 
 object EmptyTests:
   case class Foo(i: Int, b: IntTree) derives Empty

diff --git a/core/src/test/scala-3/cats/derived/EqTests.scala b/core/src/test/scala-3/cats/derived/EqTests.scala
@@ -1,8 +1,8 @@
 package cats.derived
 
-import alleycats._
-import cats._
-import cats.derived.all._
+import alleycats.*
+import cats.*
+import cats.derived.semiauto.*
 
 class EqTests { //
   case class Foo(i: Int, b: Option[String]) derives Eq

diff --git a/core/src/test/scala-3/cats/derived/FoldableTests.scala b/core/src/test/scala-3/cats/derived/FoldableTests.scala
@@ -1,7 +1,7 @@
 package cats.derived
 
 import cats.Foldable
-import cats.derived.all._
+import cats.derived.semiauto.*
 
 class FoldableTests {
 

diff --git a/core/src/test/scala-3/cats/derived/FunctorTests.scala b/core/src/test/scala-3/cats/derived/FunctorTests.scala
@@ -1,7 +1,7 @@
 package cats.derived
 
 import cats.Functor
-import cats.derived.all._
+import cats.derived.semiauto.*
 
 class FunctorTests {
 

diff --git a/core/src/test/scala-3/cats/derived/HashTests.scala b/core/src/test/scala-3/cats/derived/HashTests.scala
@@ -1,8 +1,8 @@
 package cats.derived
 
-import alleycats._
-import cats._
-import cats.derived.all._
+import alleycats.*
+import cats.*
+import cats.derived.semiauto.*
 
 class HashTests { //
   case class Foo(i: Int, b: Option[String]) derives Hash

diff --git a/core/src/test/scala-3/cats/derived/InvariantTests.scala b/core/src/test/scala-3/cats/derived/InvariantTests.scala
@@ -1,8 +1,8 @@
 package cats.derived
 
 import cats.Invariant
-import cats.derived.all._
-import cats.derived.all.given
+import cats.derived.semiauto.*
+import cats.derived.semiauto.given
 
 class InvariantTests {
 

diff --git a/core/src/test/scala-3/cats/derived/MonoidKTests.scala b/core/src/test/scala-3/cats/derived/MonoidKTests.scala
@@ -1,9 +1,8 @@
 package cats.derived
 
-import alleycats._
-import cats._
-import cats.derived.all._
-import cats.derived.all.given
+import alleycats.*
+import cats.*
+import cats.derived.semiauto.*
 
 class MonoidKTests { //
   case class Foo[A](i: String, l: List[A]) derives MonoidK