Adding implicit resolution tests for piecemeal imports for hierarchy

tests/src/test/scala/cats/tests/EqTests.scala

@@ -0,0 +1,24 @@
+package cats
+package tests
+
+import org.scalatest._
+
+import cats.functor._
+
+class EqTests extends FunSuite {
+  {
+    import cats.implicits._
+    implicitly[Invariant[Eq]]
+    implicitly[Contravariant[Eq]]
+    implicitly[Cartesian[Eq]]
+    implicitly[ContravariantCartesian[Eq]]
+  }
+
+  {
+    import cats.instances.eq._
+    implicitly[Invariant[Eq]]
+    implicitly[Contravariant[Eq]]
+    implicitly[Cartesian[Eq]]
+    implicitly[ContravariantCartesian[Eq]]
+  }
+}

tests/src/test/scala/cats/tests/MonoidTests.scala

@@ -0,0 +1,22 @@
+package cats
+package tests
+
+import org.scalatest._
+
+import cats.functor._
+
+class MonoidTests extends FunSuite {
+  {
+    import cats.implicits._
+    implicitly[Invariant[Monoid]]
+    implicitly[Cartesian[Monoid]]
+    implicitly[InvariantMonoidal[Monoid]]
+  }
+
+  {
+    import cats.instances.monoid._
+    implicitly[Invariant[Monoid]]
+    implicitly[Cartesian[Monoid]]
+    implicitly[InvariantMonoidal[Monoid]]
+  }
+}

tests/src/test/scala/cats/tests/OrderTests.scala

@@ -0,0 +1,20 @@
+package cats
+package tests
+
+import cats.functor._
+
+import org.scalatest._
+
+class OrderTests extends FunSuite {
+  {
+    import cats.implicits._
+    implicitly[Invariant[Order]]
+    implicitly[Contravariant[Order]]
+  }
+
+  {
+    import cats.instances.order._
+    implicitly[Invariant[Order]]
+    implicitly[Contravariant[Order]]
+  }
+}

tests/src/test/scala/cats/tests/PartialOrderTests.scala

@@ -0,0 +1,20 @@
+package cats
+package tests
+
+import org.scalatest._
+
+import cats.functor._
+
+class PartialOrderTests extends FunSuite {
+  {
+    import cats.implicits._
+    implicitly[Invariant[PartialOrder]]
+    implicitly[Contravariant[PartialOrder]]
+  }
+
+  {
+    import cats.instances.partialOrder._
+    implicitly[Invariant[PartialOrder]]
+    implicitly[Contravariant[PartialOrder]]
+  }
+}

tests/src/test/scala/cats/tests/SemigroupTests.scala

@@ -0,0 +1,22 @@
+package cats
+package tests
+
+import org.scalatest._
+
+import cats.functor._
+
+class SemigroupTests extends FunSuite {
+  {
+    import cats.implicits._
+    implicitly[Invariant[Semigroup]]
+    implicitly[Cartesian[Semigroup]]
+    implicitly[InvariantMonoidal[Semigroup]]
+  }
+
+  {
+    import cats.instances.semigroup._
+    implicitly[Invariant[Semigroup]]
+    implicitly[Cartesian[Semigroup]]
+    implicitly[InvariantMonoidal[Semigroup]]
+  }
+}