Add using clause for context bounds (#641)

Also reduce flakiness of `GroupSuite`
typelevel · Jan 20, 2024 · 6ebfc5f · 6ebfc5f
1 parent 2fd70dc
commit 6ebfc5f
Show file tree

Hide file tree

Showing 22 changed files with 22 additions and 22 deletions.
diff --git a/core/src/test/scala-3/cats/derived/AlternativeSuite.scala b/core/src/test/scala-3/cats/derived/AlternativeSuite.scala
@@ -27,7 +27,7 @@ class AlternativeSuite extends KittensSuite:
   import AlternativeSuite.*
 
   inline def tests[F[_]]: AlternativeTests[F] =
-    AlternativeTests[F](summonInline)
+    AlternativeTests[F](using summonInline)
 
   inline def validate(inline instance: String): Unit =
     checkAll(s"$instance[CaseClassWOption]", tests[CaseClassWOption].alternative[Int, String, Long])

diff --git a/core/src/test/scala-3/cats/derived/ApplicativeSuite.scala b/core/src/test/scala-3/cats/derived/ApplicativeSuite.scala
@@ -28,7 +28,7 @@ class ApplicativeSuite extends KittensSuite:
   import ApplicativeSuite.*
 
   inline def tests[F[_]]: ApplicativeTests[F] =
-    ApplicativeTests[F](summonInline)
+    ApplicativeTests[F](using summonInline)
 
   inline def validate(inline instance: String): Unit =
     checkAll(s"$instance[CaseClassWOption]", tests[CaseClassWOption].applicative[Int, String, Long])

diff --git a/core/src/test/scala-3/cats/derived/ApplySuite.scala b/core/src/test/scala-3/cats/derived/ApplySuite.scala
@@ -27,7 +27,7 @@ class ApplySuite extends KittensSuite:
   import ApplySuite.*
 
   inline def tests[F[_]]: ApplyTests[F] =
-    ApplyTests[F](summonInline)
+    ApplyTests[F](using summonInline)
 
   inline def validate(inline instance: String): Unit =
     checkAll(s"$instance[CaseClassWOption]", tests[CaseClassWOption].apply[Int, String, Long])

diff --git a/core/src/test/scala-3/cats/derived/CommutativeMonoidSuite.scala b/core/src/test/scala-3/cats/derived/CommutativeMonoidSuite.scala
@@ -25,7 +25,7 @@ class CommutativeMonoidSuite extends KittensSuite:
   import ADTs.*
 
   inline def tests[A]: CommutativeMonoidTests[A] =
-    CommutativeMonoidTests[A](summonInline)
+    CommutativeMonoidTests[A](using summonInline)
 
   inline def validate(inline instance: String): Unit =
     checkAll(s"$instance[CommutativeFoo]", tests[CommutativeFoo].commutativeMonoid)

diff --git a/core/src/test/scala-3/cats/derived/CommutativeSemigroupSuite.scala b/core/src/test/scala-3/cats/derived/CommutativeSemigroupSuite.scala
@@ -25,7 +25,7 @@ class CommutativeSemigroupSuite extends KittensSuite:
   import ADTs.*
 
   inline def tests[A]: CommutativeSemigroupTests[A] =
-    CommutativeSemigroupTests[A](summonInline)
+    CommutativeSemigroupTests[A](using summonInline)
 
   inline def validate(inline instance: String): Unit =
     checkAll(s"$instance[CommutativeFoo]", tests[CommutativeFoo].commutativeSemigroup)

diff --git a/core/src/test/scala-3/cats/derived/ContravariantSuite.scala b/core/src/test/scala-3/cats/derived/ContravariantSuite.scala
@@ -29,7 +29,7 @@ class ContravariantSuite extends KittensSuite:
   import ADTs.*
 
   inline def tests[F[_]]: ContravariantTests[F] =
-    ContravariantTests[F](summonInline)
+    ContravariantTests[F](using summonInline)
 
   inline def validate(instance: String): Unit =
     checkAll(s"$instance[OptPred]", tests[OptPred].contravariant[MiniInt, String, Boolean])

diff --git a/core/src/test/scala-3/cats/derived/EqSuite.scala b/core/src/test/scala-3/cats/derived/EqSuite.scala
@@ -25,7 +25,7 @@ class EqSuite extends KittensSuite.WithoutEq:
   import ADTs.*
 
   inline def tests[A]: EqTests[A] =
-    EqTests[A](summonInline)
+    EqTests[A](using summonInline)
 
   inline def validate(inline instance: String): Unit =
     checkAll(s"$instance[Foo]]", tests[Foo].eqv)

diff --git a/core/src/test/scala-3/cats/derived/FoldableSuite.scala b/core/src/test/scala-3/cats/derived/FoldableSuite.scala
@@ -28,7 +28,7 @@ class FoldableSuite extends KittensSuite:
   import ADTs.*
 
   inline def tests[F[_]]: FoldableTests[F] =
-    FoldableTests[F](summonInline)
+    FoldableTests[F](using summonInline)
 
   inline def validate(inline instance: String): Unit =
     checkAll(s"$instance[IList]", tests[IList].foldable[Int, Long])

diff --git a/core/src/test/scala-3/cats/derived/FunctorSuite.scala b/core/src/test/scala-3/cats/derived/FunctorSuite.scala
@@ -31,7 +31,7 @@ class FunctorSuite extends KittensSuite:
     ExhaustiveCheck.instance(List(_ => true, _ => false, identity, !_))
 
   inline def tests[F[_]]: FunctorTests[F] =
-    FunctorTests[F](summonInline)
+    FunctorTests[F](using summonInline)
 
   inline def validate(inline instance: String): Unit =
     checkAll(s"$instance[IList]", tests[IList].functor[Int, String, Long])

diff --git a/core/src/test/scala-3/cats/derived/HashSuite.scala b/core/src/test/scala-3/cats/derived/HashSuite.scala
@@ -9,7 +9,7 @@ class HashSuite extends KittensSuite:
   import ADTs.*
 
   inline def tests[A]: HashTests[A] =
-    HashTests[A](summonInline)
+    HashTests[A](using summonInline)
 
   inline def validate(inline instance: String): Unit =
     checkAll(s"$instance[IList[Int]]", tests[IList[Int]].hash)

diff --git a/core/src/test/scala-3/cats/derived/InvariantSuite.scala b/core/src/test/scala-3/cats/derived/InvariantSuite.scala
@@ -29,7 +29,7 @@ class InvariantSuite extends KittensSuite:
   import InvariantSuite.*
 
   inline def tests[F[_]]: InvariantTests[F] =
-    InvariantTests[F](summonInline)
+    InvariantTests[F](using summonInline)
 
   inline def validate(instance: String): Unit =
     checkAll(s"$instance[TreeF]", tests[TreeF].invariant[MiniInt, String, Boolean])

diff --git a/core/src/test/scala-3/cats/derived/KittensSuite.scala b/core/src/test/scala-3/cats/derived/KittensSuite.scala
@@ -55,7 +55,7 @@ object KittensSuite:
       .withMinSize(0)
 
     // The default Arbitrary[Duration] causes overflow.
-    given Arbitrary[Duration] = Arbitrary(Gen.chooseNum(-1000.days.toNanos, 1000.days.toNanos).map(Duration.fromNanos))
+    given Arbitrary[Duration] = Arbitrary(Gen.chooseNum(-750.days.toNanos, 750.days.toNanos).map(Duration.fromNanos))
     given [A: Arbitrary]: Arbitrary[List[A]] = Arbitrary.arbContainer
     given [A <: Singleton: ValueOf]: Arbitrary[A] = Arbitrary(Gen.const(valueOf[A]))
     given [A <: Singleton: ValueOf]: Cogen[A] = Cogen((seed, _) => seed)

diff --git a/core/src/test/scala-3/cats/derived/MonoidKSuite.scala b/core/src/test/scala-3/cats/derived/MonoidKSuite.scala
@@ -11,7 +11,7 @@ class MonoidKSuite extends KittensSuite:
   import ADTs.*
 
   inline def tests[F[_]]: MonoidKTests[F] =
-    MonoidKTests[F](summonInline)
+    MonoidKTests[F](using summonInline)
 
   inline def validate(instance: String): Unit =
     checkAll(s"$instance[ComplexProduct]", tests[ComplexProduct].monoidK[Char])

diff --git a/core/src/test/scala-3/cats/derived/MonoidSuite.scala b/core/src/test/scala-3/cats/derived/MonoidSuite.scala
@@ -25,7 +25,7 @@ class MonoidSuite extends KittensSuite:
   import ADTs.*
 
   inline def tests[A]: MonoidTests[A] =
-    MonoidTests[A](summonInline)
+    MonoidTests[A](using summonInline)
 
   inline def validate(inline instance: String): Unit =
     checkAll(s"$instance[Foo]", tests[Foo].monoid)

diff --git a/core/src/test/scala-3/cats/derived/NonEmptyAlternativeSuite.scala b/core/src/test/scala-3/cats/derived/NonEmptyAlternativeSuite.scala
@@ -27,7 +27,7 @@ class NonEmptyAlternativeSuite extends KittensSuite:
   import NonEmptyAlternativeSuite.*
 
   inline def tests[F[_]]: NonEmptyAlternativeTests[F] =
-    NonEmptyAlternativeTests[F](summonInline)
+    NonEmptyAlternativeTests[F](using summonInline)
 
   inline def validate(inline instance: String): Unit =
     checkAll(s"$instance[CaseClassWOption]", tests[CaseClassWOption].nonEmptyAlternative[Int, String, Long])

diff --git a/core/src/test/scala-3/cats/derived/NonEmptyTraverseSuite.scala b/core/src/test/scala-3/cats/derived/NonEmptyTraverseSuite.scala
@@ -28,7 +28,7 @@ class NonEmptyTraverseSuite extends KittensSuite:
   import ADTs.*
 
   inline def tests[F[_]]: NonEmptyTraverseTests[F] =
-    NonEmptyTraverseTests[F](summonInline)
+    NonEmptyTraverseTests[F](using summonInline)
 
   inline def validate(inline instance: String): Unit =
     checkAll(

diff --git a/core/src/test/scala-3/cats/derived/OrderSuite.scala b/core/src/test/scala-3/cats/derived/OrderSuite.scala
@@ -25,7 +25,7 @@ class OrderSuite extends KittensSuite:
   import ADTs.*
 
   inline def tests[A]: OrderTests[A] =
-    OrderTests[A](summonInline)
+    OrderTests[A](using summonInline)
 
   inline def validate(instance: String): Unit =
     checkAll(s"$instance[Inner]", tests[Inner].order)

diff --git a/core/src/test/scala-3/cats/derived/PartialOrderSuite.scala b/core/src/test/scala-3/cats/derived/PartialOrderSuite.scala
@@ -26,7 +26,7 @@ class PartialOrderSuite extends KittensSuite:
   import ADTs.*
 
   inline def tests[A]: PartialOrderTests[A] =
-    PartialOrderTests[A](summonInline)
+    PartialOrderTests[A](using summonInline)
 
   inline def validate(instance: String): Unit =
     checkAll(s"$instance[IList[Int]]", tests[IList[Int]].partialOrder)

diff --git a/core/src/test/scala-3/cats/derived/ReducibleSuite.scala b/core/src/test/scala-3/cats/derived/ReducibleSuite.scala
@@ -29,7 +29,7 @@ class ReducibleSuite extends KittensSuite:
   import ADTs.*
 
   inline def tests[F[_]]: ReducibleTests[F] =
-    ReducibleTests[F](summonInline)
+    ReducibleTests[F](using summonInline)
 
   inline def validate(instance: String): Unit =
     checkAll(s"$instance[ICons]", tests[ICons].reducible[Option, Int, Long])

diff --git a/core/src/test/scala-3/cats/derived/SemigroupKSuite.scala b/core/src/test/scala-3/cats/derived/SemigroupKSuite.scala
@@ -11,7 +11,7 @@ class SemigroupKSuite extends KittensSuite:
   import ADTs.*
 
   inline def tests[F[_]]: SemigroupKTests[F] =
-    SemigroupKTests[F](summonInline)
+    SemigroupKTests[F](using summonInline)
 
   inline def validate(instance: String): Unit =
     checkAll(s"$instance[ComplexProduct]", tests[ComplexProduct].semigroupK[Char])

diff --git a/core/src/test/scala-3/cats/derived/SemigroupSuite.scala b/core/src/test/scala-3/cats/derived/SemigroupSuite.scala
@@ -27,7 +27,7 @@ class SemigroupSuite extends KittensSuite:
   import ADTs.*
 
   inline def tests[A]: SemigroupTests[A] =
-    SemigroupTests[A](summonInline)
+    SemigroupTests[A](using summonInline)
 
   inline def validate(inline instances: String): Unit =
     checkAll(s"$instances[Foo]", tests[Foo].semigroup)

diff --git a/core/src/test/scala-3/cats/derived/TraverseSuite.scala b/core/src/test/scala-3/cats/derived/TraverseSuite.scala
@@ -11,7 +11,7 @@ class TraverseSuite extends KittensSuite:
   import TraverseSuite.*
 
   inline def tests[F[_]]: TraverseTests[F] =
-    TraverseTests[F](summonInline)
+    TraverseTests[F](using summonInline)
 
   inline def validate(inline instance: String): Unit =
     checkAll(s"$instance[IList]", tests[IList].traverse[Int, Double, String, Long, Option, Option])