Scala 3/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

Source
FromExpr.scala

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]