scala.quoted
extends Object with SerializableSupertypes
Object, SerializableMembers
Liftable
Some liftable base types. To be completed with at least all types that are valid Scala literals. The actual implementation of these typed could be in te...
Some liftable base types. To be completed with at least all types
that are valid Scala literals. The actual implementation of these
typed could be in terms of ast.tpd.Literal; the test quotable.scala
gives an alternative implementation using just the basic staging system.
Liftable
[T]A typeclass for types that can be turned to quoted.Expr[T]
without going through an explicit '{...} operation.
A typeclass for types that can be turned to quoted.Expr[T]
without going through an explicit '{...} operation.
QuoteContext
Quotation context provided by a macro expansion or in the scope of scala.quoted.run.
Used to perform all operations on quoted Expr or Type.
It contains...
Quotation context provided by a macro expansion or in the scope of scala.quoted.run.
Used to perform all operations on quoted Expr or Type.
It contains the low-level Typed AST API tasty meta-programming API.
This API does not have the static type guarantiees that Expr and Type provide.
ScopeException
Excetion thrown when an Expr or Type is used ouside of the scope where it is valid
Excetion thrown when an Expr or Type is used ouside of the scope where it is valid
StopQuotedContext
Stop code generation after an error has been reported
Stop code generation after an error has been reported
Unliftable
[T]A typeclass for types that can be turned from a quoted.Expr[T] to a T
A typeclass for types that can be turned from a quoted.Expr[T] to a T
autolift
[T] ( implicit x$1: Liftable[T] , x$2: QuoteContext ) : Conversion[T,Expr[T]]Implicit conversion from a term of type T to an expression of type Expr[T]
Implicit conversion from a term of type T to an expression of type Expr[T]