From 3466b218b44c4dd3c84a5cda7021d115f7e35c53 Mon Sep 17 00:00:00 2001 From: mattkohl Date: Mon, 17 Dec 2018 10:50:49 +0000 Subject: [PATCH] -> reflexivity --- kernel-laws/src/main/scala/cats/kernel/laws/EqLaws.scala | 2 +- .../src/main/scala/cats/kernel/laws/PartialOrderLaws.scala | 4 ++-- .../src/main/scala/cats/kernel/laws/discipline/EqTests.scala | 2 +- .../scala/cats/kernel/laws/discipline/PartialOrderTests.scala | 4 ++-- 4 files changed, 6 insertions(+), 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 index 4e02ff981e..dab242124c 100644 --- 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 index f8887d7c14..eb08c0ce9d 100644 --- 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] { override implicit 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 index 585687ed3b..6e0f03687a 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,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 index 3be02c47dd..2b6d070afc 100644 --- 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 _),