Scala 3/API/scala.quoted.runtime

scala.quoted.runtime

package scala.quoted.runtime

Type members

Classlikes

@compileTimeOnly("Illegal reference to `scala.quoted.runtime.Expr`")
object Expr
@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

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

@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

class StopMacroExpansion extends Throwable

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

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