Move IsEq

typelevel · Oct 4, 2017 · c6ce594 · c6ce594
1 parent e9ee232
commit c6ce594
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/kernel-laws/src/main/scala/cats/kernel/laws/GroupLaws.scala b/kernel-laws/src/main/scala/cats/kernel/laws/GroupLaws.scala
@@ -2,8 +2,6 @@ package cats.kernel
 package laws
 
 
-final case class IsEq[A](lhs: A, rhs: A)
-
 trait GroupLaws[A] extends MonoidLaws[A] {
   override implicit def S: Group[A]
 

diff --git a/kernel-laws/src/main/scala/cats/kernel/laws/IsEq.scala b/kernel-laws/src/main/scala/cats/kernel/laws/IsEq.scala
@@ -0,0 +1,5 @@
+package cats.kernel
+package laws
+
+/** Represents two values of the same type that are expected to be equal. */
+final case class IsEq[A](lhs: A, rhs: A)