Scala 3/API/scala.quoted/Type

Type

object Type

Methods to interact with the current Type[T] in scope

Methods to interact with the current Type[T] in scope

Companion
class
class Object
trait Matchable
class Any

Value members

Concrete methods

def show[T <: AnyKind](using Type[T])(using Quotes): String

Show a source code like representation of this type without syntax highlight

Show a source code like representation of this type without syntax highlight

def valueOfConstant[T](using Type[T])(using Quotes): Option[T]

Extracts the value of singleton constant type, None otherwise.

Extracts the value of singleton constant type, None otherwise.

Example usage:

... match
  case '{ $mirrorExpr : Mirror.Sum { type MirroredLabel = label } } =>
    Type.valueOfConstant[label] // Option[String]
}

Givens

Givens

@compileTimeOnly("Reference to `scala.quoted.Type.of` was not handled by PickleQuotes")
given of

Return a quoted.Type with the given type

Return a quoted.Type with the given type