Scala 3/scala.quoted.runtime

scala.quoted.runtime

package scala.quoted.runtime

Type members

Classlikes

@compileTimeOnly("Illegal reference to `scala.quoted.runtime.Expr`")
object Expr
Source:
Expr.scala
@compileTimeOnly("Illegal reference to `scala.quoted.runtime.Patterns`")
object Patterns
trait QuoteMatching

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
trait QuoteUnpickler

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
@compileTimeOnly("Illegal reference to `scala.quoted.runtime.SplicedType`")
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
class StopMacroExpansion extends Throwable

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