scala.quoted.runtime

Type members

Classlikes

object Expr
Source:
Expr.scala

Part of the Quotes interface that needs to be implemented by the compiler but is not visible to users

Part of the Quotes interface that needs to be implemented by the compiler but is not visible to users

Source:
QuoteMatching.scala

Part of the Quotes interface that needs to be implemented by the compiler but is not visible to users

Part of the Quotes interface that needs to be implemented by the compiler but is not visible to users

Source:
QuoteUnpickler.scala
class SplicedType extends Annotation

Artifact of pickled type splices

Artifact of pickled type splices

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

See PickleQuotes.scala and PickledQuotes.scala

Adding this annotation in source has undefined behavior at compile-time

Source:
SplicedType.scala

Throwable used to abort the expansion of a macro after an error was reported

Throwable used to abort the expansion of a macro after an error was reported

Source:
StopMacroExpansion.scala