WIP

Author: biboudis

tests/run-macros/i8007/Macro_1.scala

@@ -3,7 +3,7 @@ import scala.quoted._
 import scala.quoted.matching._
 import scala.compiletime.{erasedValue, summonFrom, constValue}
 
-object Macro {
+object Macro1 {
   case class Person(name: String, age: Int)
 
   def mirrorFields[T](t: Type[T])(given qctx: QuoteContext): List[String] =
@@ -12,23 +12,21 @@ object Macro {
       case '[Unit] => Nil
     }
 
-  inline def usingSummonFrom[T](value: =>T): List[String] =
-    ${ usingSummonFromImpl('value) }
+  // Macro method 1
+  //   Demonstrates the use of quoted pattern matching
+  //   over a refined type, extracting the tuple type
+  //   for e.g., MirroredElemLabels
+  inline def test1[T](value: =>T): List[String] =
+    ${ test1Impl('value) }
 
-  def usingSummonFromImpl[T: Type](value: Expr[T])(given qctx: QuoteContext): Expr[List[String]] = {
+  def test1Impl[T: Type](value: Expr[T])(given qctx: QuoteContext): Expr[List[String]] = {
     import qctx.tasty.{_, given}
 
-
     val mirrorTpe = '[Mirror.Of[T]]
 
     summonExpr(given mirrorTpe).get match {
-      case '{ $m: Mirror.ProductOf[T] } => {
-        val typeMember = TypeSelect(m.unseal, "MirroredElemLabels")
-
-        type TT
-        implicit val TT: quoted.Type[TT] = typeMember.tpe.seal.asInstanceOf[quoted.Type[TT]]
-
-        Expr(mirrorFields('[TT]))
+      case '{ $m: Mirror.ProductOf[T]{ type MirroredElemLabels = $t } } => {
+        Expr(mirrorFields(t))
       }
     }
   }

tests/run-macros/i8007/Macro_2.scala

@@ -0,0 +1,43 @@
+import scala.deriving._
+import scala.quoted._
+import scala.quoted.matching._
+import scala.compiletime.{erasedValue, summonFrom, constValue}
+
+object Macro2 {
+  trait JsonEncoder[T] {
+    def encode(elem: T): String
+  }
+
+  object JsonEncoder {
+    def derived[T: Type](ev: Expr[Mirror.Of[T]])(given qctx: QuoteContext): Expr[JsonEncoder[T]] = '{
+      new JsonEncoder[T] {
+        def encode(elem: T): String = $ev match {
+          case '{ $m: Mirror.ProductOf[T] /*{ type MirroredElemLabels = $t } */ } => {
+
+            // val elems = mirrorFields(t)
+            // "{" + (elems).mkString(", ") + "}"
+
+            "test"
+          }
+          case '{ $m: Mirror.SumOf[T] } => "not supporting this case yet"
+        }
+      }
+    }
+  }
+
+  inline def test2[T](value: =>T): Unit =
+    ${ test2Impl('value) }
+
+  def test2Impl[T: Type](value: Expr[T])(given qctx: QuoteContext): Expr[Unit] = {
+    import qctx.tasty.{_, given}
+
+    val mirrorTpe = '[Mirror.Of[T]]
+    val mirror = summonExpr(given mirrorTpe).get
+    val res = JsonEncoder.derived(mirror)
+
+    '{
+      given JsonEncoder[T] = $res
+      ()
+    }
+  }
+}

tests/run-macros/i8007/Test_2.scala

@@ -0,0 +1,9 @@
+import Macro1._
+import Macro2._
+
+@main def Test() = {
+  val list = test1[Person](Person("Test", 23))
+  println(list)
+
+  test2[Person](Person("Test", 23))
+}