Scala 3/scala.quoted/FromExpr/OptionFromExpr

OptionFromExpr

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

Default implementation of FromExpr[Option] - Transform '{Some(x)} into Some(Some(x)) if x can be transformed using FromExpr[T] - Transform '{None} into Some(None) - Otherwise returns None

Source:
FromExpr.scala

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]