org.scalalang.macroparadise.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. object TyperErrorGen

    Definition Classes
    TyperContextErrors

  10. 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

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

    Definition Classes
    Typer

  12. 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

  13. 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

  14. 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

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

    Definition Classes
    Typer

  16. def allImplicits: List[Analyzer.SearchResult]

    Definition Classes
    ParadiseImplicitSearch → ImplicitSearch

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

    Definition Classes
    ParadiseImplicitSearch → ImplicitSearch

  18. 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

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

    Definition Classes
    Typer

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

    Definition Classes
    ImplicitSearch

  21. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

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

    Definition Classes
    Typer

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

    Definition Classes
    Typer

  24. 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

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

    Definition Classes
    Typer

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

    Definition Classes
    Typer

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

    Definition Classes
    ParadiseTyper → Typer

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

    Definition Classes
    Typer

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

    Definition Classes
    Typer

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

    Definition Classes
    Typer

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

    Definition Classes
    Typer

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

    Definition Classes
    Typer

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

    Definition Classes
    Typer

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

    Definition Classes
    Typer

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

    Definition Classes
    Typer

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

    Definition Classes
    Typer

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

    Definition Classes
    Typer

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

    Definition Classes
    Adaptation

  39. def clone(): AnyRef

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

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

    Definition Classes
    Typer

  41. 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

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

    Definition Classes
    Typer

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

    Definition Classes
    Typer

  44. var context: Analyzer.Context

    Definition Classes
    Typer

  45. def context1: Analyzer.Context

    Definition Classes
    Typer

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

    Definition Classes
    TyperDiagnostics

  47. final def deindentTyping(): Unit

    Definition Classes
    Typer

  48. 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

  49. 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

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

    Definition Classes
    Typer

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

    Attributes
    protected
    Definition Classes
    Typer

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

    Attributes
    protected
    Definition Classes
    Typer

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

    Definition Classes
    AnyRef

  54. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

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

    Definition Classes
    Typer

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

    Definition Classes
    ParadiseImplicitSearch → ImplicitSearch

  57. def finalize(): Unit

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

  58. 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

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

    Definition Classes
    AnyRef → Any

  60. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  61. 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

  62. final def indentTyping(): Unit

    Definition Classes
    Typer

  63. val infer: Analyzer.ParadiseInferencer

    Definition Classes
    ParadiseTyper → Typer

  64. 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

  65. 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

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

    Definition Classes
    Typer

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

    Definition Classes
    Typer

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

    Definition Classes
    Typer

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

    Definition Classes
    Typer

  70. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

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

    Definition Classes
    Typer

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

    Definition Classes
    ParadiseImplicitSearch → ImplicitSearch

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

    Definition Classes
    Typer

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

    Attributes
    protected
    Definition Classes
    Typer

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

    Definition Classes
    Typer

  76. 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

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

    Definition Classes
    Typer

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

    Definition Classes
    Typer

  79. def namer: Analyzer.ParadiseNamer

    Definition Classes
    ParadiseTyper → Typer

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

    Definition Classes
    AnyRef

  81. 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

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

    Definition Classes
    ParadiseImplicitSearch → ImplicitSearch

  83. final def notify(): Unit

    Definition Classes
    AnyRef

  84. final def notifyAll(): Unit

    Definition Classes
    AnyRef

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

    Definition Classes
    Typer

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

    Definition Classes
    Typer

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

    Definition Classes
    Typer

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

    Definition Classes
    Typer

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

    Definition Classes
    TyperDiagnostics

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

    Definition Classes
    ParadiseImplicitSearch → ImplicitSearch

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

    Definition Classes
    Typer
    Annotations
    @inline()

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

    Definition Classes
    Typer
    Annotations
    @inline()

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

    Definition Classes
    Typer

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

    Definition Classes
    Typer

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

    Definition Classes
    Typer

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

    Definition Classes
    ParadiseTyper → Typer

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

    Definition Classes
    Typer

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

    Definition Classes
    Typer

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

    Definition Classes
    TyperDiagnostics

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

    Definition Classes
    Tag

  101. 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

  102. 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

  103. 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

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

    Definition Classes
    Typer

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

    Definition Classes
    Typer

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

    Definition Classes
    AnyRef

  107. 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

  108. def toString(): String

    Definition Classes
    AnyRef → Any

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

    Definition Classes
    Typer

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

    Definition Classes
    Typer

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

    Definition Classes
    Typer

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

    Definition Classes
    Typer

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

    Definition Classes
    Typer

  114. 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

  115. 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

  116. 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

  117. 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

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

    Definition Classes
    Typer

  119. 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

  120. 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

  121. 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

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

    Definition Classes
    ParadiseTyper → Typer

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

    Definition Classes
    Typer

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

    Definition Classes
    Typer

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

    Attributes
    protected
    Definition Classes
    Typer

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

    Definition Classes
    Typer

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

    Definition Classes
    Typer

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

    Definition Classes
    Typer

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

    Definition Classes
    Typer

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

    Definition Classes
    Typer

  131. 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

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

    Definition Classes
    Typer

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

    Definition Classes
    Typer

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

    Definition Classes
    Typer

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

    Definition Classes
    Typer

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

    Definition Classes
    Typer

  137. 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

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

    Definition Classes
    Typer

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

    Definition Classes
    Typer

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

    Definition Classes
    Typer

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

    Definition Classes
    Typer

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

    Definition Classes
    Typer

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

    Definition Classes
    ParadiseTyper → Typer

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

    Definition Classes
    Typer

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

    Definition Classes
    Typer

  146. 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

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

    Definition Classes
    Typer

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

    Definition Classes
    Typer

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

    Definition Classes
    Typer

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

    Definition Classes
    Typer

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

    Definition Classes
    Typer

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

    Definition Classes
    Typer
    Annotations
    @inline()

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

    Definition Classes
    Typer
    Annotations
    @inline()

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

    Definition Classes
    Typer
    Annotations
    @inline()

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

    Definition Classes
    ImplicitSearch

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

    Definition Classes
    Typer

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

    Definition Classes
    Typer

  158. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    ImplicitSearch

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

    Definition Classes
    Typer
    Annotations
    @inline()

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

    Definition Classes
    Typer
    Annotations
    @inline()

  164. 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

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

    Definition Classes
    ParadiseImplicitSearch → ImplicitSearch

  166. 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