Merge pull request #728 from ceedubs/monadfilter-consistency

Add MonadFilter consistency to MonadFilter tests
typelevel · Dec 10, 2015 · 7685147 · 7685147
2 parents 32bb3a2 + f7a22b5
commit 7685147
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/laws/src/main/scala/cats/laws/discipline/MonadFilterTests.scala b/laws/src/main/scala/cats/laws/discipline/MonadFilterTests.scala
@@ -23,7 +23,8 @@ trait MonadFilterTests[F[_]] extends MonadTests[F] {
       name = "monadFilter",
       parent = Some(monad[A, B, C]),
       "monadFilter left empty" -> forAll(laws.monadFilterLeftEmpty[A, B] _),
-      "monadFilter right empty" -> forAll(laws.monadFilterRightEmpty[A, B] _))
+      "monadFilter right empty" -> forAll(laws.monadFilterRightEmpty[A, B] _),
+      "monadFilter consistency" -> forAll(laws.monadFilterConsistency[A, B] _))
   }
 }