Merge pull request #866 from adelbertc/some-tests

Add some tests for Coproduct and WriterT
typelevel · Feb 24, 2016 · 32557cd · 32557cd
2 parents fa20a49 + 3b67fad
commit 32557cd
Show file tree

Hide file tree

Showing 2 changed files with 23 additions and 0 deletions.
diff --git a/tests/src/test/scala/cats/tests/CoproductTests.scala b/tests/src/test/scala/cats/tests/CoproductTests.scala
@@ -64,4 +64,9 @@ class CoproductTests extends CatsSuite {
  }
  }
 
+ test("toValidated + toXor is identity") {
+ forAll { (x: Coproduct[Option, List, Int]) =>
+ x.toValidated.toXor should === (x.run)
+ }
+ }
 }
diff --git a/tests/src/test/scala/cats/tests/WriterTTests.scala b/tests/src/test/scala/cats/tests/WriterTTests.scala
@@ -44,6 +44,24 @@ class WriterTTests extends CatsSuite {
  }
  }
 
+ test("tell + written is identity") {
+ forAll { (i: Int) =>
+ WriterT.tell[Id, Int](i).written should === (i)
+ }
+ }
+
+ test("value + value is identity") {
+ forAll { (i: Int) =>
+ WriterT.value[Id, Int, Int](i).value should === (i)
+ }
+ }
+
+ test("valueT + value is identity") {
+ forAll { (i: Int) =>
+ WriterT.valueT[Id, Int, Int](i).value should === (i)
+ }
+ }
+
  {
  // F has a SemigroupK
  implicit val F: SemigroupK[ListWrapper] = ListWrapper.semigroupK