Improving test coverage

typelevel · Mar 28, 2016 · b407973 · b407973
1 parent 58362c2
commit b407973
Show file tree

Hide file tree

Showing 2 changed files with 29 additions and 0 deletions.
diff --git a/jvm/src/test/scala/cats/tests/FutureTests.scala b/jvm/src/test/scala/cats/tests/FutureTests.scala
@@ -4,6 +4,7 @@ package tests
 
 import cats.data.Xor
 import cats.laws.discipline._
+import cats.laws.discipline.arbitrary.evalArbitrary
 import cats.laws.discipline.eq.tuple3Eq
 import cats.jvm.std.future.futureComonad
 import cats.tests.CatsSuite
@@ -40,4 +41,10 @@ class FutureTests extends CatsSuite {
 
   checkAll("Future[Int]", MonadErrorTests[Future, Throwable].monadError[Int, Int, Int])
   checkAll("Future[Int]", ComonadTests[Future].comonad[Int, Int, Int])
+
+  test("pureEval lifts a potentially lazy value into Future") {
+    forAll { e: Eval[Int] =>
+      e.pureEval[Future].extract should === (e.value)
+    }
+  }
 }
diff --git a/tests/src/test/scala/cats/tests/FunctorTests.scala b/tests/src/test/scala/cats/tests/FunctorTests.scala
@@ -5,6 +5,7 @@ import cats.data.Xor
 import cats.functor.Contravariant
 import cats.laws.discipline.{ContravariantTests, FunctorTests, SerializableTests}
 import cats.laws.discipline.arbitrary._
+import cats.laws.discipline.eq._
 import cats.laws.discipline.eq.showEq
 
 class FunctorTest extends CatsSuite {
@@ -15,9 +16,30 @@ class FunctorTest extends CatsSuite {
   checkAll("Option compose Xor", FunctorTests(optionXorFunctor).functor[Int, Int, Int])
   checkAll("Functor[Option compose Xor]", SerializableTests.serializable(optionXorFunctor))
 
+  val optionComposeWithFunctorXor: Functor[OptionXor] =
+    Functor[Option].composeWithFunctor[Xor[String, ?]]
+  checkAll("Option composeWithFunctor Xor", FunctorTests(optionComposeWithFunctorXor).functor[Int, Int, Int])
+  checkAll("Functor[Option composeWithFunctor Xor]", SerializableTests.serializable(optionComposeWithFunctorXor))
+
   type OptionShow[A] = Option[Show[A]]
   val optionShowContravariant: Contravariant[OptionShow] =
       Functor[Option].composeWithContravariant[Show]
   checkAll("Option composeWithContravariant Show", ContravariantTests(optionShowContravariant).contravariant[Int, Int, Int])
   checkAll("Contravariant[Option composeWithContravariant Show]", SerializableTests.serializable(optionShowContravariant))
+
+  test("void replaces values with unit preserving structure") {
+    forAll { (l: List[Int], o: Option[Int], m: Map[String, Int]) =>
+      l.void should === (List.fill(l.length)(()))
+      o.void should === (if (o.nonEmpty) Some(()) else None)
+      m.void should === (m.keys.map(k => (k, ())).toMap)
+    }
+  }
+
+  test("as replaces values with a constant value preserving structure") {
+    forAll { (l: List[Int], o: Option[Int], m: Map[String, Int], i: Int) =>
+      l.as(i) should === (List.fill(l.length)(i))
+      o.as(i) should === (if (o.nonEmpty) Some(i) else None)
+      m.as(i) should === (m.keys.map(k => (k, i)).toMap)
+    }
+  }
 }