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
Search mode to use for possibly avoiding looping givens
Search mode to use for possibly avoiding looping givens
Attributes
- Supertypes
-
trait Enumtrait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow 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.