-> reflexivity (typelevel#2672)

ceedubs · Feb 12, 2019 · 663f654 · 663f654
1 parent 9cc7a74
commit 663f654
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 6 deletions.
diff --git a/kernel-laws/src/main/scala/cats/kernel/laws/EqLaws.scala b/kernel-laws/src/main/scala/cats/kernel/laws/EqLaws.scala
@@ -6,7 +6,7 @@ trait EqLaws[A] {
 
   implicit def E: Eq[A]
 
-  def reflexitivityEq(x: A): IsEq[A] =
+  def reflexivityEq(x: A): IsEq[A] =
     x <-> x
 
   def symmetryEq(x: A, y: A): IsEq[Boolean] =

diff --git a/kernel-laws/src/main/scala/cats/kernel/laws/PartialOrderLaws.scala b/kernel-laws/src/main/scala/cats/kernel/laws/PartialOrderLaws.scala
@@ -6,10 +6,10 @@ import cats.kernel.instances.option._
 trait PartialOrderLaws[A] extends EqLaws[A] {
   implicit override def E: PartialOrder[A]
 
-  def reflexitivityLt(x: A): IsEq[Boolean] =
+  def reflexivityLt(x: A): IsEq[Boolean] =
     E.lteqv(x, x) <-> true
 
-  def reflexitivityGt(x: A): IsEq[Boolean] =
+  def reflexivityGt(x: A): IsEq[Boolean] =
     E.gteqv(x, x) <-> true
 
   def antisymmetry(x: A, y: A): IsEq[Boolean] =

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
@@ -17,7 +17,7 @@ trait EqTests[A] extends Laws {
     new DefaultRuleSet(
       "eq",
       None,
-      "reflexitivity" -> forAll(laws.reflexitivityEq _),
+      "reflexivity" -> forAll(laws.reflexivityEq _),
       "symmetry" -> forAll(laws.symmetryEq _),
       "antisymmetry" -> forAll(laws.antiSymmetryEq _),
       "transitivity" -> forAll(laws.transitivityEq _)

diff --git a/kernel-laws/src/main/scala/cats/kernel/laws/discipline/PartialOrderTests.scala b/kernel-laws/src/main/scala/cats/kernel/laws/discipline/PartialOrderTests.scala
@@ -16,8 +16,8 @@ trait PartialOrderTests[A] extends EqTests[A] {
       "partialOrder",
       Some(eqv),
       "transitivity" -> forAll(laws.transitivity _),
-      "reflexitivity lt" -> forAll(laws.reflexitivityLt _),
-      "reflexitivity gt" -> forAll(laws.reflexitivityGt _),
+      "reflexivity lt" -> forAll(laws.reflexivityLt _),
+      "reflexivity gt" -> forAll(laws.reflexivityGt _),
       "antisymmetry" -> forAll(laws.antisymmetry _),
       "gt" -> forAll(laws.gt _),
       "gteqv" -> forAll(laws.gteqv _),