Add tests for IdT

typelevel · Nov 24, 2015 · 0b242e9 · 0b242e9
1 parent d2930fb
commit 0b242e9
Show file tree

Hide file tree

Showing 2 changed files with 19 additions and 0 deletions.
diff --git a/laws/src/main/scala/cats/laws/discipline/Arbitrary.scala b/laws/src/main/scala/cats/laws/discipline/Arbitrary.scala
@@ -38,6 +38,9 @@ object arbitrary extends ArbitraryInstances0 {
   implicit def optionTArbitrary[F[_], A](implicit F: Arbitrary[F[Option[A]]]): Arbitrary[OptionT[F, A]] =
     Arbitrary(F.arbitrary.map(OptionT.apply))
 
+  implicit def idTArbitrary[F[_], A](implicit F: Arbitrary[F[A]]): Arbitrary[IdT[F, A]] =
+    Arbitrary(F.arbitrary.map(IdT.apply))
+
   implicit def evalArbitrary[A: Arbitrary]: Arbitrary[Eval[A]] =
     Arbitrary(Gen.oneOf(
       getArbitrary[A].map(Eval.now(_)),

diff --git a/tests/src/test/scala/cats/tests/IdTTests.scala b/tests/src/test/scala/cats/tests/IdTTests.scala
@@ -0,0 +1,16 @@
+package cats.tests
+
+import cats.{Monad, Traverse}
+import cats.data.IdT
+import cats.laws.discipline.{MonadTests, SerializableTests, TraverseTests}
+import cats.laws.discipline.arbitrary._
+
+class IdTTests extends CatsSuite {
+
+  checkAll("IdT[List, Int]", MonadTests[IdT[List, ?]].monad[Int, Int, Int])
+  checkAll("Monad[IdT[List, ?]]", SerializableTests.serializable(Monad[IdT[List, ?]]))
+
+  checkAll("IdT[List, Int]", TraverseTests[IdT[List, ?]].traverse[Int, Int, Int, Int, List, List])
+  checkAll("Traverse[IdT[List, ?]]", SerializableTests.serializable(Traverse[IdT[List, ?]]))
+
+}