Dotty Documentation

0.5.0-bin-SNAPSHOT

object Implicits
extends Object

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
[+] abstract class ImplicitRefs

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

[+] class MismatchedImplicit
[+] @sharable object NoMatchingImplicits
[+] class OfTypeImplicits

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

[+] case class SearchFailure

A failed search

[+] object SearchFailure
[+] abstract class SearchFailureType
[+] 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.

[+] @sharable val NoMatchingImplicitsFailure : SearchFailure