diff --git a/kernel-laws/src/main/scala/cats/kernel/laws/discipline/EqTests.scala b/kernel-laws/src/main/scala/cats/kernel/laws/discipline/EqTests.scala index 60f6e04747..585687ed3b 100644 --- a/kernel-laws/src/main/scala/cats/kernel/laws/discipline/EqTests.scala +++ b/kernel-laws/src/main/scala/cats/kernel/laws/discipline/EqTests.scala @@ -17,10 +17,10 @@ trait EqTests[A] extends Laws { new DefaultRuleSet( "eq", None, - "eq reflexitivity" -> forAll(laws.reflexitivityEq _), - "eq symmetry" -> forAll(laws.symmetryEq _), - "eq antisymmetry" -> forAll(laws.antiSymmetryEq _), - "eq transitivity" -> forAll(laws.transitivityEq _)) + "reflexitivity" -> forAll(laws.reflexitivityEq _), + "symmetry" -> forAll(laws.symmetryEq _), + "antisymmetry" -> forAll(laws.antiSymmetryEq _), + "transitivity" -> forAll(laws.transitivityEq _)) } } diff --git a/kernel-laws/src/main/scala/cats/kernel/laws/discipline/SemigroupTests.scala b/kernel-laws/src/main/scala/cats/kernel/laws/discipline/SemigroupTests.scala index ab5436d696..8badff4e6d 100644 --- a/kernel-laws/src/main/scala/cats/kernel/laws/discipline/SemigroupTests.scala +++ b/kernel-laws/src/main/scala/cats/kernel/laws/discipline/SemigroupTests.scala @@ -15,10 +15,10 @@ trait SemigroupTests[A] extends Laws { new DefaultRuleSet( "semigroup", None, - "semigroup associative" -> forAll(laws.semigroupAssociative _), - "semigroup repeat1" -> forAll(laws.repeat1 _), - "semigroup repeat2" -> forAll(laws.repeat2 _), - "semigroup combineAllOption" -> forAll(laws.combineAllOption _)) + "associative" -> forAll(laws.semigroupAssociative _), + "repeat1" -> forAll(laws.repeat1 _), + "repeat2" -> forAll(laws.repeat2 _), + "combineAllOption" -> forAll(laws.combineAllOption _)) } object SemigroupTests {