Class scala.reflect.macros.whitebox.Context.ImplicitCandidate
case class ImplicitCandidate(pre: Context.Type, sym: Context.Symbol, pt: Context.Type, tree: Context.Tree) extends Product with Serializable
Instance Constructors
new ImplicitCandidate(pre: Context.Type, sym: Context.Symbol, pt: Context.Type, tree: Context.Tree)
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 ImplicitCandidate toany2stringadd[ImplicitCandidate] performed by method any2stringadd in scala.Predef.
- Definition Classes
- any2stringadd
def ->[B](y: B): (ImplicitCandidate, B)
- Implicit
- This member is added by an implicit conversion from ImplicitCandidate toArrowAssoc[ImplicitCandidate] 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: (ImplicitCandidate) => Boolean, msg: => Any): ImplicitCandidate
- Implicit
- This member is added by an implicit conversion from ImplicitCandidate toEnsuring[ImplicitCandidate] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
def ensuring(cond: (ImplicitCandidate) => Boolean): ImplicitCandidate
- Implicit
- This member is added by an implicit conversion from ImplicitCandidate toEnsuring[ImplicitCandidate] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
def ensuring(cond: Boolean, msg: => Any): ImplicitCandidate
- Implicit
- This member is added by an implicit conversion from ImplicitCandidate toEnsuring[ImplicitCandidate] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
def ensuring(cond: Boolean): ImplicitCandidate
- Implicit
- This member is added by an implicit conversion from ImplicitCandidate toEnsuring[ImplicitCandidate] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
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 ImplicitCandidate toStringFormat[ImplicitCandidate] performed by method StringFormat in scala.Predef.
- Definition Classes
- StringFormat
- Annotations
- @inline()
final def getClass(): Class[_ <: AnyRef]
- 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()
val pre: Context.Type
def productElementNames: Iterator[String]
- Definition Classes
- Product
val pt: Context.Type
val sym: Context.Symbol
final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
val tree: Context.Tree
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()
© 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/whitebox/Context$ImplicitCandidate.html
Information about one of the currently considered implicit candidates. Candidates are used in plural form, because implicit parameters may themselves have implicit parameters, hence implicit searches can recursively trigger other implicit searches.
pre
andsym
provide information about the candidate itself.pt
andtree
store the parameters of the implicit search the candidate is participating in.