Merge pull request #597 from fthomas/topic/less-bimonad-laws

Remove Bimonad law: F.pure(F.extract(fa)) <-> fa
typelevel · Nov 5, 2015 · e8435bd · e8435bd
2 parents 8e1214d + 05c2c87
commit e8435bd
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 4 deletions.
diff --git a/laws/src/main/scala/cats/laws/BimonadLaws.scala b/laws/src/main/scala/cats/laws/BimonadLaws.scala
@@ -13,9 +13,6 @@ trait BimonadLaws[F[_]] extends MonadLaws[F] with ComonadLaws[F] {
   def pureExtractIsId[A](a: A): IsEq[A] =
     F.extract(F.pure(a)) <-> a
 
-  def extractPureIsId[A](fa: F[A]): IsEq[F[A]] =
-    F.pure(F.extract(fa)) <-> fa
-
   def extractFlatMapEntwining[A](ffa: F[F[A]]): IsEq[A] =
     F.extract(F.flatten(ffa)) <-> F.extract(F.map(ffa)(F.extract))
 

diff --git a/laws/src/main/scala/cats/laws/discipline/BimonadTests.scala b/laws/src/main/scala/cats/laws/discipline/BimonadTests.scala
@@ -20,7 +20,6 @@ trait BimonadTests[F[_]] extends MonadTests[F] with ComonadTests[F] {
       def parents: Seq[RuleSet] = Seq(monad[A, B, C], comonad[A, B, C])
       def props: Seq[(String, Prop)] = Seq(
         "pure andThen extract = id" -> forAll(laws.pureExtractIsId[A] _),
-        "extract andThen pure = id" -> forAll(laws.extractPureIsId[A] _),
         "extract/flatMap entwining" -> forAll(laws.extractFlatMapEntwining[A] _),
         "pure/coflatMap entwining" -> forAll(laws.pureCoflatMapEntwining[A] _)
       )