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

SetFromExpr

given SetFromExpr[T](using val x$1: Type[T], val x$2: FromExpr[T]): FromExpr[Set[T]]

Default implementation of FromExpr[Set]

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

Value members

Concrete methods

def unapply(x: Expr[Set[T]])(using Quotes): Option[Set[T]]

Concrete fields

protected val x$1: Type[T]
protected val x$2: FromExpr[T]