Tuple8FromExpr

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

Default implementation of FromExpr[Tuple8[...]] - Unlifts '{Tuple8(x1, ..., x8)} into Some(Tuple8(x1, ..., x8)) if all xi are unliftable - Otherwise unlifts to None

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$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$1`: Type[T1]
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]