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

EitherFromExpr

given EitherFromExpr[L, R](using `x$1`: Type[L], `x$2`: Type[R], `x$3`: FromExpr[L], `x$4`: FromExpr[R]): FromExpr[Either[L, R]]

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

Value members

Concrete methods

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

Concrete fields

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