From bd005103c1f86f394e56da400dfe461e0b443e5b Mon Sep 17 00:00:00 2001 From: Valy Dia Date: Wed, 8 May 2019 17:43:19 +0100 Subject: [PATCH] Update laws --- .../shared/src/test/scala/cats/kernel/laws/LawTests.scala | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/kernel-laws/shared/src/test/scala/cats/kernel/laws/LawTests.scala b/kernel-laws/shared/src/test/scala/cats/kernel/laws/LawTests.scala index 0f165b677d..bbbd61e1aa 100644 --- a/kernel-laws/shared/src/test/scala/cats/kernel/laws/LawTests.scala +++ b/kernel-laws/shared/src/test/scala/cats/kernel/laws/LawTests.scala @@ -178,10 +178,8 @@ class Tests extends AnyFunSuiteLike with Discipline { checkAll("Monoid[String]", MonoidTests[String].monoid) checkAll("Monoid[String]", SerializableTests.serializable(Monoid[String])) - checkAll("Monoid[Option[Int]]", MonoidTests[Option[Int]].monoid) - checkAll("Monoid[Option[Int]]", SerializableTests.serializable(Monoid[String])) checkAll("Monoid[Option[String]]", MonoidTests[Option[String]].monoid) - checkAll("Monoid[Option[String]]", SerializableTests.serializable(Monoid[String])) + checkAll("Monoid[Option[String]]", SerializableTests.serializable(Monoid[Option[String]])) checkAll("Monoid[List[Int]]", MonoidTests[List[Int]].monoid) checkAll("Monoid[List[Int]]", SerializableTests.serializable(Monoid[List[Int]])) checkAll("Monoid[Vector[Int]]", MonoidTests[Vector[Int]].monoid) @@ -195,6 +193,8 @@ class Tests extends AnyFunSuiteLike with Discipline { checkAll("Monoid[Queue[Int]]", MonoidTests[Queue[Int]].monoid) checkAll("Monoid[Queue[Int]]", SerializableTests.serializable(Monoid[Queue[Int]])) + checkAll("CommutativeMonoid[Option[Int]]", CommutativeMonoidTests[Option[Int]].commutativeMonoid) + checkAll("CommutativeMonoid[Option[Int]]", SerializableTests.serializable(CommutativeMonoid[Option[Int]])) checkAll("CommutativeMonoid[Map[String, Int]]", CommutativeMonoidTests[Map[String, Int]].commutativeMonoid) checkAll("CommutativeMonoid[Map[String, Int]]", SerializableTests.serializable(CommutativeMonoid[Map[String, Int]]))