Add sequential roundtrip law

typelevel · Sep 2, 2017 · d571771 · d571771
1 parent 8b9dcad
commit d571771
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 5 deletions.
diff --git a/laws/src/main/scala/cats/laws/ParallelLaws.scala b/laws/src/main/scala/cats/laws/ParallelLaws.scala
@@ -11,6 +11,9 @@ trait ParallelLaws[M[_], F[_]] {
 
   def parallelRoundTrip[A](ma: M[A]): IsEq[M[A]] =
     P.sequential(monadM)(P.parallel(monadM)(ma)) <-> ma
+
+  def sequentialRoundTrip[A](fa: F[A]): IsEq[F[A]] =
+    P.parallel(monadM)(P.sequential(monadM)(fa)) <-> fa
 }
 
 object ParallelLaws {

diff --git a/laws/src/main/scala/cats/laws/discipline/ParallelTests.scala b/laws/src/main/scala/cats/laws/discipline/ParallelTests.scala
@@ -9,11 +9,13 @@ import org.typelevel.discipline.Laws
 trait ParallelTests[M[_], F[_], A] extends Laws {
   def laws: ParallelLaws[M, F]
 
-  def parallel(implicit ArbM: Arbitrary[M[A]], EqMa: Eq[M[A]]): RuleSet = new DefaultRuleSet(
-    "parallel",
-    None,
-    "parallel round trip" -> forAll((ma: M[A]) => laws.parallelRoundTrip(ma))
-  )
+  def parallel(implicit ArbM: Arbitrary[M[A]], EqMa: Eq[M[A]], ArbF: Arbitrary[F[A]], EqFa: Eq[F[A]]): RuleSet =
+    new DefaultRuleSet(
+      "parallel",
+      None,
+      "parallel round trip" -> forAll((ma: M[A]) => laws.parallelRoundTrip(ma)),
+      "sequential round trip" -> forAll((fa: F[A]) => laws.sequentialRoundTrip(fa))
+    )
 }
 
 object ParallelTests {