reflectModule

Extension methods of Alternatives

Methods of the module object val Alternatives

Extension methods of AndOrType

Methods of the module object val AndType

Extension methods of Annotated

Methods of the module object val Annotated

Extension methods of AnnotatedType

Methods of the module object val AnnotatedType

Extension methods of Applied

Methods of the module object val Applied

Extension methods of AppliedType

Methods of the module object val AppliedType

Extension methods of Apply

Methods of the module object val Apply

Extension methods of Assign

Methods of the module object val Assign

Extension methods of Bind

Methods of the module object val Bind

Extension methods of Block

Methods of the module object val Block

Methods of the module object val BooleanConstant

Extension methods of ByName

Methods of the module object val ByName

Extension methods of ByNameType

Methods of the module object val ByNameType

Methods of the module object val ByteConstant

Extension methods of CaseDef

Methods of the module object val CaseDef

Methods of the module object val CharConstant

Extension methods of ClassDef

Methods of the module object val ClassDef

Methods of the module object val ClassOf

Extension methods of Closure

Methods of the module object val Closure

Methods of the module object val CompilationInfo

Extension methods of Constant

Constant value represented as the constant itself

Extension methods of ConstantType

Methods of the module object val Type

Extension methods of DefDef

Methods of the module object val DefDef

Extension methods of Definition

Methods of the module object val Definition

Methods of the module object val DoubleConstant

Extension methods of Export

Methods of the module object val Export

Extension methods of Flags

Methods of the module object val Flags

Methods of the module object val FloatConstant

Extension methods of GivenSelector

Methods of the module object val GivenSelector

Extension methods of Ident

Methods of the module object val Ident

Extension methods of If

Methods of the module object val If

Extension methods of ImplicitSearchFailure

Extension methods of ImplicitSearchSuccess

Methods of the module object val Implicits

Extension methods of Import

Methods of the module object val Import

Methods of the module object val Inferred

Extension methods of Inlined

Methods of the module object val Inlined

Methods of the module object val IntConstant

Methods of the module object val Lambda

Extension methods of LambdaType

Extension methods of LambdaTypeTree

Methods of the module object val LambdaTypeTree

Extension methods of Literal

Methods of the module object val Literal

Methods of the module object val LongConstant

Extension methods of MatchCase

Methods of the module object val MatchCase

Extension methods of Match

Methods of the module object val Match

Extension methods of MatchType

Methods of the module object val MatchType

Extension methods of MatchTypeTree

Methods of the module object val MatchTypeTree

Extension methods of MethodType

Methods of the module object val MethodType

Extension methods of NamedArg

Methods of the module object val NamedArg

Extension methods of NamedType

Extension methods of New

Methods of the module object val New

Methods of the module object val NoPrefix

Methods of the module object val NullConstant

Extension methods of OmitSelector

Methods of the module object val OmitSelector

Methods of the module object val OrType

Extension methods of PackageClause

Methods of the module object val PackageClause

Extension methods of ParamClause

Methods of the module object val ParamClause

Extension methods of ParamRef

Methods of the module object val ParamRef

Extension methods of PolyType

Methods of the module object val PolyType

Extension methods of Position

Methods of the module object val Position

Type class used in show methods to provide customizable String representations

Methods of the module object val Printer

Extension methods of RecursiveThis

Methods of the module object val RecursiveThis

Extension methods of RecursiveType

Methods of the module object val RecursiveType

Methods of the module object val Ref

Extension methods of Refined

Methods of the module object val Refined

Extension methods of Refinement

Methods of the module object val Refinement

Extension methods of RenameSelector

Methods of the module object val RenameSelector

Extension methods of Repeated

Methods of the module object val Repeated

Extension methods of Return

Methods of the module object val Return

Extension methods of Select

Methods of the module object val Select

Extension methods of SelectOuter

Methods of the module object val SelectOuter

Methods of the module object val Selector

Methods of the module object val Short

Extension methods of Signature

Methods of the module object val Signature

Extension methods of SimpleSelector

Methods of the module object val SimpleSelector

Extension methods of Singleton

Methods of the module object val Singleton

Extension methods of SourceFile

Methods of the module object val SourceFile

Methods of the module object val StringConstant

Extension methods of SummonFrom

