Dotty Documentation

0.3.0-bin-SNAPSHOT

trait Implicits

The implicit resolution part of type checking

[-] Constructors

[-] Members

[+] final class ExplainedImplicitSearch
[+] class ImplicitSearch

An implicit search; parameters as in inferImplicit

[+] private def assumedCanEqual ( ltp: Type , rtp: Type ) ( implicit ctx: Context ) : Boolean
[+] def checkCanEqual ( ltp: Type , rtp: Type , pos: Position ) ( implicit ctx: Context ) : Unit

Check that equality tests between types ltp and rtp make sense

[+] def inferImplicit ( pt: Type , argument: Tree , pos: Position ) ( implicit ctx: Context ) : SearchResult

Find an implicit parameter or conversion.

[+] def inferImplicitArg ( formal: Type , error: String => String => Unit , pos: Position ) ( implicit ctx: Context ) : Tree

Find an implicit argument for parameter formal.

[+] def inferView ( from: Tree , to: Type ) ( implicit ctx: Context ) : SearchResult

Find an implicit conversion to apply to given tree from so that the result is compatible with type to.

[+] override def viewExists ( from: Type , to: Type ) ( implicit ctx: Context ) : Boolean