scala3-library-bootstrapped/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]

  • Transform '{Left(x)} into Some(Left(x)) if x can be transformed using FromExpr[L]
  • Transform '{Right(x)} into Some(Right(x)) if x can be transformed using FromExpr[R]
  • Otherwise returns 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]