final object Implicits

Implicit resolution

Constructors

Members

class AmbiguousImplicits

An ambiguous implicits failure

An ambiguous implicits failure

case class Candidate

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

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

final object Candidate

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

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

The implicit references coming from the context.

The implicit references coming from the context.

class DivergingImplicit
final object DivergingImplicit
abstract class ExplainedSearchFailure

A search failure that can show information about the cause

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.

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

final object NoImplicitMatches

A "no matching implicit found" failure

A "no matching implicit found" failure

class OfTypeImplicits

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

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

abstract class SearchFailure

A failed search

A failed search

sealed abstract class SearchResult

The result of an implicit search

The result of an implicit search

case class SearchSuccess

A successful search

A successful search

final object SearchSuccess

A successful search

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.

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