Methods of the module object val SummonFrom

Extension methods of Super

Methods of the module object val Super

Extension methods of SuperType

Methods of the module object val SuperType

Extension methods of Symbol

Methods of the module object val Symbol

Extension methods of Term

Methods of the module object val Term

Extension methods of TermParamClause

Methods of the module object val TermParamClause

Methods of the module object val TermRef

Extension methods of This

Methods of the module object val This

Extension methods of ThisType

Methods of the module object val ThisType

Customizable Tree accumulator.

Usage:

package scala.quoted
trait Snippet0 { self: runtime.QuoteUnpickler & scala.quoted.runtime.QuoteMatching &    scala.quoted.Quotes =>
  val QuoteUnpickler = self
  val QuoteMatching = self
  val Quotes = self
  trait Snippet1 { self: Quotes.reflect.type /*Quotes.reflectModule*/ &    Quotes.reflectModule =>
    val reflect = self
    val reflectModule = self
    trait Snippet2[X] { self: reflectModule.TreeAccumulator[X] =>
      val TreeAccumulator = self
      class MyTreeAccumulator[X] extends TreeAccumulator[X] {
        def foldTree(x: X, tree: Tree)(owner: Symbol): X = ???
      }
    }
  }
}

Customizable tree mapper.

Usage:

package scala.quoted
trait Snippet0 { self: runtime.QuoteUnpickler & scala.quoted.runtime.QuoteMatching &    scala.quoted.Quotes =>
  val QuoteUnpickler = self
  val QuoteMatching = self
  val Quotes = self
  trait Snippet1 { self: Quotes.reflect.type /*Quotes.reflectModule*/ &    Quotes.reflectModule =>
    val reflect = self
    val reflectModule = self
    trait Snippet2 { self: reflectModule.TreeMap =>
      val TreeMap = self
      class MyTreeMap extends TreeMap {
        override def transformTree(tree: Tree)(owner: Symbol): Tree = ???
      }
    }
  }
}

Extension methods of Tree

Methods of the module object val Tree

Customizable tree traverser.

Usage:

package scala.quoted
trait Snippet0 { self: runtime.QuoteUnpickler & scala.quoted.runtime.QuoteMatching &    scala.quoted.Quotes =>
  val QuoteUnpickler = self
  val QuoteMatching = self
  val Quotes = self
  trait Snippet1 { self: Quotes.reflect.type /*Quotes.reflectModule*/ &    Quotes.reflectModule =>
    val reflect = self
    val reflectModule = self
    trait Snippet2 { self: reflectModule.TreeTraverser =>
      val TreeTraverser = self
      class MyTraverser extends TreeTraverser {
        override def traverseTree(tree: Tree)(owner: Symbol): Unit = ???
      }
    }
  }
}

Extension methods of Try

Methods of the module object val Try

Extension methods of TypeApply

Methods of the module object val TypeApply

Extension methods of TypeBind

Methods of the module object val TypeBind

Extension methods of TypeBlock

Methods of the module object val TypeBlock

Extension methods of TypeBounds

Methods of the module object val TypeBounds

Extension methods of TypeBoundsTree

Methods of the module object val TypeBoundsTree

Extension methods of TypeCaseDef

Methods of the module object val TypeCaseDef

Extension methods of TypeDef

Methods of the module object val TypeDef

Extension methods of TypeIdent

Methods of the module object val TypeIdent

Extension methods of TypeLambda

Methods of the module object val TypeLambda

Extension methods of TypeParamClause

Methods of the module object val TypeParamClause

Extension methods of TypeProjection

Methods of the module object val TypeProjection

Extension methods of TypeRef

Methods of the module object val TypeRef

Extension methods of TypeRepr

Methods of the module object val TypeRepr

Extension methods of TypeSelect

Methods of the module object val TypeSelect

Extension methods of TypeTree

Methods of the module object val TypeTree

Extension methods of Typed

Methods of the module object val Typed

Extension methods of TypedOrTest

Methods of the module object val TypedOrTest

Extension methods of Unapply

Methods of the module object val Unapply

Methods of the module object val UnitConstant

Extension methods of ValDef

Methods of the module object val ValDef

Extension methods of While

Methods of the module object val While

Methods of the module object val Wildcard

