Merge pull request #897 from adelbertc/prod-tests

Add Prod tests
typelevel · Feb 28, 2016 · ee9a6af · ee9a6af
2 parents 724b1ad + cfb798c
commit ee9a6af
Show file tree

Hide file tree

Showing 2 changed files with 28 additions and 0 deletions.
diff --git a/tests/src/test/scala/cats/tests/ListWrapper.scala b/tests/src/test/scala/cats/tests/ListWrapper.scala
@@ -86,6 +86,9 @@ object ListWrapper {
 
   val monad: Monad[ListWrapper] = monadCombine
 
+  /** apply is taken due to ListWrapper being a case class */
+  val applyInstance: Apply[ListWrapper] = monadCombine
+
   def monoidK: MonoidK[ListWrapper] = monadCombine
 
   def monadFilter: MonadFilter[ListWrapper] = monadCombine

diff --git a/tests/src/test/scala/cats/tests/ProdTests.scala b/tests/src/test/scala/cats/tests/ProdTests.scala
@@ -14,4 +14,29 @@ class ProdTests extends CatsSuite {
 
   checkAll("Prod[Option, List, Int]", AlternativeTests[Lambda[X => Prod[Option, List, X]]].alternative[Int, Int, Int])
   checkAll("Alternative[Prod[Option, List, Int]]", SerializableTests.serializable(Alternative[Lambda[X => Prod[Option, List, X]]]))
+
+  {
+    implicit val monoidK = ListWrapper.monoidK
+    checkAll("Prod[ListWrapper, ListWrapper, ?]", MonoidKTests[Prod[ListWrapper, ListWrapper, ?]].monoidK[Int])
+    checkAll("MonoidK[Prod[ListWrapper, ListWrapper, ?]]", SerializableTests.serializable(MonoidK[Prod[ListWrapper, ListWrapper, ?]]))
+  }
+
+  {
+    implicit val semigroupK = ListWrapper.semigroupK
+    checkAll("Prod[ListWrapper, ListWrapper, ?]", SemigroupKTests[Prod[ListWrapper, ListWrapper, ?]].semigroupK[Int])
+    checkAll("SemigroupK[Prod[ListWrapper, ListWrapper, ?]]", SerializableTests.serializable(SemigroupK[Prod[ListWrapper, ListWrapper, ?]]))
+  }
+
+  {
+    implicit val apply = ListWrapper.applyInstance
+    implicit val iso = CartesianTests.Isomorphisms.invariant[Prod[ListWrapper, ListWrapper, ?]]
+    checkAll("Prod[ListWrapper, ListWrapper, ?]", ApplyTests[Prod[ListWrapper, ListWrapper, ?]].apply[Int, Int, Int])
+    checkAll("Apply[Prod[ListWrapper, ListWrapper, ?]]", SerializableTests.serializable(Apply[Prod[ListWrapper, ListWrapper, ?]]))
+  }
+
+  {
+    implicit val functor = ListWrapper.functor
+    checkAll("Prod[ListWrapper, ListWrapper, ?]", FunctorTests[Prod[ListWrapper, ListWrapper, ?]].functor[Int, Int, Int])
+    checkAll("Functor[Prod[ListWrapper, ListWrapper, ?]]", SerializableTests.serializable(Functor[Prod[ListWrapper, ListWrapper, ?]]))
+  }
 }