scala3-library-bootstrapped/scala.quoted/FromExpr/EitherFromExpr

EitherFromExpr

given EitherFromExpr[L, R](using val x$1: Type[L], val x$2: Type[R], val x$3: FromExpr[L], val 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]