2 files changed, 33 insertions, 0 deletions
diff --git a/examples/src/main/scala/cats.scala b/examples/src/main/scala/cats.scala
new file mode 100644
index 0000000..08690c2
--- /dev/null
+++ b/examples/src/main/scala/cats.scala
@@ -0,0 +1,23 @@
+package magnolia.examples.cats
+
+import scala.collection.immutable.ListMap
+import scala.language.experimental.macros
+import scala.language.higherKinds
+
+import cats.Show
+import magnolia.ContravariantDerivation
+import magnolia.Macros
+
+object instances extends instances1 {
+
+  implicit val showDerivation = new ContravariantDerivation[Show] {
+    type Return = String
+    def call[T](show: Show[T], value: T): String = show.show(value)
+    def construct[T](body: T => String): Show[T] = body(_)
+    def join(xs: ListMap[String, String]): String = xs.map { case (k, v) => s"$k=$v" }.mkString("{", ", ", "}")
+  }
+}
+
+trait instances1 {
+  implicit def genericShow[T]: Show[T] = macro Macros.magnolia[T, Show[_]]
+}
diff --git a/examples/src/main/scala/example.scala b/examples/src/main/scala/example.scala
index 543fa3d..6c289cb 100644
--- a/examples/src/main/scala/example.scala
+++ b/examples/src/main/scala/example.scala
@@ -6,6 +6,7 @@ import language.experimental.macros
 import language.higherKinds
 import collection.immutable.ListMap
 
+
 object `package` {
   implicit class Showable[T: Show](t: T) {
     def show: String = implicitly[Show[T]].show(t)
@@ -39,12 +40,21 @@ case class Country(name: String, code: String, salesTax: Boolean)
 trait Show[T] { def show(t: T): String }
 object Show extends Show_1 {
   implicit val showInt: Show[Int] = _.toString
+  implicit val showString: Show[String] = identity
+  implicit val showBool: Show[Boolean] = _.toString
+  implicit def showList[T: Show]: Show[List[T]] = xs => xs.map { x => s"list:${implicitly[Show[T]].show(x)}" }.mkString(";")
+  implicit def showSet[T: Show]: Show[Set[T]] = s => "set"
+
   implicit val derivation = new ContravariantDerivation[Show] {
     type Return = String
     def call[T](show: Show[T], value: T): String = show.show(value)
     def construct[T](body: T => String): Show[T] = body(_)
     def join(xs: ListMap[String, String]): String = xs.map { case (k, v) => s"$k=$v" }.mkString("{", ", ", "}")
   }
+
+  implicit class Showable[T: Show](t: T) {
+    def show: String = implicitly[Show[T]].show(t)
+  }
 }
 
 trait Show_1 {