Fixes to laws.

typelevel · Oct 30, 2017 · c01b4d6 · c01b4d6
1 parent 1ec03ec
commit c01b4d6
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/js/src/test/scala/cats/tests/FutureTests.scala b/js/src/test/scala/cats/tests/FutureTests.scala
@@ -38,7 +38,7 @@ class FutureTests extends CatsSuite {
     }
 
   implicit val throwableEq: Eq[Throwable] =
-    Eq[String].on(_.toString)
+    Eq.by[Throwable, String](_.toString)
 
   implicit val comonad: Comonad[Future] = futureComonad(timeout)
 

diff --git a/kernel-laws/src/test/scala/cats/kernel/laws/LawTests.scala b/kernel-laws/src/test/scala/cats/kernel/laws/LawTests.scala
@@ -94,7 +94,7 @@ class Tests extends FunSuite with Discipline {
 
   {
     // needed for Cogen[Map[...]]
-    implicit val ohe: Ordering[HasEq[Int]] = Ordering[Int].on(_.a)
+    implicit val ohe: Ordering[HasEq[Int]] = Ordering.by[HasEq[Int], Int](_.a)
     checkAll("Eq[Map[String, HasEq[Int]]]", EqTests[Map[String, HasEq[Int]]].eqv)
   }
 
@@ -365,7 +365,7 @@ class Tests extends FunSuite with Discipline {
 
   object HasHash {
     implicit def hasHash[A: Hash]: Hash[HasHash[A]] =
-      Hash.by(_.a) // not Hash[A].on(_.a) because of diamond inheritance problems with Eq
+      Hash.by(_.a)
     implicit def hasHashArbitrary[A: Arbitrary]: Arbitrary[HasHash[A]] =
       Arbitrary(arbitrary[A].map(HasHash(_)))
     implicit def hasCogen[A: Cogen]: Cogen[HasHash[A]] =