Test Monad map/flatMap coherence law

This is basically the same story as typelevel#728, but it was introduced in fa6457a.
ceedubs · Dec 10, 2015 · 8788d9d · 8788d9d
1 parent 44b4ff4
commit 8788d9d
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/laws/src/main/scala/cats/laws/discipline/MonadTests.scala b/laws/src/main/scala/cats/laws/discipline/MonadTests.scala
@@ -25,7 +25,8 @@ trait MonadTests[F[_]] extends ApplicativeTests[F] with FlatMapTests[F] {
       def parents: Seq[RuleSet] = Seq(applicative[A, B, C], flatMap[A, B, C])
       def props: Seq[(String, Prop)] = Seq(
         "monad left identity" -> forAll(laws.monadLeftIdentity[A, B] _),
-        "monad right identity" -> forAll(laws.monadRightIdentity[A] _)
+        "monad right identity" -> forAll(laws.monadRightIdentity[A] _),
+        "map flatMap coherence" -> forAll(laws.mapFlatMapCoherence[A, B] _)
       )
     }
   }