Scala 3/scala.quoted/FromExpr/Tuple8FromExpr

Tuple8FromExpr

given Tuple8FromExpr[T1, T2, T3, T4, T5, T6, T7, T8](using val x$1: Type[T1], val x$2: Type[T2], val x$3: Type[T3], val x$4: Type[T4], val x$5: Type[T5], val x$6: Type[T6], val x$7: Type[T7], val x$8: Type[T8], val x$9: FromExpr[T1], val x$10: FromExpr[T2], val x$11: FromExpr[T3], val x$12: FromExpr[T4], val x$13: FromExpr[T5], val x$14: FromExpr[T6], val x$15: FromExpr[T7], val x$16: FromExpr[T8]): FromExpr[(T1, T2, T3, T4, T5, T6, T7, T8)]

Default implementation of FromExpr[Tuple8[...]] - Transform '{Tuple8(x1, ..., x8)} into Some(Tuple8(x1, ..., x8)) if all xi can be transformed using FromExpr[Ti] - Otherwise returns None

Source
FromExpr.scala

Value members

Concrete methods

def unapply(x: Expr[(T1, T2, T3, T4, T5, T6, T7, T8)])(using Quotes): Option[(T1, T2, T3, T4, T5, T6, T7, T8)]

Concrete fields

protected val x$1: Type[T1]
protected val x$10: FromExpr[T2]
protected val x$11: FromExpr[T3]
protected val x$12: FromExpr[T4]
protected val x$13: FromExpr[T5]
protected val x$14: FromExpr[T6]
protected val x$15: FromExpr[T7]
protected val x$16: FromExpr[T8]
protected val x$2: Type[T2]
protected val x$3: Type[T3]
protected val x$4: Type[T4]
protected val x$5: Type[T5]
protected val x$6: Type[T6]
protected val x$7: Type[T7]
protected val x$8: Type[T8]
protected val x$9: FromExpr[T1]