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

ListFromExpr

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

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

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

Value members

Concrete methods

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

Concrete fields

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