Merge pull request #5182 from dotty-staging/implement-tuple-with-quotes

Implement tuple with quotes

Author: nicolasstucki

library/src-scala3/scala/StagedTuple.scala

@@ -0,0 +1,259 @@
+package scala
+
+import scala.quoted._
+
+object StagedTuple {
+  import Tuple._
+  import NonEmptyTuple._
+
+  def toArrayStaged(tup: Expr[Tuple], size: Option[Int]): Expr[Array[Object]] = {
+    if (!specialize) '(dynamicToArray(~tup))
+    else size match {
+      case Some(0) =>
+        '($emptyArray)
+      case Some(1) =>
+        tup.as[Tuple1[Object]].bind(t => '(Array((~t)._1)))
+      case Some(2) =>
+        tup.as[Tuple2[Object, Object]].bind(t => '(Array((~t)._1, (~t)._2)))
+      case Some(3) =>
+        tup.as[Tuple3[Object, Object, Object]].bind(t => '(Array((~t)._1, (~t)._2, (~t)._3)))
+      case Some(4) =>
+        tup.as[Tuple4[Object, Object, Object, Object]].bind(t => '(Array((~t)._1, (~t)._2, (~t)._3, (~t)._4)))
+      case Some(n) if n <= $MaxSpecialized =>
+        '($toArray(~tup, ~n.toExpr))
+      case Some(n) =>
+        '((~tup.as[TupleXXL]).elems)
+      case None =>
+        '(dynamicToArray(~tup))
+    }
+  }
+
+  def fromArrayStaged[T <: Tuple : Type](xs: Expr[Array[Object]], size: Option[Int]): Expr[T] = {
+    if (!specialize) '(dynamicFromArray[T](~xs))
+    else {
+      val tup: Expr[Any] = size match {
+        case Some(0)  => '()
+        case Some(1)  => '(Tuple1( (~xs)(0)))
+        case Some(2)  => '(Tuple2( (~xs)(0), (~xs)(1)))
+        case Some(3)  => '(Tuple3( (~xs)(0), (~xs)(1), (~xs)(2)))
+        case Some(4)  => '(Tuple4( (~xs)(0), (~xs)(1), (~xs)(2), (~xs)(3)))
+        case Some(5)  => '(Tuple5( (~xs)(0), (~xs)(1), (~xs)(2), (~xs)(3), (~xs)(4)))
+        case Some(6)  => '(Tuple6( (~xs)(0), (~xs)(1), (~xs)(2), (~xs)(3), (~xs)(4), (~xs)(5)))
+        case Some(7)  => '(Tuple7( (~xs)(0), (~xs)(1), (~xs)(2), (~xs)(3), (~xs)(4), (~xs)(5), (~xs)(6)))
+        case Some(8)  => '(Tuple8( (~xs)(0), (~xs)(1), (~xs)(2), (~xs)(3), (~xs)(4), (~xs)(5), (~xs)(6), (~xs)(7)))
+        case Some(9)  => '(Tuple9( (~xs)(0), (~xs)(1), (~xs)(2), (~xs)(3), (~xs)(4), (~xs)(5), (~xs)(6), (~xs)(7), (~xs)(8)))
+        case Some(10) => '(Tuple10((~xs)(0), (~xs)(1), (~xs)(2), (~xs)(3), (~xs)(4), (~xs)(5), (~xs)(6), (~xs)(7), (~xs)(8), (~xs)(9)))
+        case Some(11) => '(Tuple11((~xs)(0), (~xs)(1), (~xs)(2), (~xs)(3), (~xs)(4), (~xs)(5), (~xs)(6), (~xs)(7), (~xs)(8), (~xs)(9), (~xs)(10)))
+        case Some(12) => '(Tuple12((~xs)(0), (~xs)(1), (~xs)(2), (~xs)(3), (~xs)(4), (~xs)(5), (~xs)(6), (~xs)(7), (~xs)(8), (~xs)(9), (~xs)(10), (~xs)(11)))
+        case Some(13) => '(Tuple13((~xs)(0), (~xs)(1), (~xs)(2), (~xs)(3), (~xs)(4), (~xs)(5), (~xs)(6), (~xs)(7), (~xs)(8), (~xs)(9), (~xs)(10), (~xs)(11), (~xs)(12)))
+        case Some(14) => '(Tuple14((~xs)(0), (~xs)(1), (~xs)(2), (~xs)(3), (~xs)(4), (~xs)(5), (~xs)(6), (~xs)(7), (~xs)(8), (~xs)(9), (~xs)(10), (~xs)(11), (~xs)(12), (~xs)(13)))
+        case Some(15) => '(Tuple15((~xs)(0), (~xs)(1), (~xs)(2), (~xs)(3), (~xs)(4), (~xs)(5), (~xs)(6), (~xs)(7), (~xs)(8), (~xs)(9), (~xs)(10), (~xs)(11), (~xs)(12), (~xs)(13), (~xs)(14)))
+        case Some(16) => '(Tuple16((~xs)(0), (~xs)(1), (~xs)(2), (~xs)(3), (~xs)(4), (~xs)(5), (~xs)(6), (~xs)(7), (~xs)(8), (~xs)(9), (~xs)(10), (~xs)(11), (~xs)(12), (~xs)(13), (~xs)(14), (~xs)(15)))
+        case Some(17) => '(Tuple17((~xs)(0), (~xs)(1), (~xs)(2), (~xs)(3), (~xs)(4), (~xs)(5), (~xs)(6), (~xs)(7), (~xs)(8), (~xs)(9), (~xs)(10), (~xs)(11), (~xs)(12), (~xs)(13), (~xs)(14), (~xs)(15), (~xs)(16)))
+        case Some(18) => '(Tuple18((~xs)(0), (~xs)(1), (~xs)(2), (~xs)(3), (~xs)(4), (~xs)(5), (~xs)(6), (~xs)(7), (~xs)(8), (~xs)(9), (~xs)(10), (~xs)(11), (~xs)(12), (~xs)(13), (~xs)(14), (~xs)(15), (~xs)(16), (~xs)(17)))
+        case Some(19) => '(Tuple19((~xs)(0), (~xs)(1), (~xs)(2), (~xs)(3), (~xs)(4), (~xs)(5), (~xs)(6), (~xs)(7), (~xs)(8), (~xs)(9), (~xs)(10), (~xs)(11), (~xs)(12), (~xs)(13), (~xs)(14), (~xs)(15), (~xs)(16), (~xs)(17), (~xs)(18)))
+        case Some(20) => '(Tuple20((~xs)(0), (~xs)(1), (~xs)(2), (~xs)(3), (~xs)(4), (~xs)(5), (~xs)(6), (~xs)(7), (~xs)(8), (~xs)(9), (~xs)(10), (~xs)(11), (~xs)(12), (~xs)(13), (~xs)(14), (~xs)(15), (~xs)(16), (~xs)(17), (~xs)(18), (~xs)(19)))
+        case Some(21) => '(Tuple21((~xs)(0), (~xs)(1), (~xs)(2), (~xs)(3), (~xs)(4), (~xs)(5), (~xs)(6), (~xs)(7), (~xs)(8), (~xs)(9), (~xs)(10), (~xs)(11), (~xs)(12), (~xs)(13), (~xs)(14), (~xs)(15), (~xs)(16), (~xs)(17), (~xs)(18), (~xs)(19), (~xs)(20)))
+        case Some(22) => '(Tuple22((~xs)(0), (~xs)(1), (~xs)(2), (~xs)(3), (~xs)(4), (~xs)(5), (~xs)(6), (~xs)(7), (~xs)(8), (~xs)(9), (~xs)(10), (~xs)(11), (~xs)(12), (~xs)(13), (~xs)(14), (~xs)(15), (~xs)(16), (~xs)(17), (~xs)(18), (~xs)(19), (~xs)(20), (~xs)(21)))
+        case Some(_)  => '(TupleXXL(~xs))
+        case None     => '(dynamicFromArray[T](~xs))
+      }
+      tup.as[T]
+    }
+  }
+
+  def sizeStaged[Res <: Int : Type](tup: Expr[Tuple], size: Option[Int]): Expr[Res] = {
+    val res =
+      if (!specialize) '(dynamicSize(~tup))
+      else size match {
+        case Some(n) => n.toExpr
+        case None => '(dynamicSize(~tup))
+      }
+    res.as[Res]
+  }
+
+  def headStaged[Tup <: NonEmptyTuple : Type](tup: Expr[Tup], size: Option[Int]): Expr[Head[Tup]] = {
+    if (!specialize) '(dynamicHead(~tup))
+    else {
+      val resVal = size match {
+        case Some(1) =>
+          '((~tup.as[Tuple1[_]])._1)
+        case Some(2) =>
+          '((~tup.as[Tuple2[_, _]])._1)
+        case Some(3) =>
+          '((~tup.as[Tuple3[_, _, _]])._1)
+        case Some(4) =>
+          '((~tup.as[Tuple4[_, _, _, _]])._1)
+        case Some(n) if n > 4 && n <= $MaxSpecialized =>
+          '((~tup.as[Product]).productElement(0))
+        case Some(n) if n > $MaxSpecialized =>
+          '((~tup.as[TupleXXL]).elems(0))
+        case None =>
+          '(dynamicHead(~tup))
+      }
+      resVal.as[Head[Tup]]
+    }
+  }
+
+  def tailStaged[Tup <: NonEmptyTuple : Type](tup: Expr[Tup], size: Option[Int]): Expr[Tail[Tup]] = {
+    if (!specialize) '(dynamicTail[Tup](~tup))
+    else {
+      val res = size match {
+        case Some(1) =>
+          '()
+        case Some(2) =>
+          tup.as[Tuple2[_, _]].bind(t => '(Tuple1((~t)._2)))
+        case Some(3) =>
+          tup.as[Tuple3[_, _, _]].bind(t => '(Tuple2((~t)._2, (~t)._3)))
+        case Some(4) =>
+          tup.as[Tuple4[_, _, _, _]].bind(t => '(Tuple3((~t)._2, (~t)._3, (~t)._4)))
+        case Some(5) =>
+          tup.as[Tuple5[_, _, _, _, _]].bind(t => '(Tuple4((~t)._2, (~t)._3, (~t)._4, (~t)._5)))
+        case Some(n) if n > 5 =>
+          val arr = toArrayStaged(tup, size)
+          fromArrayStaged('((~arr).tail) , Some(n - 1))
+        case None =>
+          '(dynamicTail(~tup))
+      }
+      res.as[Tail[Tup]]
+    }
+  }
+
+  def applyStaged[Tup <: NonEmptyTuple : Type, N <: Int : Type](tup: Expr[Tup], size: Option[Int], n: Expr[N], nValue: Option[Int]): Expr[Elem[Tup, N]] = {
+    if (!specialize) '(dynamicApply(~tup, ~n))
+    else {
+      def fallbackApply(): Expr[Elem[Tup, N]] = nValue match {
+        case Some(n) => quoted.QuoteError("index out of bounds: " + n)
+        case None => '(dynamicApply(~tup, ~n))
+      }
+      val res = size match {
+        case Some(1) =>
+          val t = tup.as[Tuple1[_]]
+          nValue match {
+            case Some(0) => '((~t)._1)
+            case _ => fallbackApply()
+          }
+        case Some(2) =>
+          val t = tup.as[Tuple2[_, _]]
+          nValue match {
+            case Some(0) => '((~t)._1)
+            case Some(1) => '((~t)._2)
+            case _ => fallbackApply()
+          }
+        case Some(3) =>
+          val t = tup.as[Tuple3[_, _, _]]
+          nValue match {
+            case Some(0) => '((~t)._1)
+            case Some(1) => '((~t)._2)
+            case Some(2) => '((~t)._3)
+            case _ => fallbackApply()
+          }
+        case Some(4) =>
+          val t = tup.as[Tuple4[_, _, _, _]]
+          nValue match {
+            case Some(0) => '((~t)._1)
+            case Some(1) => '((~t)._2)
+            case Some(2) => '((~t)._3)
+            case Some(3) => '((~t)._4)
+            case _ => fallbackApply()
+          }
+        case Some(s) if s > 4 && s <= $MaxSpecialized =>
+          val t = tup.as[Product]
+          nValue match {
+            case Some(n) if n >= 0 && n < s => '((~t).productElement(~n.toExpr))
+            case _ => fallbackApply()
+          }
+        case Some(s) if s > $MaxSpecialized =>
+          val t = tup.as[TupleXXL]
+          nValue match {
+            case Some(n) if n >= 0 && n < s => '((~t).elems(~n.toExpr))
+            case _ => fallbackApply()
+          }
+        case _ => fallbackApply()
+      }
+      res.as[Elem[Tup, N]]
+    }
+  }
+
+  def stagedCons[T <: Tuple & Singleton : Type, H : Type](self: Expr[T], x: Expr[H], tailSize: Option[Int]): Expr[H *: T] =
+  if (!specialize) '(dynamic_*:[T, H](~self, ~x))
+  else {
+    val res = tailSize match {
+      case Some(0) =>
+        '(Tuple1(~x))
+      case Some(1) =>
+        self.as[Tuple1[_]].bind(t => '(Tuple2(~x, (~t)._1)))
+      case Some(2) =>
+        self.as[Tuple2[_, _]].bind(t => '(Tuple3(~x, (~t)._1, (~t)._2)))
+      case Some(3) =>
+        self.as[Tuple3[_, _, _]].bind(t => '(Tuple4(~x, (~t)._1, (~t)._2, (~t)._3)))
+      case Some(4) =>
+        self.as[Tuple4[_, _, _, _]].bind(t => '(Tuple5(~x, (~t)._1, (~t)._2, (~t)._3, (~t)._4)))
+      case Some(n) =>
+        fromArrayStaged('($consArray(~x, ~toArrayStaged(self, tailSize))), Some(n + 1))
+      case _ =>
+        '(dynamic_*:[T, H](~self, ~x))
+    }
+    res.as[H *: T]
+  }
+
+  def stagedConcat[Self <: Tuple & Singleton : Type, That <: Tuple & Singleton : Type](self: Expr[Self], selfSize: Option[Int], that: Expr[That], thatSize: Option[Int]): Expr[Concat[Self, That]] = {
+    if (!specialize) '(dynamic_++[Self, That](~self, ~that))
+    else {
+      def genericConcat(xs: Expr[Tuple], ys: Expr[Tuple]): Expr[Tuple] =
+        fromArrayStaged[Tuple]('((~toArrayStaged(xs, None)) ++ (~toArrayStaged(ys, None))), None)
+
+      val res = selfSize match {
+        case Some(0) =>
+          that
+        case Some(1) =>
+          if (thatSize.contains(0)) self
+          else stagedCons(that, self.as[Tuple1[_]], thatSize)
+        case Some(2) =>
+          val self2 = self.as[Tuple2[_, _]]
+          thatSize match {
+            case Some(0) => self
+            case Some(1) =>
+              self2.bind { t =>
+                that.as[Tuple1[_]].bind(u => '(Tuple3((~t)._1, (~t)._2, (~u)._1)))
+              }
+            case Some(2) =>
+              self2.bind { t =>
+                that.as[Tuple2[_, _]].bind(u => '(Tuple4((~t)._1, (~t)._2, (~u)._1, (~u)._2)))
+              }
+            case _ =>
+              genericConcat(self, that)
+          }
+        case Some(3) =>
+          val self2 = self.as[Tuple3[_, _, _]]
+          thatSize match {
+            case Some(0) => self
+            case Some(1) =>
+              self2.bind { t =>
+                that.as[Tuple1[_]].bind(u => '(Tuple4((~t)._1, (~t)._2, (~t)._3, (~u)._1)))
+              }
+            case _ =>
+              genericConcat(self, that)
+          }
+        case Some(_) =>
+          if (thatSize.contains(0)) self
+          else genericConcat(self, that)
+        case None =>
+          '(dynamic_++(~self, ~that))
+      }
+      res.as[Concat[Self, That]]
+    }
+  }
+
+  private implicit class ExprOps[U: Type](expr: Expr[U]) {
+
+    def as[T: Type]: Expr[T] = '{ (~expr).asInstanceOf[T] }
+
+    def bind[T](in: Expr[U] => Expr[T]): Expr[T] = '{
+      val t: U = (~expr)
+      ~(in('(t)))
+    }
+
+  }
+
+}