scala.quoted.runtime

Members list

Concise view

Type members

Classlikes

object Expr

Attributes

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

Attributes

Source:
Patterns.scala
Graph
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:
QuoteMatching.scala
Graph
Supertypes
class Object
trait Matchable
class Any

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
Graph
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
Graph
Supertypes
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
Graph
Supertypes
class Throwable
class Object
trait Matchable
class Any