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

LeftFromExpr

given LeftFromExpr[L, R](using `x$1`: Type[L], `x$2`: Type[R], `x$3`: FromExpr[L]): FromExpr[Left[L, R]]

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

Value members

Concrete methods

def unapply(x: Expr[Left[L, R]])(using Quotes): Option[Left[L, R]]

Concrete fields

protected val `x$1`: Type[L]
protected val `x$2`: Type[R]
protected val `x$3`: FromExpr[L]