Dotty Documentation

0.3.0-bin-SNAPSHOT

object Implicits

Implicit resolution

[-] Constructors

[-] Members

[+] class AmbiguousImplicits

An ambiguous implicits failure

[+] case class Candidate

An eligible implicit candidate, consisting of an implicit reference and a nesting level

[+] object Candidate

An eligible implicit candidate, consisting of an implicit reference and a nesting level

The implicit references coming from the context.

[+] class DivergingImplicit
[+] object DivergingImplicit
[+] abstract class ExplainedSearchFailure

A search failure that can show information about the cause

[+] class FailedImplicit
[+] abstract class ImplicitRefs

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

[+] object NoImplicitMatches

A "no matching implicit found" failure

[+] class OfTypeImplicits

The implicit references coming from the implicit scope of a type.

[+] abstract class SearchFailure

A failed search

[+] sealed abstract class SearchResult

The result of an implicit search

[+] case class SearchSuccess

A successful search

[+] object SearchSuccess

A successful search

[+] class ShadowedImplicit
[+] val DelayedImplicit : Key [ TermRef ]

A reference to an implicit value to be made visible on the next nested call to inferImplicitArg with a by-name expected type.