trait TypingTransformApi extends TransformApi
Functions that are available during typingTransform.
- Source
- Internals.scala
- See also
- Alphabetic
- By Inheritance
- TypingTransformApi
- TransformApi
- AnyRef
- Any
- by any2stringadd
- by StringFormat
- by Ensuring
- by ArrowAssoc
- Hide All
- Show All
- Public
- All
Abstract Value Members
- abstract def atOwner[T](tree: blackbox.Context.Tree, owner: blackbox.Context.Symbol)(op: => T): T
Temporarily pushes the given tree onto the recursion stack, and then calls
atOwner(symbol)(trans)
. - abstract def atOwner[T](owner: blackbox.Context.Symbol)(op: => T): T
Temporarily pushes the given symbol onto the owner stack, creating a new local typer, invoke the given operation and then rollback the changes to the owner stack.
- abstract def currentOwner: blackbox.Context.Symbol
Returns the symbol currently on the top of the owner stack.
Returns the symbol currently on the top of the owner stack. If we're not inside any
atOwner
call, then macro application's context owner will be used. - abstract def default(tree: blackbox.Context.Tree): blackbox.Context.Tree
Calls the default transformer on the given tree.
Calls the default transformer on the given tree. Default transformer = recur into tree's children and assemble the results.
- Definition Classes
- TransformApi
- abstract def recur(tree: blackbox.Context.Tree): blackbox.Context.Tree
Calls the current transformer on the given tree.
Calls the current transformer on the given tree. Current transformer = argument to the
transform
call.- Definition Classes
- TransformApi
- abstract def typecheck(tree: blackbox.Context.Tree): blackbox.Context.Tree
Typechecks the given tree using the local typer currently on the top of the owner stack.
Typechecks the given tree using the local typer currently on the top of the owner stack. If we're not inside any
atOwner
call, then macro application's callsite typer will be used.
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 TypingTransformApi toany2stringadd[TypingTransformApi] performed by method any2stringadd in scala.Predef.
- Definition Classes
- any2stringadd
- def ->[B](y: B): (TypingTransformApi, B)
- Implicit
- This member is added by an implicit conversion from TypingTransformApi toArrowAssoc[TypingTransformApi] performed by method ArrowAssoc in scala.Predef.
- Definition Classes
- ArrowAssoc
- Annotations
- @inline()
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- 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: (TypingTransformApi) => Boolean, msg: => Any): TypingTransformApi
- Implicit
- This member is added by an implicit conversion from TypingTransformApi toEnsuring[TypingTransformApi] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
- def ensuring(cond: (TypingTransformApi) => Boolean): TypingTransformApi
- Implicit
- This member is added by an implicit conversion from TypingTransformApi toEnsuring[TypingTransformApi] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
- def ensuring(cond: Boolean, msg: => Any): TypingTransformApi
- Implicit
- This member is added by an implicit conversion from TypingTransformApi toEnsuring[TypingTransformApi] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
- def ensuring(cond: Boolean): TypingTransformApi
- Implicit
- This member is added by an implicit conversion from TypingTransformApi toEnsuring[TypingTransformApi] 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 TypingTransformApi toStringFormat[TypingTransformApi] 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()
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- 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()
Deprecated Value Members
- def →[B](y: B): (TypingTransformApi, B)
- Implicit
- This member is added by an implicit conversion from TypingTransformApi toArrowAssoc[TypingTransformApi] performed by method ArrowAssoc in scala.Predef.
- Definition Classes
- ArrowAssoc
- Annotations
- @deprecated
- Deprecated
(Since version 2.13.0) Use
->
instead. If you still wish to display it as one character, consider using a font with programming ligatures such as Fira Code.
Inherited from TransformApi
Value Members
- abstract def default(tree: blackbox.Context.Tree): blackbox.Context.Tree
Calls the default transformer on the given tree.
Calls the default transformer on the given tree. Default transformer = recur into tree's children and assemble the results.
- Definition Classes
- TransformApi
- abstract def recur(tree: blackbox.Context.Tree): blackbox.Context.Tree
Calls the current transformer on the given tree.
Calls the current transformer on the given tree. Current transformer = argument to the
transform
call.- Definition Classes
- TransformApi
Inherited from AnyRef
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##(): Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- def clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- 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])
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- 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()
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- 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()
Inherited from Any
Inherited by implicit conversion any2stringadd fromTypingTransformApi to any2stringadd[TypingTransformApi]
Value Members
- def +(other: String): String
- Implicit
- This member is added by an implicit conversion from TypingTransformApi toany2stringadd[TypingTransformApi] performed by method any2stringadd in scala.Predef.
- Definition Classes
- any2stringadd
Inherited by implicit conversion StringFormat fromTypingTransformApi to StringFormat[TypingTransformApi]
Value Members
- def formatted(fmtstr: String): String
- Implicit
- This member is added by an implicit conversion from TypingTransformApi toStringFormat[TypingTransformApi] performed by method StringFormat in scala.Predef.
- Definition Classes
- StringFormat
- Annotations
- @inline()
Inherited by implicit conversion Ensuring fromTypingTransformApi to Ensuring[TypingTransformApi]
Value Members
- def ensuring(cond: (TypingTransformApi) => Boolean, msg: => Any): TypingTransformApi
- Implicit
- This member is added by an implicit conversion from TypingTransformApi toEnsuring[TypingTransformApi] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
- def ensuring(cond: (TypingTransformApi) => Boolean): TypingTransformApi
- Implicit
- This member is added by an implicit conversion from TypingTransformApi toEnsuring[TypingTransformApi] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
- def ensuring(cond: Boolean, msg: => Any): TypingTransformApi
- Implicit
- This member is added by an implicit conversion from TypingTransformApi toEnsuring[TypingTransformApi] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
- def ensuring(cond: Boolean): TypingTransformApi
- Implicit
- This member is added by an implicit conversion from TypingTransformApi toEnsuring[TypingTransformApi] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
Inherited by implicit conversion ArrowAssoc fromTypingTransformApi to ArrowAssoc[TypingTransformApi]
Value Members
- def ->[B](y: B): (TypingTransformApi, B)
- Implicit
- This member is added by an implicit conversion from TypingTransformApi toArrowAssoc[TypingTransformApi] performed by method ArrowAssoc in scala.Predef.
- Definition Classes
- ArrowAssoc
- Annotations
- @inline()
- def →[B](y: B): (TypingTransformApi, B)
- Implicit
- This member is added by an implicit conversion from TypingTransformApi toArrowAssoc[TypingTransformApi] performed by method ArrowAssoc in scala.Predef.
- Definition Classes
- ArrowAssoc
- Annotations
- @deprecated
- Deprecated
(Since version 2.13.0) Use
->
instead. If you still wish to display it as one character, consider using a font with programming ligatures such as Fira Code.
Ungrouped
- abstract def atOwner[T](tree: blackbox.Context.Tree, owner: blackbox.Context.Symbol)(op: => T): T
Temporarily pushes the given tree onto the recursion stack, and then calls
atOwner(symbol)(trans)
. - abstract def atOwner[T](owner: blackbox.Context.Symbol)(op: => T): T
Temporarily pushes the given symbol onto the owner stack, creating a new local typer, invoke the given operation and then rollback the changes to the owner stack.
- abstract def currentOwner: blackbox.Context.Symbol
Returns the symbol currently on the top of the owner stack.
Returns the symbol currently on the top of the owner stack. If we're not inside any
atOwner
call, then macro application's context owner will be used. - abstract def default(tree: blackbox.Context.Tree): blackbox.Context.Tree
Calls the default transformer on the given tree.
Calls the default transformer on the given tree. Default transformer = recur into tree's children and assemble the results.
- Definition Classes
- TransformApi
- abstract def recur(tree: blackbox.Context.Tree): blackbox.Context.Tree
Calls the current transformer on the given tree.
Calls the current transformer on the given tree. Current transformer = argument to the
transform
call.- Definition Classes
- TransformApi
- abstract def typecheck(tree: blackbox.Context.Tree): blackbox.Context.Tree
Typechecks the given tree using the local typer currently on the top of the owner stack.
Typechecks the given tree using the local typer currently on the top of the owner stack. If we're not inside any
atOwner
call, then macro application's callsite typer will be used. - 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 TypingTransformApi toany2stringadd[TypingTransformApi] performed by method any2stringadd in scala.Predef.
- Definition Classes
- any2stringadd
- def ->[B](y: B): (TypingTransformApi, B)
- Implicit
- This member is added by an implicit conversion from TypingTransformApi toArrowAssoc[TypingTransformApi] performed by method ArrowAssoc in scala.Predef.
- Definition Classes
- ArrowAssoc
- Annotations
- @inline()
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- 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: (TypingTransformApi) => Boolean, msg: => Any): TypingTransformApi
- Implicit
- This member is added by an implicit conversion from TypingTransformApi toEnsuring[TypingTransformApi] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
- def ensuring(cond: (TypingTransformApi) => Boolean): TypingTransformApi
- Implicit
- This member is added by an implicit conversion from TypingTransformApi toEnsuring[TypingTransformApi] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
- def ensuring(cond: Boolean, msg: => Any): TypingTransformApi
- Implicit
- This member is added by an implicit conversion from TypingTransformApi toEnsuring[TypingTransformApi] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
- def ensuring(cond: Boolean): TypingTransformApi
- Implicit
- This member is added by an implicit conversion from TypingTransformApi toEnsuring[TypingTransformApi] 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 TypingTransformApi toStringFormat[TypingTransformApi] 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()
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- 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 →[B](y: B): (TypingTransformApi, B)
- Implicit
- This member is added by an implicit conversion from TypingTransformApi toArrowAssoc[TypingTransformApi] performed by method ArrowAssoc in scala.Predef.
- Definition Classes
- ArrowAssoc
- Annotations
- @deprecated
- Deprecated
(Since version 2.13.0) Use
->
instead. If you still wish to display it as one character, consider using a font with programming ligatures such as Fira Code.