Merge pull request #753 from ceedubs/cokleisli-contramapValue-test

Check that Cokleisli contramapValue and lmap methods are consistent
typelevel · Dec 17, 2015 · 279018e · 279018e
2 parents 5aa37e9 + 1a3b465
commit 279018e
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/tests/src/test/scala/cats/tests/CokleisliTests.scala b/tests/src/test/scala/cats/tests/CokleisliTests.scala
@@ -70,4 +70,9 @@ class CokleisliTests extends SlowCatsSuite {
 
   }
 
+  test("contramapValue with Id consistent with lmap"){
+    forAll { (c: Cokleisli[Id, Int, Long], f: Char => Int) =>
+      c.contramapValue[Char](f) should === (c.lmap(f))
+    }
+  }
 }