Add summonAll and constValueTuple

library/src/scala/compiletime/package.scala

@@ -42,6 +42,15 @@ package object compiletime {
 
   inline def constValue[T]: T = ???
 
+  inline def constValueTuple[T <: Tuple]: T =
+    val res =
+      inline erasedValue[T] match
+        case _: EmptyTuple => EmptyTuple
+        case _: (t *: ts) => constValue[t] *: constValueTuple[ts]
+      end match
+    res.asInstanceOf[T]
+  end constValueTuple
+
   /** Summons first given matching one of the listed cases. E.g. in
    *
    *      given B { ... }
@@ -68,6 +77,20 @@ package object compiletime {
     case t: T => t
   }
 
+  /** Given a tuple T, summons each of its member types and returns them in
+   *  a List.
+   *
+   *  @tparam T the tuple containing the types of the values to be summoned
+   *  @return the given values typed as elements of the tuple
+   */
+  inline def summonAll[T <: Tuple]: T =
+    val res =
+      inline erasedValue[T] match
+        case _: EmptyTuple => EmptyTuple
+        case _: (t *: ts) => summonInline[t] *: summonAll[ts]
+      end match
+    res.asInstanceOf[T]
+  end summonAll
 
   /** Succesor of a natural number where zero is the type 0 and successors are reduced as if the definition was
    *

tests/run/constValueTuple.check

@@ -0,0 +1 @@
+(foo,bar,10,2.5)

tests/run/constValueTuple.scala

@@ -0,0 +1,4 @@
+import compiletime.constValueTuple
+
+@main def Test =
+  println(constValueTuple["foo" *: "bar" *: 10 *: 2.5 *: EmptyTuple])

tests/run/summonAll.check

@@ -0,0 +1 @@
+(10,foo,1.2)

tests/run/summonAll.scala

@@ -0,0 +1,7 @@
+import compiletime.summonAll
+
+@main def Test =
+  given as Int = 10
+  given as String = "foo"
+  given as Double = 1.2
+  println(summonAll[Int *: String *: Double *: EmptyTuple])