Skip to content

Commit

Permalink
Merge pull request #2016 from denisrosset/topic/remove-redundant-eq
Browse files Browse the repository at this point in the history
Removed redundant Eq instance
  • Loading branch information
fthomas authored Nov 6, 2017
2 parents 77ac6bf + 1ae86ab commit ef5550e
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 3 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -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]] =
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -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)
}

0 comments on commit ef5550e

Please sign in to comment.