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

MapFromExpr

given MapFromExpr[T, U](using `x$1`: Type[T], `x$2`: Type[U], `x$3`: FromExpr[T], `x$4`: FromExpr[U]): FromExpr[Map[T, U]]

Default implementation of FromExpr[Map]

Default implementation of FromExpr[Map]

  • Transform '{Map(x1, ..., xn)} into Some(Map(x1, ..., xn)) if all xi can be transformed using FromExpr[Ti]
  • Transform '{Map.empty} into Some(Map())
  • Otherwise returns None

Value members

Concrete methods

def unapply(x: Expr[Map[T, U]])(using Quotes): Option[Map[T, U]]

Concrete fields

protected val `x$1`: Type[T]
protected val `x$2`: Type[U]
protected val `x$3`: FromExpr[T]
protected val `x$4`: FromExpr[U]