Cleanup

typelevel · Sep 22, 2017 · 0616d9b · 0616d9b
1 parent c383cd7
commit 0616d9b
Show file tree

Hide file tree

Showing 6 changed files with 4 additions and 133 deletions.
diff --git a/kernel-laws/src/main/scala/cats/kernel/laws/BaseLaws.scala b/kernel-laws/src/main/scala/cats/kernel/laws/BaseLaws.scala
diff --git a/kernel-laws/src/main/scala/cats/kernel/laws/IsSerializable.scala b/kernel-laws/src/main/scala/cats/kernel/laws/IsSerializable.scala
diff --git a/kernel-laws/src/main/scala/cats/kernel/laws/discipline/MonoidTests.scala b/kernel-laws/src/main/scala/cats/kernel/laws/discipline/MonoidTests.scala
@@ -14,7 +14,7 @@ trait MonoidTests[A] extends SemigroupTests[A] {
       "monoid",
       Some(semigroup),
       "left identity" -> forAll(laws.leftIdentity _),
-      "right identity" -> forAll(laws.leftIdentity _),
+      "right identity" -> forAll(laws.rightIdentity _),
       "combine all" -> forAll(laws.combineAll _),
       "collect0" -> forAll(laws.collect0 _),
       "repeat0" -> forAll(laws.repeat0 _))

diff --git a/laws/src/main/scala/cats/laws/SerializableLaws.scala b/laws/src/main/scala/cats/laws/SerializableLaws.scala
diff --git a/laws/src/main/scala/cats/laws/discipline/SerializableTests.scala b/laws/src/main/scala/cats/laws/discipline/SerializableTests.scala
diff --git a/laws/src/main/scala/cats/laws/discipline/package.scala b/laws/src/main/scala/cats/laws/discipline/package.scala
@@ -4,6 +4,9 @@ package laws
 import org.scalacheck.Prop
 
 package object discipline {
+
+  val SerializableTests = cats.kernel.laws.discipline.SerializableTests
+
   implicit def catsLawsIsEqToProp[A: Eq](isEq: IsEq[A]): Prop =
     cats.kernel.laws.discipline.catsLawsIsEqToProp[A](isEq)
 }