Remove tests for these laws

typelevel · Aug 1, 2019 · 24e3016 · 24e3016
1 parent 423d4b1
commit 24e3016
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/laws/src/main/scala/cats/mtl/laws/discipline/MonadStateTests.scala b/laws/src/main/scala/cats/mtl/laws/discipline/MonadStateTests.scala
@@ -28,11 +28,9 @@ trait MonadStateTests[F[_], S] extends Laws {
       "set then get returns the set value" -> ∀(laws.setThenGetReturnsSet _),
       "set then set sets the last value" -> ∀(laws.setThenSetSetsLast _),
       "get then get gets once" -> laws.getThenGetGetsOnce,
-      "modify is get then set" -> ∀(laws.modifyIsGetThenSet _),
       "set is state(unit)" -> ∀(laws.setIsStateUnit _),
       "inspect is state" -> ∀(laws.inpectIsState[A] _),
-      "modify is state" -> ∀(laws.modifyIsState _),
-      "stateIsGetAndModify" -> ∀(laws.stateIsGetAndModify[A] _)
+      "modify is state" -> ∀(laws.modifyIsState _)
     )
   }