From 1f49e614b1a2e363adbbea6ec510f094e195ace8 Mon Sep 17 00:00:00 2001
From: Jon Pretty <jon.pretty@propensive.com>
Date: Tue, 7 Nov 2017 00:54:13 +0000
Subject: API improvements and better examples

---
 examples/src/main/scala/show.scala | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)
 create mode 100644 examples/src/main/scala/show.scala

(limited to 'examples/src/main/scala/show.scala')

diff --git a/examples/src/main/scala/show.scala b/examples/src/main/scala/show.scala
new file mode 100644
index 0000000..9af828e
--- /dev/null
+++ b/examples/src/main/scala/show.scala
@@ -0,0 +1,26 @@
+package magnolia.examples
+
+import scala.language.existentials
+import scala.language.higherKinds
+
+import magnolia._
+import scala.language.experimental.macros
+
+trait Show[Out, T] { def show(value: T): Out }
+
+object Show {
+  type Typeclass[T] = Show[String, T]
+  def join[T](ctx: JoinContext[Typeclass, T]): Show[String, T] = new Show[String, T] {
+    def show(value: T) = ctx.parameters.map { param =>
+      s"${param.label}=${param.typeclass.show(param.dereference(value))}"
+    }.mkString(s"${ctx.typeName.split("\\.").last}(", ",", ")")
+  }
+
+  def dispatch[T](ctx: DispatchContext[Typeclass, T]): Show[String, T] = new Show[String, T] {
+    def show(value: T): String = ctx.dispatch(value) { sub => sub.typeclass.show(sub.cast(value)) }
+  }
+
+  implicit val string: Show[String, String] = new Show[String, String] { def show(s: String): String = s }
+  implicit val int: Show[String, Int] = new Show[String, Int] { def show(s: Int): String = s.toString }
+  implicit def generic[T]: Show[String, T] = macro Magnolia.generic[T]
+}
-- 
cgit v1.2.3