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

OptionFromExpr

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

Default implementation of FromExpr[Option] - Unlifts '{Some(x)} into Some(Some(x)) if x is unliftable - Unlifts '{None} into Some(None) - Otherwise unlifts to None

Value members

Concrete methods

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

Concrete fields

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