From f7a22b53dea0f033021f15cea3d1283430bd745e Mon Sep 17 00:00:00 2001 From: Cody Allen Date: Tue, 8 Dec 2015 20:55:06 -0500 Subject: [PATCH] Add MonadFilter consistency to MonadFilter tests A `monadFilterConsistency` law was added in 8f7a110d536c087c8b70032103fb5a51fab5f34f but wasn't hooked up in the tests. This might be better accomplished with something like #370, but in the interim I think we should at least hook it up. --- .../src/main/scala/cats/laws/discipline/MonadFilterTests.scala | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/laws/src/main/scala/cats/laws/discipline/MonadFilterTests.scala b/laws/src/main/scala/cats/laws/discipline/MonadFilterTests.scala index d9948843fd..65ad0acf1c 100644 --- 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] _)) } }