Move followedBy/forEffect tests to ApplyTests (#1963)

typelevel · Oct 11, 2017 · 523ac99 · 523ac99
1 parent aaecd08
commit 523ac99
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/laws/src/main/scala/cats/laws/discipline/ApplyTests.scala b/laws/src/main/scala/cats/laws/discipline/ApplyTests.scala
@@ -29,7 +29,9 @@ trait ApplyTests[F[_]] extends FunctorTests[F] with CartesianTests[F] {
     val props = Seq(
       "apply composition" -> forAll(laws.applyComposition[A, B, C] _),
       "map2/product-map consistency" -> forAll(laws.map2ProductConsistency[A, B, C] _),
-      "map2/map2Eval consistency" -> forAll(laws.map2EvalConsistency[A, B, C] _))
+      "map2/map2Eval consistency" -> forAll(laws.map2EvalConsistency[A, B, C] _),
+      "followedBy consistent map2" -> forAll(laws.followedByConsistency[A, C] _),
+      "forEffect consistent map2" -> forAll(laws.forEffectConsistency[A, C] _))
   }
 }
 

diff --git a/laws/src/main/scala/cats/laws/discipline/FlatMapTests.scala b/laws/src/main/scala/cats/laws/discipline/FlatMapTests.scala
@@ -36,8 +36,6 @@ trait FlatMapTests[F[_]] extends ApplyTests[F] {
       "flatMap associativity" -> forAll(laws.flatMapAssociativity[A, B, C] _),
       "flatMap consistent apply" -> forAll(laws.flatMapConsistentApply[A, B] _),
       "flatMap from tailRecM consistency" -> forAll(laws.flatMapFromTailRecMConsistency[A, B] _),
-      "followedBy consistent flatMap" -> forAll(laws.followedByConsistency[A, B] _),
-      "forEffect consistent flatMap" -> forAll(laws.forEffectConsistency[A, B] _),
       "mproduct consistent flatMap" -> forAll(laws.mproductConsistency[A, B] _),
       "tailRecM consistent flatMap" -> forAll(laws.tailRecMConsistentFlatMap[A] _))
   }