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

Default implementation of FromExpr[Left]

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