org.scalamacros.paradise.typechecker.Implicits

ParadiseImplicitSearch

class ParadiseImplicitSearch extends Analyzer.ImplicitSearch with Analyzer.ParadiseTyper

Linear Supertypes
Analyzer.ParadiseTyper, Analyzer.ParadiseTyperContextErrors, Analyzer.ImplicitSearch, Analyzer.ImplicitsContextErrors, Analyzer.Typer, Analyzer.TyperContextErrors, Analyzer.Tag, Analyzer.Adaptation, Analyzer.TyperDiagnostics, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. ParadiseImplicitSearch
  2. ParadiseTyper
  3. ParadiseTyperContextErrors
  4. ImplicitSearch
  5. ImplicitsContextErrors
  6. Typer
  7. TyperContextErrors
  8. Tag
  9. Adaptation
  10. TyperDiagnostics
  11. AnyRef
  12. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Instance Constructors

  1. new ParadiseImplicitSearch(tree: scala.tools.nsc.Global.Tree, pt: scala.tools.nsc.Global.Type, isView: Boolean, context0: Analyzer.Context, pos0: scala.tools.nsc.Global.Position)

Type Members

  1. class ImplicitComputation extends AnyRef

    Prune ImplicitInfos down to either all the eligible ones or the best one.

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. def AmbiguousImplicitError(info1: Analyzer.ImplicitInfo, info2: Analyzer.ImplicitInfo, pre1: String, pre2: String, trailer: String)(isView: Boolean, pt: scala.tools.nsc.Global.Type, tree: scala.tools.nsc.Global.Tree)(implicit context0: Analyzer.Context): Unit

    Definition Classes
    ImplicitsContextErrors

  7. def DivergingImplicitExpansionError(tree: scala.tools.nsc.Global.Tree, pt: scala.tools.nsc.Global.Type, sym: scala.tools.nsc.Global.Symbol)(implicit context0: Analyzer.Context): Unit

    Definition Classes
    ImplicitsContextErrors

  8. object ParadiseTyperErrorGen

    Definition Classes
    ParadiseTyperContextErrors

  9. def adapt(tree: scala.tools.nsc.Global.Tree, mode: Int, pt: scala.tools.nsc.Global.Type, original: scala.tools.nsc.Global.Tree): scala.tools.nsc.Global.Tree

    Attributes
    protected
    Definition Classes
    Typer

  10. def adaptCase(cdef: scala.tools.nsc.Global.CaseDef, mode: Int, tpe: scala.tools.nsc.Global.Type): scala.tools.nsc.Global.CaseDef

    Definition Classes
    Typer

  11. def adaptToArguments(qual: scala.tools.nsc.Global.Tree, name: scala.tools.nsc.Global.Name, args: List[scala.tools.nsc.Global.Tree], pt: scala.tools.nsc.Global.Type, reportAmbiguous: Boolean, saveErrors: Boolean): scala.tools.nsc.Global.Tree

    Definition Classes
    Typer

  12. def adaptToMember(qual: scala.tools.nsc.Global.Tree, searchTemplate: scala.tools.nsc.Global.Type, reportAmbiguous: Boolean, saveErrors: Boolean): scala.tools.nsc.Global.Tree

    Definition Classes
    Typer

  13. def adaptToMemberWithArgs(tree: scala.tools.nsc.Global.Tree, qual: scala.tools.nsc.Global.Tree, name: scala.tools.nsc.Global.Name, mode: Int, reportAmbiguous: Boolean, saveErrors: Boolean): scala.tools.nsc.Global.Tree

    Definition Classes
    Typer

  14. def adaptToName(qual: scala.tools.nsc.Global.Tree, name: scala.tools.nsc.Global.Name): scala.tools.nsc.Global.Tree

    Definition Classes
    Typer

  15. def allImplicits: List[Analyzer.SearchResult]

    Definition Classes
    ParadiseImplicitSearch → ImplicitSearch

  16. def allImplicitsPoly(tvars: List[scala.tools.nsc.Global.TypeVar]): List[(Analyzer.SearchResult, List[scala.tools.nsc.Global.TypeConstraint])]

    Definition Classes
    ParadiseImplicitSearch → ImplicitSearch

  17. def applicableInfos(iss: Analyzer.Infoss, isLocal: Boolean): Map[Analyzer.ImplicitInfo, Analyzer.SearchResult]

    Computes from a list of lists of implicit infos a map which takes infos which are applicable for given expected type pt to their attributed trees.

    Computes from a list of lists of implicit infos a map which takes infos which are applicable for given expected type pt to their attributed trees.

    iss

    The given list of lists of implicit infos

    isLocal

    Is implicit definition visible without prefix? If this is the case then symbols in preceding lists shadow symbols of the same name in succeeding lists.

    returns

    map from infos to search results

    Definition Classes
    ParadiseImplicitSearch → ImplicitSearch

  18. def applyImplicitArgs(fun: scala.tools.nsc.Global.Tree): scala.tools.nsc.Global.Tree

    Definition Classes
    Typer

  19. def approximate(tp: scala.tools.nsc.Global.Type): scala.tools.nsc.Global.Type

    Definition Classes
    ImplicitSearch

  20. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  21. def atOwner(tree: scala.tools.nsc.Global.Tree, owner: scala.tools.nsc.Global.Symbol): Analyzer.Typer

    Definition Classes
    Typer

  22. def atOwner(owner: scala.tools.nsc.Global.Symbol): Analyzer.Typer

    Definition Classes
    Typer

  23. def bestImplicit: Analyzer.SearchResult

    The result of the implicit search: First search implicits visible in current context.

    The result of the implicit search: First search implicits visible in current context. If that fails, search implicits in expected type pt.

    todo. the following lines should be deleted after we migrate delegate tag materialization to implicit macros If that fails, and pt is an instance of a ClassTag, try to construct a class tag. If that fails, and pt is an instance of a TypeTag, try to construct a type tag. If that fails, and pt is an instance of a ClassManifest, try to construct a class manifest. If that fails, and pt is an instance of a Manifest, try to construct a manifest. If that fails, and pt is an instance of a OptManifest, try to construct a class manifest and return NoManifest if construction fails. If all fails return SearchFailure

    Definition Classes
    ParadiseImplicitSearch → ImplicitSearch

  24. def callToCompanionConstr(context: Analyzer.Context, calledFun: scala.tools.nsc.Global.Symbol): Boolean

    Definition Classes
    Typer

  25. def checkClassType(tpt: scala.tools.nsc.Global.Tree): Boolean

    Definition Classes
    Typer

  26. def checkExistentialsFeature(pos: scala.tools.nsc.Global.Position, tpe: scala.tools.nsc.Global.Type, prefix: String): Unit

    Definition Classes
    ParadiseTyper → Typer

  27. def checkFeature(pos: scala.tools.nsc.Global.Position, featureTrait: scala.tools.nsc.Global.Symbol, construct: ⇒ String, immediate: Boolean): Boolean

    Definition Classes
    Typer

  28. def checkFinitary(classinfo: scala.tools.nsc.Global.ClassInfoType): Unit

    Definition Classes
    Typer

  29. def checkMethodStructuralCompatible(ddef: scala.tools.nsc.Global.DefDef): Unit

    Definition Classes
    Typer

  30. def checkNonCyclic(defn: scala.tools.nsc.Global.Tree, tpt: scala.tools.nsc.Global.Tree): Unit

    Definition Classes
    Typer

  31. def checkNonCyclic(sym: scala.tools.nsc.Global.Symbol): Unit

    Definition Classes
    Typer

  32. def checkNonCyclic(pos: scala.tools.nsc.Global.Position, tp: scala.tools.nsc.Global.Type, lockedSym: scala.tools.nsc.Global.Symbol): Boolean

    Definition Classes
    Typer

  33. def checkNonCyclic(pos: scala.tools.nsc.Global.Position, tp: scala.tools.nsc.Global.Type): Boolean

    Definition Classes
    Typer

  34. def checkParamsConvertible(tree: scala.tools.nsc.Global.Tree, tpe0: scala.tools.nsc.Global.Type): Unit

    Definition Classes
    Typer

  35. def checkStable(tree: scala.tools.nsc.Global.Tree): scala.tools.nsc.Global.Tree

    Definition Classes
    Typer

  36. def checkStablePrefixClassType(tpt: scala.tools.nsc.Global.Tree): Boolean

    Definition Classes
    Typer

  37. def checkValidAdaptation(t: scala.tools.nsc.Global.Tree, args: List[scala.tools.nsc.Global.Tree]): Boolean

    Definition Classes
    Adaptation

  38. def clone(): AnyRef

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

  39. def computeMacroDefType(tree: scala.tools.nsc.Global.Tree, pt: scala.tools.nsc.Global.Type): scala.tools.nsc.Global.Type

    Definition Classes
    Typer

  40. def computeParamAliases(clazz: scala.tools.nsc.Global.Symbol, vparamss: List[List[scala.tools.nsc.Global.ValDef]], rhs: scala.tools.nsc.Global.Tree): Unit

    Definition Classes
    Typer

  41. def computeType(tree: scala.tools.nsc.Global.Tree, pt: scala.tools.nsc.Global.Type): scala.tools.nsc.Global.Type

    Definition Classes
    Typer

  42. final def constrTyperIf(inConstr: Boolean): Analyzer.Typer

    Definition Classes
    Typer

  43. var context: Analyzer.Context

    Definition Classes
    Typer

  44. def context1: Analyzer.Context

    Definition Classes
    Typer

  45. def cyclicReferenceMessage(sym: scala.tools.nsc.Global.Symbol, tree: scala.tools.nsc.Global.Tree): Option[String]

    Definition Classes
    TyperDiagnostics

  46. final def deindentTyping(): Unit

    Definition Classes
    Typer

  47. def doTypedApply(tree: scala.tools.nsc.Global.Tree, fun0: scala.tools.nsc.Global.Tree, args: List[scala.tools.nsc.Global.Tree], mode: Int, pt: scala.tools.nsc.Global.Type): scala.tools.nsc.Global.Tree

    Definition Classes
    Typer

  48. def doTypedUnapply(tree: scala.tools.nsc.Global.Tree, fun0: scala.tools.nsc.Global.Tree, fun: scala.tools.nsc.Global.Tree, args: List[scala.tools.nsc.Global.Tree], mode: Int, pt: scala.tools.nsc.Global.Type): scala.tools.nsc.Global.Tree

    Definition Classes
    ParadiseTyper → Typer

  49. def dropExistential(tp: scala.tools.nsc.Global.Type): scala.tools.nsc.Global.Type

    Definition Classes
    Typer

  50. def enterSym(txt: Analyzer.Context, tree: scala.tools.nsc.Global.Tree): Analyzer.Context

    Attributes
    protected
    Definition Classes
    Typer

  51. def enterSyms(txt: Analyzer.Context, trees: List[scala.tools.nsc.Global.Tree]): Unit

    Attributes
    protected
    Definition Classes
    Typer

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

    Definition Classes
    AnyRef

  53. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  54. def extractorForUncheckedType(pos: scala.tools.nsc.Global.Position, pt: scala.tools.nsc.Global.Type): Option[scala.tools.nsc.Global.Tree]

    Definition Classes
    Typer

  55. def failure(what: Any, reason: String, pos: scala.tools.nsc.Global.Position = this.pos): Analyzer.SearchResult

    Definition Classes
    ParadiseImplicitSearch → ImplicitSearch

  56. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  57. def finishMethodSynthesis(templ: scala.tools.nsc.Global.Template, clazz: scala.tools.nsc.Global.Symbol, context: Analyzer.Context): scala.tools.nsc.Global.Template

    Attributes
    protected
    Definition Classes
    Typer

  58. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any

  59. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  60. def improves(info1: Analyzer.ImplicitInfo, info2: Analyzer.ImplicitInfo): Boolean

    Is implicit info info1 better than implicit info info2?

    Is implicit info info1 better than implicit info info2?

    Definition Classes
    ParadiseImplicitSearch → ImplicitSearch

  61. final def indentTyping(): Unit

    Definition Classes
    Typer

  62. val infer: Analyzer.ParadiseInferencer

    Definition Classes
    ParadiseTyper → Typer

  63. def inferView(tree: scala.tools.nsc.Global.Tree, from: scala.tools.nsc.Global.Type, to: scala.tools.nsc.Global.Type, reportAmbiguous: Boolean, saveErrors: Boolean): scala.tools.nsc.Global.Tree

    Definition Classes
    Typer

  64. def inferView(tree: scala.tools.nsc.Global.Tree, from: scala.tools.nsc.Global.Type, to: scala.tools.nsc.Global.Type, reportAmbiguous: Boolean): scala.tools.nsc.Global.Tree

    Definition Classes
    Typer

  65. def instantiate(tree: scala.tools.nsc.Global.Tree, mode: Int, pt: scala.tools.nsc.Global.Type): scala.tools.nsc.Global.Tree

    Definition Classes
    Typer

  66. def instantiateExpectingUnit(tree: scala.tools.nsc.Global.Tree, mode: Int): scala.tools.nsc.Global.Tree

    Definition Classes
    Typer

  67. def instantiatePossiblyExpectingUnit(tree: scala.tools.nsc.Global.Tree, mode: Int, pt: scala.tools.nsc.Global.Type): scala.tools.nsc.Global.Tree

    Definition Classes
    Typer

  68. def isCapturedExistential(sym: scala.tools.nsc.Global.Symbol): Boolean

    Definition Classes
    Typer

  69. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  70. def isNamedApplyBlock(tree: scala.tools.nsc.Global.Tree): Boolean

    Definition Classes
    Typer

  71. def isPlausiblyCompatible(tp: scala.tools.nsc.Global.Type, pt: scala.tools.nsc.Global.Type): Boolean

    Definition Classes
    ParadiseImplicitSearch → ImplicitSearch

  72. def isReferencedFrom(ctx: Analyzer.Context, sym: scala.tools.nsc.Global.Symbol): Boolean

    Definition Classes
    Typer

  73. def isStableExceptVolatile(tree: scala.tools.nsc.Global.Tree): Boolean

    Attributes
    protected
    Definition Classes
    Typer

  74. def isStale(sym: scala.tools.nsc.Global.Symbol): Boolean

    Definition Classes
    Typer

  75. def isValid(sym: scala.tools.nsc.Global.Symbol): Boolean

    Should implicit definition symbol sym be considered for applicability testing? This is the case if one of the following holds:

    Should implicit definition symbol sym be considered for applicability testing? This is the case if one of the following holds:

    • the symbol's type is initialized
    • the symbol comes from a classfile
    • the symbol comes from a different sourcefile than the current one
    • the symbol and the accessed symbol's definitions come before, and do not contain the closest enclosing definition, // see #3373
    • the symbol's definition is a val, var, or def with an explicit result type The aim of this method is to prevent premature cyclic reference errors by computing the types of only those implicits for which one of these conditions is true.
    Definition Classes
    ParadiseImplicitSearch → ImplicitSearch

  76. def labelTyper(ldef: scala.tools.nsc.Global.LabelDef): Analyzer.Typer

    Definition Classes
    Typer

  77. def member(qual: scala.tools.nsc.Global.Tree, name: scala.tools.nsc.Global.Name): scala.tools.nsc.Global.Symbol

    Definition Classes
    Typer

  78. def namer: Analyzer.ParadiseNamer

    Definition Classes
    ParadiseTyper → Typer

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

    Definition Classes
    AnyRef

  80. def needsInstantiation(tparams: List[scala.tools.nsc.Global.Symbol], formals: List[scala.tools.nsc.Global.Type], args: List[scala.tools.nsc.Global.Tree]): Boolean

    Definition Classes
    Typer

  81. def normSubType(tp: scala.tools.nsc.Global.Type, pt: scala.tools.nsc.Global.Type): Boolean

    Definition Classes
    ParadiseImplicitSearch → ImplicitSearch

  82. final def notify(): Unit

    Definition Classes
    AnyRef

  83. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  84. def packCaptured(tpe: scala.tools.nsc.Global.Type): scala.tools.nsc.Global.Type

    Definition Classes
    Typer

  85. def packSymbols(hidden: List[scala.tools.nsc.Global.Symbol], tp: scala.tools.nsc.Global.Type): scala.tools.nsc.Global.Type

    Definition Classes
    Typer

  86. def packedType(tree: scala.tools.nsc.Global.Tree, owner: scala.tools.nsc.Global.Symbol): scala.tools.nsc.Global.Type

    Definition Classes
    Typer

  87. def parentTypes(templ: scala.tools.nsc.Global.Template): List[scala.tools.nsc.Global.Tree]

    Definition Classes
    Typer

  88. def permanentlyHiddenWarning(pos: scala.tools.nsc.Global.Position, hidden: scala.tools.nsc.Global.Name, defn: scala.tools.nsc.Global.Symbol): Unit

    Definition Classes
    TyperDiagnostics

  89. def pos: scala.tools.nsc.Global.Position

    Definition Classes
    ParadiseImplicitSearch → ImplicitSearch

  90. final def printInference(s: ⇒ String): Unit

    Definition Classes
    Typer
    Annotations
    @inline()

  91. final def printTyping(s: ⇒ String): Unit

    Definition Classes
    Typer
    Annotations
    @inline()

  92. def ptOrLub(tps: List[scala.tools.nsc.Global.Type], pt: scala.tools.nsc.Global.Type): (scala.tools.nsc.Global.Type, Boolean)

    Definition Classes
    Typer

  93. def ptOrLubPacked(trees: List[scala.tools.nsc.Global.Tree], pt: scala.tools.nsc.Global.Type): (scala.tools.nsc.Global.Type, Boolean)

    Definition Classes
    Typer

  94. def qualifyingClass(tree: scala.tools.nsc.Global.Tree, qual: scala.tools.nsc.Global.Name, packageOK: Boolean): scala.tools.nsc.Global.Symbol

    Definition Classes
    Typer

  95. def reallyExists(sym: scala.tools.nsc.Global.Symbol): Boolean

    Definition Classes
    ParadiseTyper → Typer

  96. def reenterTypeParams(tparams: List[scala.tools.nsc.Global.TypeDef]): List[scala.tools.nsc.Global.Symbol]

    Definition Classes
    Typer

  97. def reenterValueParams(vparamss: List[List[scala.tools.nsc.Global.ValDef]]): Unit

    Definition Classes
    Typer

  98. def reportTypeError(context0: Analyzer.Context, pos: scala.tools.nsc.Global.Position, ex: scala.tools.nsc.Global.TypeError): Unit

    Definition Classes
    TyperDiagnostics

  99. def resolveClassTag(pos: scala.tools.nsc.Global.Position, tp: scala.tools.nsc.Global.Type, allowMaterialization: Boolean): scala.tools.nsc.Global.Tree

    Definition Classes
    Tag

  100. def resolveTypeTag(pos: scala.tools.nsc.Global.Position, pre: scala.tools.nsc.Global.Type, tp: scala.tools.nsc.Global.Type, concrete: Boolean, allowMaterialization: Boolean): scala.tools.nsc.Global.Tree

    Definition Classes
    Tag

  101. def rewrappingWrapperTrees(f: (scala.tools.nsc.Global.Tree) ⇒ List[scala.tools.nsc.Global.Tree]): (scala.tools.nsc.Global.Tree) ⇒ List[scala.tools.nsc.Global.Tree]

    Definition Classes
    Typer

  102. def searchImplicit(implicitInfoss: Analyzer.Infoss, isLocal: Boolean): Analyzer.SearchResult

    Search list of implicit info lists for one matching prototype pt.

    Search list of implicit info lists for one matching prototype pt. If found return a search result with a tree from found implicit info which is typed with expected type pt. Otherwise return SearchFailure.

    implicitInfoss

    The given list of lists of implicit infos

    isLocal

    Is implicit definition visible without prefix? If this is the case then symbols in preceding lists shadow symbols of the same name in succeeding lists.

    Definition Classes
    ParadiseImplicitSearch → ImplicitSearch

  103. def silent[T](op: (Analyzer.Typer) ⇒ T, reportAmbiguousErrors: Boolean, newtree: scala.tools.nsc.Global.Tree): Analyzer.SilentResult[T]

    Definition Classes
    Typer

  104. def stabilizeFun(tree: scala.tools.nsc.Global.Tree, mode: Int, pt: scala.tools.nsc.Global.Type): scala.tools.nsc.Global.Tree

    Definition Classes
    Typer

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

    Definition Classes
    AnyRef

  106. def synthesizePartialFunction(paramName: scala.tools.nsc.Global.TermName, paramPos: scala.tools.nsc.Global.Position, tree: scala.tools.nsc.Global.Tree, mode: Int, pt0: scala.tools.nsc.Global.Type): scala.tools.nsc.Global.Tree

    Definition Classes
    Typer

  107. def toString(): String

    Definition Classes
    AnyRef → Any

  108. def transformedOr(tree: scala.tools.nsc.Global.Tree, op: ⇒ scala.tools.nsc.Global.Tree): scala.tools.nsc.Global.Tree

    Definition Classes
    Typer

  109. def transformedOrTyped(tree: scala.tools.nsc.Global.Tree, mode: Int, pt: scala.tools.nsc.Global.Type): scala.tools.nsc.Global.Tree

    Definition Classes
    Typer

  110. def typed(tree: scala.tools.nsc.Global.Tree, pt: scala.tools.nsc.Global.Type): scala.tools.nsc.Global.Tree

    Definition Classes
    Typer

  111. def typed(tree: scala.tools.nsc.Global.Tree): scala.tools.nsc.Global.Tree

    Definition Classes
    Typer

  112. def typed(tree: scala.tools.nsc.Global.Tree, mode: Int, pt: scala.tools.nsc.Global.Type): scala.tools.nsc.Global.Tree

    Definition Classes
    Typer

  113. def typed1(tree: scala.tools.nsc.Global.Tree, mode: Int, pt: scala.tools.nsc.Global.Type): scala.tools.nsc.Global.Tree

    Definition Classes
    ParadiseTyper → Typer

  114. def typedAnnotation(ann: scala.tools.nsc.Global.Tree, mode: Int, selfsym: scala.tools.nsc.Global.Symbol, annClass: scala.tools.nsc.Global.Symbol, requireJava: Boolean): scala.tools.nsc.Global.AnnotationInfo

    Definition Classes
    Typer

  115. def typedArg(arg: scala.tools.nsc.Global.Tree, mode: Int, newmode: Int, pt: scala.tools.nsc.Global.Type): scala.tools.nsc.Global.Tree

    Definition Classes
    Typer

  116. def typedArgs(args0: List[scala.tools.nsc.Global.Tree], mode: Int, formals0: List[scala.tools.nsc.Global.Type], adapted0: List[scala.tools.nsc.Global.Type]): List[scala.tools.nsc.Global.Tree]

    Definition Classes
    Typer

  117. def typedArgs(args: List[scala.tools.nsc.Global.Tree], mode: Int): List[scala.tools.nsc.Global.Tree]

    Definition Classes
    Typer

  118. def typedBlock(block: scala.tools.nsc.Global.Block, mode: Int, pt: scala.tools.nsc.Global.Type): scala.tools.nsc.Global.Block

    Definition Classes
    ParadiseTyper → Typer

  119. def typedCase(cdef: scala.tools.nsc.Global.CaseDef, pattpe: scala.tools.nsc.Global.Type, pt: scala.tools.nsc.Global.Type): scala.tools.nsc.Global.CaseDef

    Definition Classes
    Typer

  120. def typedCases(cases: List[scala.tools.nsc.Global.CaseDef], pattp: scala.tools.nsc.Global.Type, pt: scala.tools.nsc.Global.Type): List[scala.tools.nsc.Global.CaseDef]

    Definition Classes
    Typer

  121. def typedClassDef(cdef: scala.tools.nsc.Global.ClassDef): scala.tools.nsc.Global.Tree

    Definition Classes
    ParadiseTyper → Typer

  122. def typedClassOf(tree: scala.tools.nsc.Global.Tree, tpt: scala.tools.nsc.Global.Tree, noGen: Boolean): scala.tools.nsc.Global.Tree

    Definition Classes
    Typer

  123. def typedDefDef(ddef: scala.tools.nsc.Global.DefDef): scala.tools.nsc.Global.DefDef

    Definition Classes
    Typer

  124. def typedExistentialTypeTree(tree: scala.tools.nsc.Global.ExistentialTypeTree, mode: Int): scala.tools.nsc.Global.Tree

    Attributes
    protected
    Definition Classes
    Typer

  125. def typedHigherKindedType(tree: scala.tools.nsc.Global.Tree): scala.tools.nsc.Global.Tree

    Definition Classes
    Typer

  126. def typedHigherKindedType(tree: scala.tools.nsc.Global.Tree, mode: Int): scala.tools.nsc.Global.Tree

    Definition Classes
    Typer

  127. def typedHigherKindedType(tree: scala.tools.nsc.Global.Tree, mode: Int, pt: scala.tools.nsc.Global.Type): scala.tools.nsc.Global.Tree

    Definition Classes
    Typer

  128. def typedImport(imp: scala.tools.nsc.Global.Import): scala.tools.nsc.Global.Import

    Definition Classes
    Typer

  129. def typedLabelDef(ldef: scala.tools.nsc.Global.LabelDef): scala.tools.nsc.Global.LabelDef

    Definition Classes
    Typer

  130. def typedMatch(selector: scala.tools.nsc.Global.Tree, cases: List[scala.tools.nsc.Global.CaseDef], mode: Int, pt: scala.tools.nsc.Global.Type, tree: scala.tools.nsc.Global.Tree): scala.tools.nsc.Global.Match

    Definition Classes
    Typer

  131. def typedModifiers(mods: scala.tools.nsc.Global.Modifiers): scala.tools.nsc.Global.Modifiers

    Definition Classes
    Typer

  132. def typedModuleDef(mdef: scala.tools.nsc.Global.ModuleDef): scala.tools.nsc.Global.Tree

    Definition Classes
    Typer

  133. def typedOperator(tree: scala.tools.nsc.Global.Tree): scala.tools.nsc.Global.Tree

    Definition Classes
    Typer

  134. def typedPattern(tree: scala.tools.nsc.Global.Tree, pt: scala.tools.nsc.Global.Type): scala.tools.nsc.Global.Tree

    Definition Classes
    Typer

  135. def typedPos(pos: scala.tools.nsc.Global.Position)(tree: scala.tools.nsc.Global.Tree): scala.tools.nsc.Global.Tree

    Definition Classes
    Typer

  136. def typedPos(pos: scala.tools.nsc.Global.Position, mode: Int, pt: scala.tools.nsc.Global.Type)(tree: scala.tools.nsc.Global.Tree): scala.tools.nsc.Global.Tree

    Definition Classes
    Typer

  137. def typedQualifier(tree: scala.tools.nsc.Global.Tree): scala.tools.nsc.Global.Tree

    Definition Classes
    Typer

  138. def typedQualifier(tree: scala.tools.nsc.Global.Tree, mode: Int): scala.tools.nsc.Global.Tree

    Definition Classes
    Typer

  139. def typedQualifier(tree: scala.tools.nsc.Global.Tree, mode: Int, pt: scala.tools.nsc.Global.Type): scala.tools.nsc.Global.Tree

    Definition Classes
    Typer

  140. def typedRefinement(templ: scala.tools.nsc.Global.Template): Unit

    Definition Classes
    Typer

  141. def typedStats(stats: List[scala.tools.nsc.Global.Tree], exprOwner: scala.tools.nsc.Global.Symbol): List[scala.tools.nsc.Global.Tree]

    Definition Classes
    Typer

  142. def typedTemplate(templ: scala.tools.nsc.Global.Template, parents1: List[scala.tools.nsc.Global.Tree]): scala.tools.nsc.Global.Template

    Definition Classes
    ParadiseTyper → Typer

  143. def typedType(tree: scala.tools.nsc.Global.Tree): scala.tools.nsc.Global.Tree

    Definition Classes
    Typer

  144. def typedType(tree: scala.tools.nsc.Global.Tree, mode: Int): scala.tools.nsc.Global.Tree

    Definition Classes
    Typer

  145. def typedTypeApply(tree: scala.tools.nsc.Global.Tree, mode: Int, fun: scala.tools.nsc.Global.Tree, args: List[scala.tools.nsc.Global.Tree]): scala.tools.nsc.Global.Tree

    Attributes
    protected
    Definition Classes
    Typer

  146. def typedTypeConstructor(tree: scala.tools.nsc.Global.Tree): scala.tools.nsc.Global.Tree

    Definition Classes
    Typer

  147. def typedTypeConstructor(tree: scala.tools.nsc.Global.Tree, mode: Int): scala.tools.nsc.Global.Tree

    Definition Classes
    Typer

  148. def typedTypeDef(tdef: scala.tools.nsc.Global.TypeDef): scala.tools.nsc.Global.TypeDef

    Definition Classes
    Typer

  149. def typedUseCase(useCase: scala.tools.nsc.Global.UseCase): Unit

    Definition Classes
    Typer

  150. def typedValDef(vdef: scala.tools.nsc.Global.ValDef): scala.tools.nsc.Global.ValDef

    Definition Classes
    Typer

  151. final def typerReportAnyContextErrors[T](c: Analyzer.Context)(f: (Analyzer.Typer) ⇒ T): T

    Definition Classes
    Typer
    Annotations
    @inline()

  152. final def typerWithCondLocalContext[T](c: ⇒ Analyzer.Context)(cond: Boolean)(f: (Analyzer.Typer) ⇒ T): T

    Definition Classes
    Typer
    Annotations
    @inline()

  153. final def typerWithLocalContext[T](c: Analyzer.Context)(f: (Analyzer.Typer) ⇒ T): T

    Definition Classes
    Typer
    Annotations
    @inline()

  154. val undetParams: List[scala.tools.nsc.Global.Symbol]

    Definition Classes
    ImplicitSearch

  155. def validateParentClasses(parents: List[scala.tools.nsc.Global.Tree], selfType: scala.tools.nsc.Global.Type): Unit

    Definition Classes
    Typer

  156. def virtualizedMatch(match_: scala.tools.nsc.Global.Match, mode: Int, pt: scala.tools.nsc.Global.Type): scala.tools.nsc.Global.Tree

    Definition Classes
    Typer

  157. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  160. val wildPt: scala.tools.nsc.Global.Type

    Definition Classes
    ImplicitSearch

  161. final def withCondConstrTyper[T](inConstr: Boolean)(f: (Analyzer.Typer) ⇒ T): T

    Definition Classes
    Typer
    Annotations
    @inline()

  162. final def withSavedContext[T](c: Analyzer.Context)(f: ⇒ T): T

    Definition Classes
    Typer
    Annotations
    @inline()

  163. def wrapClassTagUnapply(uncheckedPattern: scala.tools.nsc.Global.Tree, classTagExtractor: scala.tools.nsc.Global.Tree, pt: scala.tools.nsc.Global.Type): scala.tools.nsc.Global.Tree

    Definition Classes
    Typer

  164. def wrapResult(tree: scala.tools.nsc.Global.Tree): Analyzer.SearchResult

    Definition Classes
    ParadiseImplicitSearch → ImplicitSearch

  165. final val xtypes: Boolean(false)

    Definition Classes
    Typer

Inherited from Analyzer.ParadiseTyper

Inherited from Analyzer.ParadiseTyperContextErrors

Inherited from Analyzer.ImplicitSearch

Inherited from Analyzer.ImplicitsContextErrors

Inherited from Analyzer.Typer

Inherited from Analyzer.TyperContextErrors

Inherited from Analyzer.Tag

Inherited from Analyzer.Adaptation

Inherited from Analyzer.TyperDiagnostics

Inherited from AnyRef

Inherited from Any

Ungrouped