Dotty Documentation

0.17.0-bin-SNAPSHOT

object Quoted
extends Object with Serializable

[-] Constructors

[-] Members

[+] @compileTimeOnly class patternBindHole

A splice of a name in a quoted pattern is desugared by wrapping getting this annotation

[+] class patternType

A splice of a name in a quoted pattern is that marks the definition of a type splice

[+] @compileTimeOnly class quoteTypeTag

Artifact of pickled type splices

During quote reification a quote '{ ... F[$t] ... } will be transformed into '{ @quoteTypeTag type T$1 = $t ... F[T$1] ... } to have a tree for $t. This artifact is removed durring quote unpickling.

See ReifyQuotes.scala and PickledQuotes.scala

[+] @compileTimeOnly def exprQuote ( x: T ) : Expr [ T ]

A term quote is desugared by the compiler into a call to this method

[+] @compileTimeOnly def exprSplice ( x: Expr [ T ] ) : T

A term splice is desugared by the compiler into a call to this method

[+] @compileTimeOnly def patternHole : T

A splice in a quoted pattern is desugared by the compiler into a call to this method

[+] @compileTimeOnly def typeQuote : Type [ T ]

A type quote is desugared by the compiler into a call to this method