Extension methods of WildcardTypeTree

Methods of the module object val WildcardTypeTree

Methods of the module object val defn

Methods of the module object val report

Pattern representing X | Y | ... alternatives.

Intersection type T & U or an union type T | U

Intersection type T & U

Type tree representing an annotated type

A type with an annotation T @foo

Type tree representing a type application

A higher kinded type applied to some types T[U]

Tree representing an application of arguments. It represents a single list of arguments, multiple argument lists will have nested Applys

Tree representing an assignment x = y in the source code

Pattern representing a _ @ _ binding.

Tree representing a block { ... } in the source code

Constant Boolean value

Type tree representing a by name parameter

Type of a by-name definition of type =>T.

May represent by-name parameter such as thunk in

package scala.quoted
trait Snippet0 { self: runtime.QuoteUnpickler & scala.quoted.runtime.QuoteMatching &    scala.quoted.Quotes =>
  val QuoteUnpickler = self
  val QuoteMatching = self
  val Quotes = self
  trait Snippet1 { self: Quotes.reflect.type /*Quotes.reflectModule*/ &    Quotes.reflectModule =>
    val reflect = self
    val reflectModule = self
    type T
    def log[T](thunk: => T): T = ???
  }
}

May also represent a the return type of a parameterless method definition such as

package scala.quoted
trait Snippet0 { self: runtime.QuoteUnpickler & scala.quoted.runtime.QuoteMatching &    scala.quoted.Quotes =>
  val QuoteUnpickler = self
  val QuoteMatching = self
  val Quotes = self
  trait Snippet1 { self: Quotes.reflect.type /*Quotes.reflectModule*/ &    Quotes.reflectModule =>
    val reflect = self
    val reflectModule = self
    def foo: Int = ???
  }
}

Constant Byte value

Branch of a pattern match or catch clause

Constant Char value

Tree representing a class definition. This includes anonymous class definitions and the class of a module object

Constant class value representing a classOf[T]

Constant value represented as the constant itself

A singleton type representing a known constant value

Tree representing a method definition in the source code

Tree representing a definition in the source code. It can be ClassDef, TypeDef, DefDef or ValDef

Constant Double value

Tree representing an export clause in the source code. Export forwarders generated from this clause appear in the same scope.

FlagSet of a Symbol

Constant Float value

given import/export selector: .given/.{given T} in import foo.given/export foo.{given T}

Tree representing a reference to definition with a given name

Tree representing an if/then/else if (...) ... else ... in the source code

Result of a given instance search

Type tree representing an inferred type

Tree representing the scope of an inlined tree

Constant Int value

Type of the definition of a method taking a single list of type or term parameters

Type tree representing a lambda abstraction type

Tree representing a literal value in the source code

Constant Long value

Tree representing a pattern match x match { ... } in the source code

Type match T match { case U => ... }

Type tree representing a type match

Type of the definition of a method taking a single list of type or term parameters

Type of the definition of a method taking a single list of parameters. It's return type may be a MethodType.

Tree representing an argument passed with an explicit name. Such as arg1 = x in foo(arg1 = x)

Type of a reference to a type or term symbol

Tree representing new in the source code

NoPrefix for a type selection

Constant null value

Omit import/export selector: .{bar => _} in import foo.{bar => _}

Union type T | U

Tree representing a package clause in the source code

package foo {
  // package stats
}

or

package foo.bar
// package stats

A parameter clause [X1, ..., Xn] or (x1: X1, ..., xn: Xx)

[X1, ..., Xn] are represented with TypeParamClause and (x1: X1, ..., xn: Xx) are represented with TermParamClause

ParamClause encodes the following enumeration

package scala.quoted
trait Snippet0 { self: runtime.QuoteUnpickler & scala.quoted.runtime.QuoteMatching &    scala.quoted.Quotes =>
  val QuoteUnpickler = self
  val QuoteMatching = self
  val Quotes = self
  trait Snippet1 { self: Quotes.reflect.type /*Quotes.reflectModule*/ &    Quotes.reflectModule =>
    val reflect = self
    val reflectModule = self
    enum ParamClause:
      case TypeParamClause(params: List[TypeDef])
      case TermParamClause(params: List[ValDef])
  }
}