diff options
Diffstat (limited to 'examples/src/main/scala/eq.scala')
-rw-r--r-- | examples/src/main/scala/eq.scala | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/examples/src/main/scala/eq.scala b/examples/src/main/scala/eq.scala index ec9be14..408f287 100644 --- a/examples/src/main/scala/eq.scala +++ b/examples/src/main/scala/eq.scala @@ -9,17 +9,17 @@ trait Eq[T] { def equal(value: T, value2: T): Boolean } object Eq { type Typeclass[T] = Eq[T] - def join[T](ctx: JoinContext[Eq, T]): Eq[T] = new Eq[T] { + def combine[T](ctx: CaseClass[Eq, T]): Eq[T] = new Eq[T] { def equal(value1: T, value2: T) = ctx.parameters.forall { param => param.typeclass.equal(param.dereference(value1), param.dereference(value2)) } } - def dispatch[T](ctx: DispatchContext[Eq, T]): Eq[T] = new Eq[T] { + def dispatch[T](ctx: SealedTrait[Eq, T]): Eq[T] = new Eq[T] { def equal(value1: T, value2: T): Boolean = ctx.dispatch(value1) { case sub => sub.typeclass.equal(sub.cast(value1), sub.cast(value2)) } } implicit val string: Eq[String] = new Eq[String] { def equal(v1: String, v2: String) = v1 == v2 } implicit val int: Eq[Int] = new Eq[Int] { def equal(v1: Int, v2: Int) = v1 == v2 } - implicit def generic[T]: Eq[T] = macro Magnolia.generic[T] + implicit def gen[T]: Eq[T] = macro Magnolia.gen[T] } |