From ac34ba05b089abf907fb5e8b8bc84f027091a1b2 Mon Sep 17 00:00:00 2001 From: Adelbert Chang Date: Fri, 18 Mar 2016 18:20:46 -0700 Subject: [PATCH] Add Bifunctor compose test --- .../test/scala/cats/tests/BifunctorTests.scala | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 tests/src/test/scala/cats/tests/BifunctorTests.scala diff --git a/tests/src/test/scala/cats/tests/BifunctorTests.scala b/tests/src/test/scala/cats/tests/BifunctorTests.scala new file mode 100644 index 00000000000..13e83180637 --- /dev/null +++ b/tests/src/test/scala/cats/tests/BifunctorTests.scala @@ -0,0 +1,15 @@ +package cats +package tests + +import cats.functor.Bifunctor +import cats.laws.discipline.{SerializableTests, BifunctorTests => BifunctorChecks} +import cats.laws.discipline.eq.tuple2Eq + +class BifunctorTests extends CatsSuite { + type Tuple2Either[A, B] = (Either[A, B], Either[A, B]) + val tuple2ComposeEither: Bifunctor[Tuple2Either] = + Bifunctor[Tuple2].compose[Either] + + checkAll("Tuple2 compose Either", BifunctorChecks(tuple2ComposeEither).bifunctor[Int, Int, Int, String, String, String]) + checkAll("Bifunctor[Tuple2 compose Either]", SerializableTests.serializable(tuple2ComposeEither)) +}