Scala 3/scala.quoted/Type

Type

object Type

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

Companion
class
Source
Type.scala
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

Source
Type.scala
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]
}



Source
Type.scala
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
Source
Type.scala