scala.quoted
Members list
Packages
Type members
Classlikes
Quoted expression of typeT.
Quoted expression of typeT.
Expr has extension methods that are defined inscala.quoted.Quotes.
Attributes
- Companion
- object
- Source
- Expr.scala
- Supertypes
Attributes
- Source
- ExprMap.scala
- Supertypes
Attributes
- Source
- Exprs.scala
- Supertypes
- Self type
- Exprs.type
A type class for types that can convert aquoted.Expr[T] to aT.
A type class for types that can convert aquoted.Expr[T] to aT.
- Converts expression containing literal values to their values:
'{1}->1,'{2}->2, ...- For all primitive types and
String
- Converts an expression that constructs a copy of its value.
- This expression must be some kind of data structure (
Some,List,Either, ...) - Calls to
new XorX.applycan be lifted into its value - Arguments of constructors can be recursively unlifted
- This expression must be some kind of data structure (
Attributes
- Companion
- object
- Source
- FromExpr.scala
- Supertypes
- Known subtypes
Quotation context provided by a macro expansion or in the scope ofscala.quoted.staging.run. Used to perform all operations on quotedExpr orType.
Quotation context provided by a macro expansion or in the scope ofscala.quoted.staging.run. Used to perform all operations on quotedExpr orType.
It contains the low-level Typed AST API metaprogramming API. This API does not have the static type guarantees thatExpr andType provide.Quotes are generated from an enclosing${ ... } orscala.staging.run. For example:
import scala.quoted.*inline def myMacro: Expr[T] = ${ /* (quotes: Quotes) ?=> */ myExpr }def myExpr(using Quotes): Expr[T] = '{ f(${ /* (quotes: Quotes) ?=> */ myOtherExpr }) }}def myOtherExpr(using Quotes): Expr[U] = '{ ... }Attributes
- Source
- Quotes.scala
- Supertypes
- Self type
A type class for types that can convert a value ofT intoquoted.Expr[T] an expression that will create a copy of the value.
A type class for types that can convert a value ofT intoquoted.Expr[T] an expression that will create a copy of the value.
Attributes
- Companion
- object
- Source
- ToExpr.scala
- Supertypes
- Known subtypes
- objectArrayOfBooleanToExprobjectArrayOfByteToExprobjectArrayOfCharToExprobjectArrayOfDoubleToExprobjectArrayOfFloatToExprobjectArrayOfIntToExprobjectArrayOfLongToExprobjectArrayOfShortToExprobjectBigDecimalToExprobjectBigIntToExprobjectEmptyTupleToExprobjectNilToExprobjectNoneToExprobjectStringContextToExprShow all
Type (or type constructor)T needed contextually when usingT in a quoted expression'{... T ...}
Type (or type constructor)T needed contextually when usingT in a quoted expression'{... T ...}
Attributes
- Companion
- object
- Source
- Type.scala
- Supertypes
Expression representation of literal sequence of expressions.
Expression representation of literal sequence of expressions.
Varargs can be used to create the an expressionargs that will be used as varargs'{ f($args: _*) } or it can be used to extract all the arguments of the a varargs.
Attributes
- Source
- Varargs.scala
- Supertypes
- Self type
- Varargs.type
Value members
Concrete methods
Current Quotes in scope
Current Quotes in scope
Usage:
import scala.quoted.*def myExpr[T](using Quotes): Expr[T] = { import quotes.reflect.* ???}Attributes
- Source
- Quotes.scala