trait Holes extends AnyRef
Defines abstractions that provide support for splicing into Scala syntax.
- Self Type
- Quasiquotes
- Source
- Holes.scala
- Alphabetic
- By Inheritance
- Holes
- AnyRef
- Any
- by any2stringadd
- by StringFormat
- by Ensuring
- by ArrowAssoc
- Hide All
- Show All
- Public
- Protected
Type Members
- class ApplyHole extends Quasiquotes.Hole
- abstract class Hole extends AnyRef
Hole encapsulates information about unquotees in quasiquotes.
Hole encapsulates information about unquotees in quasiquotes. It packs together a rank, pre-reified tree representation (possibly preprocessed) and position.
- class UnapplyHole extends Quasiquotes.Hole
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- def +(other: String): String
- def ->[B](y: B): (Holes, B)
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- def ensuring(cond: (Holes) => Boolean, msg: => Any): Holes
- def ensuring(cond: (Holes) => Boolean): Holes
- def ensuring(cond: Boolean, msg: => Any): Holes
- def ensuring(cond: Boolean): Holes
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- def formatted(fmtstr: String): String
- 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()
- object Hole
- object unlifters
Full support for unliftable implies that it's possible to interleave deconstruction with higher rank and unlifting of the values.
Full support for unliftable implies that it's possible to interleave deconstruction with higher rank and unlifting of the values. In particular extraction of List[Tree] as List[T: Unliftable] requires helper extractors that would do the job: UnliftListElementwise[T]. Similarly List[List[Tree]] needs UnliftListOfListsElementwise[T].
See also "unlift list" tests in UnapplyProps.scala
Deprecated Value Members
- def →[B](y: B): (Holes, B)
- Implicit
- This member is added by an implicit conversion from Holes toArrowAssoc[Holes] 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.
The Scala compiler and reflection APIs.