From 382b66f698917faae729b3055583ee7947a2469e Mon Sep 17 00:00:00 2001
From: Jon Pretty <jon.pretty@propensive.com>
Date: Mon, 12 Jun 2017 14:23:06 +0200
Subject: Slight tidyup of examples

---
 examples/src/main/scala/example.scala | 80 -----------------------------------
 1 file changed, 80 deletions(-)

(limited to 'examples')

diff --git a/examples/src/main/scala/example.scala b/examples/src/main/scala/example.scala
index afd202e..9301a0d 100644
--- a/examples/src/main/scala/example.scala
+++ b/examples/src/main/scala/example.scala
@@ -5,86 +5,6 @@ import magnolia._
 import language.experimental.macros
 import language.higherKinds
 
-
-
-/*case class Thing(str: String) {
-  def access(path: String): Thing = Thing(s"$str.$path")
-}
-
-trait Extractor[T] { ext =>
-  
-  def extract(src: Thing): T
-  
-  def orElse[TS >: T, T2 <: TS](ext2: Extractor[T2]): Extractor[TS] = new Extractor[TS] {
-    def extract(src: Thing): TS = try ext.extract(src) catch {
-      case e: Exception => ext2.extract(src)
-    }
-  }
-}
-
-object Extractor extends Extractor_1 {
-  
-  def apply[T](fn: Thing => T): Extractor[T] = new Extractor[T] {
-    def extract(source: Thing): T = fn(source)
-  }
-
-  implicit val intExtractor: Extractor[Int] = Extractor(_.str.length)
-  implicit val stringExtractor: Extractor[String] = Extractor(_.str)
-  implicit val doubleExtractor: Extractor[Double] = Extractor(_.str.length.toDouble)
-
-  implicit val derivation: CovariantDerivation[Extractor] { type Value = Thing } = new CovariantDerivation[Extractor] {
-    type Value = Thing
-    def dereference(value: Thing, param: String): Thing = value.access(param)
-    def call[T](extractor: Extractor[T], value: Thing): T = extractor.extract(value)
-    def combine[Supertype, Right <: Supertype](left: Extractor[_ <: Supertype],
-        right: Extractor[Right]): Extractor[Supertype] = left.orElse(right)
-    
-    def construct[T](body: Thing => T): Extractor[T] = new Extractor[T] {
-      def extract(source: Thing): T = body(source)
-    }
-  }
-}
-
-trait Extractor_1 extends Extractor_2 {
-  implicit def listExtractor[T: Extractor]: Extractor[List[T]] = new Extractor[List[T]] {
-    def extract(source: Thing): List[T] = List(implicitly[Extractor[T]].extract(source))
-  }
-}
-
-trait Extractor_2 {
-  implicit def generic[T]: Extractor[T] = macro Macros.magnolia[T, Extractor[_]]
-}
-
-trait Serializer[T] {
-  def serialize(src: T): String
-}
-
-object Serializer extends Serializer_1 {
-  implicit val deriv: ContravariantDerivation[Serializer] { type Return = String } = new ContravariantDerivation[Serializer] {
-    type Return = String
-    def call[T](typeclass: Serializer[T], value: T): String = typeclass.serialize(value)
-    def construct[T](body: T => String): Serializer[T] = new Serializer[T] {
-      def serialize(value: T): String = body(value)
-    }
-    def join(xs: List[String]): String = xs.mkString(", ")
-  }
-}
-
-trait Serializer_1 extends Serializer_2 {
-  implicit val intSerializer: Serializer[Int] =  { t => "int" }
-  implicit val strSerializer: Serializer[String] = { t => "string" }
-  implicit val doubleSerializer: Serializer[Double] = { t => "double" }
-  implicit def listSerializer[T: Serializer]: Serializer[List[T]] = { ts =>
-    println(ts)
-    s"List[${ts.map { t => implicitly[Serializer[T]].serialize(t) }.mkString("-")}]"
-  }
-}
-
-trait Serializer_2 {
-  implicit def generic[T]: Serializer[T] = macro Macros.magnolia[T, Serializer[_]]
-}
-*/
-
 object `package` {
   implicit class Showable[T: Show](t: T) {
     def show: String = implicitly[Show[T]].show(t)
-- 
cgit v1.2.3