Implicit resolution
Attributes
Members list
Type members
Classlikes
An ambiguous implicits failure
An ambiguous implicits failure
Attributes
- Supertypes
-
class SearchFailureTypetrait Addendaclass ErrorTypeclass FlexTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass UncachedGroundTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
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
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait RefAndLeveltrait Showableclass Objecttrait Matchableclass AnyShow all
The implicit references coming from the context.
The implicit references coming from the context.
Value parameters
- 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.
Attributes
- Supertypes
Attributes
- Supertypes
-
class SearchFailureTypetrait Addendaclass ErrorTypeclass FlexTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass UncachedGroundTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
A search failure type for attempted ill-typed extension method calls
A search failure type for attempted ill-typed extension method calls
Attributes
- Supertypes
-
class SearchFailureTypetrait Addendaclass ErrorTypeclass FlexTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass UncachedGroundTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
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
- Supertypes
- Known subtypes
-
class ContextualImplicitsclass OfTypeImplicits
Attributes
- Supertypes
-
class NoMatchingImplicitsclass SearchFailureTypetrait Addendaclass ErrorTypeclass FlexTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass UncachedGroundTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
- Self type
Attributes
- Supertypes
-
class SearchFailureTypetrait Addendaclass ErrorTypeclass FlexTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass UncachedGroundTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
Attributes
- Supertypes
-
class SearchFailureTypetrait Addendaclass ErrorTypeclass FlexTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass UncachedGroundTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
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
- Supertypes
-
class SearchFailureTypetrait Addendaclass ErrorTypeclass FlexTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass UncachedGroundTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
Attributes
- Companion
- object
- Supertypes
-
class SearchFailureTypetrait Addendaclass ErrorTypeclass FlexTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass UncachedGroundTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
- Known subtypes
Attributes
- Companion
- class
- Supertypes
-
class NoMatchingImplicitsclass SearchFailureTypetrait Addendaclass ErrorTypeclass FlexTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass UncachedGroundTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
- 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.
Value parameters
- companionRefs
-
the companion objects in the implicit scope.
- tp
-
the type determining the implicit scope
Attributes
- 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
- 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
- Supertypes
A failed search
A failed search
Attributes
- Companion
- object
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass SearchResulttrait Showableclass Objecttrait Matchableclass AnyShow all
Attributes
- Companion
- class
- Supertypes
- Self type
-
SearchFailure.type
Attributes
- Supertypes
- Known subtypes
-
class AmbiguousImplicitsclass DivergingImplicitclass FailedExtensionclass MacroErrorsFailureclass MismatchedImplicitclass NestedFailureclass NoMatchingImplicitsobject ImplicitSearchTooLargeobject NoMatchingImplicitsclass TooUnspecificclass SynthesisFailureShow all
The result of an implicit search
The result of an implicit search
Attributes
- Supertypes
- Known subtypes
-
class SearchFailureclass SearchSuccess
A successful search
A successful search
Value parameters
- 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
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait RefAndLevelclass SearchResulttrait Showableclass Objecttrait Matchableclass AnyShow all
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
- Supertypes
-
class SearchFailureTypetrait Addendaclass ErrorTypeclass FlexTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass UncachedGroundTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
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
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass NoMatchingImplicitsclass SearchFailureTypetrait Addendaclass ErrorTypeclass FlexTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass UncachedGroundTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
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.