Implicit resolution
Attributes
Members list
Type members
Classlikes
An ambiguous implicits failure
An ambiguous implicits failure
Attributes
- Graph
- Supertypes
- class SearchFailureTypeclass ErrorTypeclass FlexTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass UncachedGroundTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
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
Attributes
- Companion:
- object
- Graph
- Supertypes
The implicit references coming from the context.
The implicit references coming from the context.
Attributes
- outerCtx
the next outer context that makes visible further implicits
- refs
the implicit references made visible by the current context. Note: The name of the reference might be different from the name of its symbol. In the case of a renaming import a => b, the name of the reference is the renamed name, b, whereas the name of the symbol is the original name, a.
- Graph
- Supertypes
Attributes
- Graph
- Supertypes
- class SearchFailureTypeclass ErrorTypeclass FlexTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass UncachedGroundTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
A search failure type for attempted ill-typed extension method calls
A search failure type for attempted ill-typed extension method calls
Attributes
- Graph
- Supertypes
- class SearchFailureTypeclass ErrorTypeclass FlexTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass UncachedGroundTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
A common base class of contextual implicits and of-type implicits which represents a set of references to implicit definitions.
A common base class of contextual implicits and of-type implicits which represents a set of references to implicit definitions.
Attributes
- Graph
- Supertypes
- Known subtypes
- class ContextualImplicitsclass OfTypeImplicits
Attributes
- Graph
- Supertypes
- class NoMatchingImplicitsclass SearchFailureTypeclass ErrorTypeclass FlexTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass UncachedGroundTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
- Self type
Attributes
- Graph
- Supertypes
- class SearchFailureTypeclass ErrorTypeclass FlexTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass UncachedGroundTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
A search failure type for aborted searches of extension methods, typically because of a cyclic reference or similar.
A search failure type for aborted searches of extension methods, typically because of a cyclic reference or similar.
Attributes
- Graph
- Supertypes
- class SearchFailureTypeclass ErrorTypeclass FlexTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass UncachedGroundTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
Attributes
- Companion:
- object
- Graph
- Supertypes
- class SearchFailureTypeclass ErrorTypeclass FlexTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass UncachedGroundTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
- Known subtypes
Attributes
- Companion:
- class
- Graph
- Supertypes
- class NoMatchingImplicitsclass SearchFailureTypeclass ErrorTypeclass FlexTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass UncachedGroundTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
- Self type
- NoMatchingImplicits.type
The implicit references coming from the implicit scope of a type.
The implicit references coming from the implicit scope of a type.
Attributes
- companionRefs
the companion objects in the implicit scope.
- tp
the type determining the implicit scope
- Graph
- Supertypes
Both search candidates and successes are references with a specific nesting level.
Both search candidates and successes are references with a specific nesting level.
Attributes
- Graph
- Supertypes
- Known subtypes
- class Candidateclass SearchSuccess
An implicit definition implicitRef
that is visible under a different name, alias
.
Gets generated if an implicit ref is imported via a renaming import.
An implicit definition implicitRef
that is visible under a different name, alias
.
Gets generated if an implicit ref is imported via a renaming import.
Attributes
- Graph
- Supertypes
A failed search
A failed search
Attributes
- Companion:
- object
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalsclass SearchResulttrait Showableclass Objecttrait Matchableclass Any
Attributes
- Companion:
- class
- Graph
- Supertypes
- Self type
- SearchFailure.type
Attributes
- Graph
- Supertypes
- class ErrorTypeclass FlexTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass UncachedGroundTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
- Known subtypes
- class AmbiguousImplicitsclass DivergingImplicitclass FailedExtensionclass MismatchedImplicitclass NestedFailureclass NoMatchingImplicitsobject ImplicitSearchTooLarge.typeobject NoMatchingImplicits.typeclass TooUnspecificclass SynthesisFailure
The result of an implicit search
The result of an implicit search
Attributes
- Graph
- Supertypes
- Known subtypes
- class SearchFailureclass SearchSuccess
A successful search
A successful search
Attributes
- isExtension
Whether the result is an extension method application
- level
The level where the reference was found
- ref
The implicit reference that succeeded
- tree
The typed tree that needs to be inserted
- tstate
The typer state to be committed if this alternative is chosen
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalstrait RefAndLevelclass SearchResulttrait Showableclass Objecttrait Matchableclass Any
A search failure type for failed synthesis of terms for special types
A search failure type for failed synthesis of terms for special types
Attributes
- Graph
- Supertypes
- class SearchFailureTypeclass ErrorTypeclass FlexTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass UncachedGroundTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
A failure value indicating that an implicit search for a conversion was not tried
A failure value indicating that an implicit search for a conversion was not tried
Attributes
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalsclass NoMatchingImplicitsclass SearchFailureTypeclass ErrorTypeclass FlexTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass UncachedGroundTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
Value members
Concrete methods
If expected
is a selection prototype, does tp
have an extension
method with the selecting name? False otherwise.
If expected
is a selection prototype, does tp
have an extension
method with the selecting name? False otherwise.