scala3-compiler-bootstrapped
DocsAPI
Generated with
Copyright (c) 2002-2025, LAMP/EPFL
Copyright (c) 2002-2025, LAMP/EPFL
scala3-compiler-bootstrapped/dotty.tools/dotty.tools.dotc/dotty.tools.dotc.typer/Implicits/SearchFailure

SearchFailure

dotty.tools.dotc.typer.Implicits.SearchFailure
See theSearchFailure companion object
case class SearchFailure(tree: Tree) extends SearchResult

A failed search

Attributes

Companion
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class SearchResult
trait Showable
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

final def found: List[TermRef]

The references that were found, there can be two of them in the case of an AmbiguousImplicits failure

The references that were found, there can be two of them in the case of an AmbiguousImplicits failure

Attributes

final def isAmbiguous: Boolean

Inherited methods

def fallbackToText(printer: Printer): Text

A fallback text representation, if the pattern matching in Printers does not have a case for this showable element

A fallback text representation, if the pattern matching in Printers does not have a case for this showable element

Attributes

Inherited from:
Showable
def isSuccess: Boolean

Attributes

Inherited from:
SearchResult
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
def recoverWith(other: SearchFailure => SearchResult): SearchResult

Attributes

Inherited from:
SearchResult
def show(using Context): String

The string representation of this showable element.

The string representation of this showable element.

Attributes

Inherited from:
Showable
def showIndented(margin: Int)(using Context): String

The string representation with each line after the first one indented by the given given margin (in spaces).

The string representation with each line after the first one indented by the given given margin (in spaces).

Attributes

Inherited from:
Showable
def showSummary(depth: Int)(using Context): String

The summarized string representation of this showable element. Recursion depth is limited to some smallish value. Default is Config.summarizeDepth.

The summarized string representation of this showable element. Recursion depth is limited to some smallish value. Default is Config.summarizeDepth.

Attributes

Inherited from:
Showable
def toText(printer: Printer): Text

The text representation of this showable element. This normally dispatches to a pattern matching method in Printers.

The text representation of this showable element. This normally dispatches to a pattern matching method in Printers.

Attributes

Inherited from:
SearchResult
Generated with
Copyright (c) 2002-2025, LAMP/EPFL
Copyright (c) 2002-2025, LAMP/EPFL