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

MapFromExpr

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

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]