Scala 3/scala.quoted/Quotes/reflectModule/DefDefMethods

DefDefMethods

trait DefDefMethods

Extension methods of DefDef

Source:
Quotes.scala
class Object
trait Matchable
class Any

Extensions

Extensions

extension (self: DefDef)
def leadingTypeParams: List[TypeDef]

List of leading type parameters or Nil if the method does not have leading type parameters.

List of leading type parameters or Nil if the method does not have leading type parameters.

Note: Non leading type parameters can be found in extension methods 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
    trait Snippet2 { self: reflectModule.DefDefMethods =>
      val DefDefMethods = self
      type A
      type T
      extension (a: A) def f[T]() = ???
    }
  }
}
Source:
Quotes.scala
def paramss: List[ParamClause]

List of type and term parameter clauses

List of type and term parameter clauses

Source:
Quotes.scala
def returnTpt: TypeTree

The tree of the return type of this def definition

The tree of the return type of this def definition

Source:
Quotes.scala
def rhs: Option[Term]

The tree of the implementation of the method. Returns None if the method does not have an implementation.

The tree of the implementation of the method. Returns None if the method does not have an implementation.

Source:
Quotes.scala
def termParamss: List[TermParamClause]

List of term parameter clauses

List of term parameter clauses

Source:
Quotes.scala
def trailingParamss: List[ParamClause]

List of parameter clauses following the leading type parameters or all clauses. Return all parameter clauses if there are no leading type parameters.

List of parameter clauses following the leading type parameters or all clauses. Return all parameter clauses if there are no leading type parameters.

Non leading type parameters can be found in extension methods 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
    trait Snippet2 { self: reflectModule.DefDefMethods =>
      val DefDefMethods = self
      type T
      type A
      extension (a: A) def f[T]() = ???
    }
  }
}
Source:
Quotes.scala