Scala 3/API/scala.quoted/FromExpr/SeqFromExpr

SeqFromExpr

given SeqFromExpr[T](using `x$1`: Type[T], `x$2`: FromExpr[T]): FromExpr[Seq[T]]

Default implementation of FromExpr[Seq] - Unlifts '{Seq(x1, ..., xn)} into Some(Seq(x1, ..., xn)) if all xi are unliftable - Unlifts sequences that come out of varargs - Otherwise unlifts to None

Value members

Concrete methods

def unapply(x: Expr[Seq[T]])(using Quotes): Option[Seq[T]]

Concrete fields

protected val `x$1`: Type[T]
protected val `x$2`: FromExpr[T]