scala3-library-bootstrapped/scala.quoted/FromExpr/Tuple2FromExpr

Tuple2FromExpr

given Tuple2FromExpr[T1, T2](using `x$1`: Type[T1], `x$2`: Type[T2], `x$3`: FromExpr[T1], `x$4`: FromExpr[T2]): FromExpr[(T1, T2)]

Default implementation of FromExpr[Tuple2[...]]

  • Transform '{Tuple2(x1, x2)} into Some(Tuple2(x1, x2)) if all xi can be transformed using FromExpr[Ti]
  • Otherwise returns None

Value members

Concrete methods

def unapply(x: Expr[(T1, T2)])(using Quotes): Option[(T1, T2)]

Concrete fields

protected val `x$1`: Type[T1]
protected val `x$2`: Type[T2]
protected val `x$3`: FromExpr[T1]
protected val `x$4`: FromExpr[T2]