scala.tools.nsc.typechecker

Implicits

trait Implicits extends AnyRef

This trait provides methods to find various kinds of implicits.

Self Type
Analyzer
Source
Implicits.scala
Version

1.0

Linear Supertypes
AnyRef, Any
Known Subclasses
Analyzer, Duplicator, Duplicators, Erasure, TreeCheckers, analyzer, erasure, treeChecker
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. Implicits
  2. AnyRef
  3. Any
Visibility
  1. Public
  2. All

Type Members

  1. class ImplicitInfo extends AnyRef

    A class that records an available implicit

  2. class ImplicitSearch extends Typer

    A class that sets up an implicit search.

  3. class SearchResult extends AnyRef

    The result of an implicit search

Value Members

  1. final def !=(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any

  3. final def ##(): Int

    Definition Classes
    AnyRef → Any

  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any

  6. object Function1 extends AnyRef

    An extractor for unary function types arg => res

  7. object HasMember extends AnyRef

    An extractor for types of the form ? { name: ? }

  8. object HasMethodMatching extends AnyRef

    An extractor for types of the form ? { name: (? >: argtpe <: Any*)restp }

  9. object ImplicitNotFoundMsg extends AnyRef

  10. val NoImplicitInfo: ImplicitInfo

    A sentinel indicating no implicit was found

  11. lazy val SearchFailure: SearchResult

  12. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  13. def clone(): AnyRef

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()

  14. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  15. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  16. def finalize(): Unit

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()

  17. final def getClass(): java.lang.Class[_]

    Definition Classes
    AnyRef → Any

  18. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  19. def inferImplicit(tree: Tree, pt: Type, reportAmbiguous: Boolean, isView: Boolean, context: Context): SearchResult

    Search for an implicit value.

    Search for an implicit value. See the comment on result at the end of class ImplicitSearch for more info how the search is conducted.

    tree

    The tree for which the implicit needs to be inserted. (the inference might instantiate some of the undetermined type parameters of that tree.

    pt

    The expected type of the implicit.

    reportAmbiguous

    Should ambiguous implicit errors be reported? False iff we search for a view to find out whether one type is coercible to another.

    isView

    We are looking for a view

    context

    The current context

    returns

    A search result

  20. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  21. def memberWildcardType(name: Name, tp: Type): Type

    A constructor for types ?{ name: tp }, used in infer view to member searches.

  22. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  23. final def notify(): Unit

    Definition Classes
    AnyRef

  24. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  25. def resetImplicits(): Unit

  26. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef

  27. def toString(): String

    Definition Classes
    AnyRef → Any

  28. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()

  29. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()

  30. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()

Inherited from AnyRef

Inherited from Any