aboutsummaryrefslogtreecommitdiff
path: root/examples
diff options
context:
space:
mode:
Diffstat (limited to 'examples')
-rw-r--r--examples/src/main/scala/cats.scala7
-rw-r--r--examples/src/main/scala/eq.scala2
2 files changed, 4 insertions, 5 deletions
diff --git a/examples/src/main/scala/cats.scala b/examples/src/main/scala/cats.scala
index e881bca..18ed805 100644
--- a/examples/src/main/scala/cats.scala
+++ b/examples/src/main/scala/cats.scala
@@ -4,13 +4,12 @@ import scala.collection.immutable.ListMap
import scala.language.experimental.macros
import cats.Show
-import magnolia.ContravariantDerivation
-import magnolia.Macros
+import magnolia.{Coderivation, Macros}
object catsShowDerivation {
- implicit val showDerivation: ContravariantDerivation[Show] =
- new ContravariantDerivation[Show] {
+ implicit val showDerivation: Coderivation[Show] =
+ new Coderivation[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(_)
diff --git a/examples/src/main/scala/eq.scala b/examples/src/main/scala/eq.scala
index 1f4168e..141a4e0 100644
--- a/examples/src/main/scala/eq.scala
+++ b/examples/src/main/scala/eq.scala
@@ -36,7 +36,7 @@ object Eq {
implicit val eqInt: Eq[Int] = _ == _
- implicit val derivation: ContravariantDerivation2[Eq] = new ContravariantDerivation2[Eq] {
+ implicit val derivation: Coderivation2[Eq] = new Coderivation2[Eq] {
type Return = Boolean
def call[T](eq: Eq[T], value1: T, value2: T): Boolean =