Merge branch 'master' into existentials

1 files changed, 19 insertions, 0 deletions

diff --git a/examples/shared/src/main/scala/typename.scala b/examples/shared/src/main/scala/typename.scala
new file mode 100644
index 0000000..c1e1fd2
--- /dev/null
+++ b/examples/shared/src/main/scala/typename.scala
@@ -0,0 +1,19 @@
+package magnolia.examples
+
+import language.experimental.macros
+
+import magnolia._
+
+trait TypeName[T] { def name: String }
+
+object TypeName {
+  type Typeclass[T] = TypeName[T]
+  def combine[T](ctx: CaseClass[TypeName, T]): TypeName[T] =
+    new TypeName[T] { def name: String = ctx.typeName }
+
+  def dispatch[T](ctx: SealedTrait[TypeName, T]): TypeName[T] =
+    new TypeName[T] { def name: String = ctx.typeName }
+
+  implicit def gen[T]: TypeName[T] = macro Magnolia.gen[T]
+}
+