P package

scala.quoted

extends Object with Serializable

Supertypes

Object, Serializable

Members

package 

scala.quoted.show

package 

scala.quoted.util

object 

Const

Literal constant values

Literal constant values

object 

Consts

Literal constant values

Literal constant values

abstract class 

Expr

[+T]

Quoted expression of type T

Quoted expression of type T

object 

Expr

object 

Lambda

Lambda expression extractor

Lambda expression extractor

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 type class for types that can be turned to quoted.Expr[T] without going through an explicit '{...} operation.

A type class for types that can be turned to quoted.Expr[T] without going through an explicit '{...} operation.

trait 

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 metaprogramming API. This API does not have the static type guarantiees that Expr and Type provide.

object 

Reporting

class 

ScopeException

Exception thrown when an Expr or Type is used ouside of the scope where it is valid

Exception thrown when an Expr or Type is used ouside of the scope where it is valid

abstract 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 

Unliftable

trait 

Unliftable

[T]

A type class for types that can be turned from a quoted.Expr[T] to a T

A type class for types that can be turned from a quoted.Expr[T] to a T

object 

Unlifted

Value expressions

Value expressions

object 

Varargs

Literal sequence of expressions

Literal sequence of expressions

def 

qctx

( implicit  qctx: QuoteContext ) : qctx.type

Current QuoteContext in scope

Current QuoteContext in scope