scala.quoted.runtime

Members list

Type members

Classlikes

object Expr

Attributes

Source
Expr.scala
Supertypes
class Object
trait Matchable
class Any
Self type
Expr.type
object Patterns

Attributes

Source
Patterns.scala
Supertypes
class Object
trait Matchable
class Any
Self type
Patterns.type

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

Attributes

Companion
object
Source
QuoteMatching.scala
Supertypes
class Object
trait Matchable
class Any
object QuoteMatching

Attributes

Companion
trait
Source
QuoteMatching.scala
Supertypes
class Object
trait Matchable
class Any
Self type

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

Attributes

Source
QuoteUnpickler.scala
Supertypes
class Object
trait Matchable
class Any
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

Attributes

Source
SplicedType.scala
Supertypes
class Annotation
class Object
trait Matchable
class Any

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

Attributes

Source
StopMacroExpansion.scala
Supertypes
class Throwable
trait Serializable
class Object
trait Matchable
class Any