ContextualImplicits

class ContextualImplicits(val refs: List[ImplicitRef], val outerImplicits: ContextualImplicits, isImport: Boolean)(initctx: Context) extends ImplicitRefs

The implicit references coming from the context.

Value Params
outerCtx

the next outer context that makes visible further implicits

refs

the implicit references made visible by the current context. Note: The name of the reference might be different from the name of its symbol. In the case of a renaming import a => b, the name of the reference is the renamed name, b, whereas the name of the symbol is the original name, a.

class Object
trait Matchable
class Any

Value members

Concrete methods

The implicit references that are eligible for type tp.

The implicit references that are eligible for type tp.

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

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

override def isAccessible(ref: TermRef)(using Context): Boolean
Definition Classes
override def toString: String
Definition Classes
Any

Inherited methods

If comes from an implicit scope of a type, the companion objects making up that implicit scope, otherwise the empty set.

If comes from an implicit scope of a type, the companion objects making up that implicit scope, otherwise the empty set.

Inherited from
ImplicitRefs
protected def filterMatching(pt: Type)(using Context): List[Candidate]

Return those references in refs that are compatible with type pt.

Return those references in refs that are compatible with type pt.

Inherited from
ImplicitRefs

Concrete fields

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.

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.

Inherited fields

final lazy protected val Context: Context
Inherited from
ImplicitRefs
Inherited from
ImplicitRefs