P package

scala.quoted

Members

package 

scala.quoted.show

package 

scala.quoted.util

class 

Expr

[+T]

Quoted expression of type T

Quoted expression of type T

object 

Expr

object 

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.

trait 

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.

class 

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.

class 

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

class 

Type

[T]

Quoted type (or kind) T

Quoted type (or kind) T

object 

Type

Some basic type tags, currently incomplete

Some basic type tags, currently incomplete

object 

ValueOfExpr

trait 

ValueOfExpr

[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

object 

autolift

Enable implicit conversion from a term of type T to an expression of type Expr[T]

Enable implicit conversion from a term of type T to an expression of type Expr[T]