From 7f173d0d3dbeca0ee6214741114900d60137b0cf Mon Sep 17 00:00:00 2001 From: Denis Rosset Date: Mon, 6 Nov 2017 17:36:10 +0100 Subject: [PATCH 1/2] Removed redundant Eq instance --- .../src/main/scala/cats/kernel/laws/discipline/package.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kernel-laws/src/main/scala/cats/kernel/laws/discipline/package.scala b/kernel-laws/src/main/scala/cats/kernel/laws/discipline/package.scala index f5b0239b3b..c96cafc65d 100644 --- a/kernel-laws/src/main/scala/cats/kernel/laws/discipline/package.scala +++ b/kernel-laws/src/main/scala/cats/kernel/laws/discipline/package.scala @@ -4,6 +4,6 @@ import cats.kernel.Eq import org.scalacheck.Prop package object discipline { - implicit def catsLawsIsEqToProp[A: Eq](isEq: IsEq[A])(implicit ev: Eq[A]): Prop = + implicit def catsLawsIsEqToProp[A](isEq: IsEq[A])(implicit ev: Eq[A]): Prop = ev.eqv(isEq.lhs, isEq.rhs) } From 1ae86ab05c51887706e992be368ce9244101c3b0 Mon Sep 17 00:00:00 2001 From: Denis Rosset Date: Mon, 6 Nov 2017 17:42:12 +0100 Subject: [PATCH 2/2] Also removed unnecessary parameter --- .../src/main/scala/cats/kernel/laws/SemigroupLaws.scala | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/kernel-laws/src/main/scala/cats/kernel/laws/SemigroupLaws.scala b/kernel-laws/src/main/scala/cats/kernel/laws/SemigroupLaws.scala index 6c290b6ac8..52265cbb54 100644 --- a/kernel-laws/src/main/scala/cats/kernel/laws/SemigroupLaws.scala +++ b/kernel-laws/src/main/scala/cats/kernel/laws/SemigroupLaws.scala @@ -8,10 +8,10 @@ trait SemigroupLaws[A] { def semigroupAssociative(x: A, y: A, z: A): IsEq[A] = S.combine(S.combine(x, y), z) <-> S.combine(x, S.combine(y, z)) - def repeat1(a: A, i: Int): IsEq[A] = + def repeat1(a: A): IsEq[A] = S.combineN(a, 1) <-> a - def repeat2(a: A, i: Int): IsEq[A] = + def repeat2(a: A): IsEq[A] = S.combineN(a, 2) <-> S.combine(a, a) def combineAllOption(xs: Vector[A]): IsEq[Option[A]] =