Dotty Documentation

0.14.0-bin-SNAPSHOT

abstract class ImplicitRefs
extends Object

A common base class of contextual implicits and of-type implicits which represents a set of references to implicit definitions.

[-] Constructors

ImplicitRefs ( initctx: Context )

[-] Members

[+] private var SingletonClass : ClassSymbol
[+] implicit val ctx : Context
[+] private val initctx : Context
[+] protected def filterMatching ( pt: Type ) ( implicit ctx: Context ) : List [ Candidate ]

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

[+] def level : Int

The nesting level of this context. Non-zero only in ContextialImplicits

[+] def refs : List [ ImplicitRef ]

The implicit references

[+] private def widenSingleton ( tp: Type ) ( implicit ctx: Context ) : Type

Widen type so that it is neither a singleton type nor a type that inherits from scala.Singleton.