Dotty Documentation

0.15.0-bin-SNAPSHOT

class ContextualImplicits
extends ImplicitRefs

The implicit references coming from the context.

[-] Constructors

ContextualImplicits ( refs: List [ ImplicitRef ] , outerImplicits: ContextualImplicits )
ContextualImplicits ( initctx: Context )

[-] Members

[+] private val eligibleCache : IdentityHashMap [ Type, List [ Candidate ] ]
[+] private val initctx : Context
[+] override val level : Int

The level increases if current context has a different owner or scope than the context of the next-outer ImplicitRefs. This is however disabled under Scala2 mode, since we do not want to change the implicit disambiguation then.

[+] val outerImplicits : ContextualImplicits
[+] val refs : List [ ImplicitRef ]

The implicit references

[+] private def computeEligible ( tp: Type ) : List [ Candidate ]
[+] def eligible ( tp: Type ) : List [ Candidate ]

The implicit references that are eligible for type tp.

[+] def exclude ( root: Symbol ) : ContextualImplicits

This context, or a copy, ensuring root import from symbol root is not present in outer implicits.

[+] private def isOuterMost : Boolean

Is this the outermost implicits? This is the case if it either the implicits of NoContext, or the last one before it.

[+] override def toString : String