W3cubDocs

Trait scala.reflect.macros.Aliases

trait Aliases extends AnyRef

EXPERIMENTAL

A slice of the Scala macros context that defines shorthands for the most frequently used types and functions of the underlying compiler universe.

Self Type: blackbox.Context
Source: Aliases.scala
Linear Supertypes: AnyRef, Any
Known Subclasses: Context, Context

Type Members

type Expr[+T] = Universe.Expr[T]

type Modifiers = Universe.Modifiers

type Position = Universe.Position

type TermName = Universe.TermName

type Type = Universe.Type

The type of Scala types, and also Scala type signatures. (No difference is internally made between the two).

type TypeName = Universe.TypeName

type TypeTag[T] = Universe.TypeTag[T]

type WeakTypeTag[T] = Universe.WeakTypeTag[T]

Abstract Value Members

abstract def Expr[T](tree: blackbox.Context.Tree)(implicit arg0: blackbox.Context.WeakTypeTag[T]): blackbox.Context.Expr[T]

A shorthand to create an expr.

Unlike the conventional expr factory, which requires a scala.reflect.api.TreeCreator, this one accepts a regular tree, but the resulting exprs are unable of being migrated to other universes/mirrors (the functionality normally not needed for macros, since there is only one compile-time universe and only one compile-time mirror).

abstract def TypeTag[T](tpe: blackbox.Context.Type): blackbox.Context.TypeTag[T]

A shorthand to create a type tag.

Unlike the conventional type tag factory, which requires a scala.reflect.api.TypeCreator, this one accepts a regular type, but the resulting type tags are unable of being migrated to other universes/mirrors (the functionality normally not needed for macros, since there is only one compile-time universe and only one compile-time mirror).

abstract def WeakTypeTag[T](tpe: blackbox.Context.Type): blackbox.Context.WeakTypeTag[T]

A shorthand to create a weak type tag.

Concrete Value Members

final def !=(arg0: Any): Boolean

Definition Classes: AnyRef → Any

final def ##(): Int

Definition Classes: AnyRef → Any

def +(other: String): String

Implicit: This member is added by an implicit conversion from Aliases toany2stringadd[Aliases] performed by method any2stringadd in scala.Predef.
Definition Classes: any2stringadd

def ->[B](y: B): (Aliases, B)

Implicit: This member is added by an implicit conversion from Aliases toArrowAssoc[Aliases] performed by method ArrowAssoc in scala.Predef.
Definition Classes: ArrowAssoc
Annotations: @inline()

final def ==(arg0: Any): Boolean

Definition Classes: AnyRef → Any

val Expr: Universe.Expr.type

val TypeTag: Universe.TypeTag.type

val WeakTypeTag: Universe.WeakTypeTag.type

final def asInstanceOf[T0]: T0

Definition Classes: Any

def clone(): AnyRef

Attributes: protected[java.lang]
Definition Classes: AnyRef
Annotations: @throws(classOf[java.lang.CloneNotSupportedException]) @native()

def ensuring(cond: (Aliases) => Boolean, msg: => Any): Aliases

Implicit: This member is added by an implicit conversion from Aliases toEnsuring[Aliases] performed by method Ensuring in scala.Predef.
Definition Classes: Ensuring

def ensuring(cond: (Aliases) => Boolean): Aliases

Implicit: This member is added by an implicit conversion from Aliases toEnsuring[Aliases] performed by method Ensuring in scala.Predef.
Definition Classes: Ensuring

def ensuring(cond: Boolean, msg: => Any): Aliases

Implicit: This member is added by an implicit conversion from Aliases toEnsuring[Aliases] performed by method Ensuring in scala.Predef.
Definition Classes: Ensuring

def ensuring(cond: Boolean): Aliases

Implicit: This member is added by an implicit conversion from Aliases toEnsuring[Aliases] performed by method Ensuring in scala.Predef.
Definition Classes: Ensuring

final def eq(arg0: AnyRef): Boolean

Definition Classes: AnyRef

def equals(arg0: AnyRef): Boolean

Definition Classes: AnyRef → Any

def finalize(): Unit

Attributes: protected[java.lang]
Definition Classes: AnyRef
Annotations: @throws(classOf[java.lang.Throwable])

def formatted(fmtstr: String): String

Implicit: This member is added by an implicit conversion from Aliases toStringFormat[Aliases] performed by method StringFormat in scala.Predef.
Definition Classes: StringFormat
Annotations: @inline()

final def getClass(): Class[_ <: AnyRef]

Definition Classes: AnyRef → Any
Annotations: @native()

def hashCode(): Int

Definition Classes: AnyRef → Any
Annotations: @native()

final def isInstanceOf[T0]: Boolean

Definition Classes: Any

final def ne(arg0: AnyRef): Boolean

Definition Classes: AnyRef

final def notify(): Unit

Definition Classes: AnyRef
Annotations: @native()

final def notifyAll(): Unit

Definition Classes: AnyRef
Annotations: @native()

def symbolOf[T](implicit arg0: blackbox.Context.WeakTypeTag[T]): Universe.TypeSymbol

final def synchronized[T0](arg0: => T0): T0

Definition Classes: AnyRef

def toString(): String

Definition Classes: AnyRef → Any

def typeOf[T](implicit ttag: blackbox.Context.TypeTag[T]): blackbox.Context.Type

def typeTag[T](implicit ttag: blackbox.Context.TypeTag[T]): blackbox.Context.TypeTag[T]

final def wait(): Unit

Definition Classes: AnyRef
Annotations: @throws(classOf[java.lang.InterruptedException])

final def wait(arg0: Long, arg1: Int): Unit

Definition Classes: AnyRef
Annotations: @throws(classOf[java.lang.InterruptedException])

final def wait(arg0: Long): Unit

Definition Classes: AnyRef
Annotations: @throws(classOf[java.lang.InterruptedException]) @native()

def weakTypeOf[T](implicit attag: blackbox.Context.WeakTypeTag[T]): blackbox.Context.Type

def weakTypeTag[T](implicit attag: blackbox.Context.WeakTypeTag[T]): blackbox.Context.WeakTypeTag[T]

© 2002-2019 EPFL, with contributions from Lightbend.
Licensed under the Apache License, Version 2.0.
https://www.scala-lang.org/api/2.13.0/scala-reflect/scala/reflect/macros/Aliases.html