diff --git a/core/src/main/scala-3/cats/derived/instances.scala b/core/src/main/scala-3/cats/derived/instances.scala deleted file mode 100644 index 94f56d4a..00000000 --- a/core/src/main/scala-3/cats/derived/instances.scala +++ /dev/null @@ -1,24 +0,0 @@ -package cats.derived - -import cats.* -import shapeless3.deriving.Const - -private[derived] trait Instances: - - given [X](using X: Monoid[X]): MonoidK[Const[X]] with - def empty[A]: Const[X][A] = X.empty - - def combineK[A](x: Const[X][A], y: Const[X][A]): Const[X][A] = - X.combine(x, y) - - given [X]: Traverse[Const[X]] with Contravariant[Const[X]] with - override def map[A, B](fa: Const[X][A])(f: A => B): Const[X][B] = fa - - def contramap[A, B](fa: X)(f: B => A): X = fa - - def foldLeft[A, B](fa: Const[X][A], b: B)(f: (B, A) => B): B = b - - def foldRight[A, B](fa: Const[X][A], lb: Eval[B])(f: (A, Eval[B]) => Eval[B]): Eval[B] = lb - - def traverse[G[_]: Applicative, A, B](fa: Const[X][A])(f: A => G[B]): G[Const[X][B]] = - Applicative[G].pure(fa) diff --git a/core/src/main/scala-3/cats/derived/package.scala b/core/src/main/scala-3/cats/derived/package.scala index db721d01..2bd150fa 100644 --- a/core/src/main/scala-3/cats/derived/package.scala +++ b/core/src/main/scala-3/cats/derived/package.scala @@ -30,7 +30,7 @@ extension (x: Contravariant.type) inline def derived[F[_]]: Contravariant[F] = D extension (x: Invariant.type) inline def derived[F[_]]: Invariant[F] = DerivedInvariant[F] extension (x: PartialOrder.type) inline def derived[A]: PartialOrder[A] = DerivedPartialOrder[A] -object semiauto extends Instances: +object semiauto: inline def eq[A]: Eq[A] = DerivedEq[A] inline def hash[A]: Hash[A] = DerivedHash[A] inline def empty[A]: Empty[A] = DerivedEmpty[A]