splain

TypeDiagnostics

trait TypeDiagnostics extends scala.tools.nsc.typechecker.TypeDiagnostics with Formatting

Self Type
Analyzer
Linear Supertypes
Formatting, ImplicitMsgCompat, Formatters, Compat, scala.tools.nsc.typechecker.TypeDiagnostics, AnyRef, Any
Known Subclasses
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. TypeDiagnostics
  2. Formatting
  3. ImplicitMsgCompat
  4. Formatters
  5. Compat
  6. TypeDiagnostics
  7. AnyRef
  8. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

  1. case class MatchRewrite(target: String) extends Product with Serializable

    Definition Classes
    Formatting
  2. trait SpecialFormatter extends AnyRef

    Definition Classes
    Formatters
  3. case class TypeDiag extends Ordered[scala.tools.nsc.typechecker.Analyzer.TypeDiag] with Product with Serializable

    Definition Classes
    TypeDiagnostics
  4. trait TyperDiagnostics extends AnyRef

    Definition Classes
    TypeDiagnostics
  5. trait TyperExtra extends AnyRef

    Definition Classes
    Compat

Abstract Value Members

  1. abstract def echo(msg: String): Unit

  2. abstract def featureBoundsImplicits: Boolean

    Definition Classes
    Formatting
  3. abstract def featureBreakInfix: Option[Int]

    Definition Classes
    Formatting
  4. abstract def featureColor: Boolean

    Definition Classes
    Formatting
  5. abstract def featureCompact: Boolean

    Definition Classes
    Formatting
  6. abstract def featureFoundReq: Boolean

  7. abstract def featureInfix: Boolean

    Definition Classes
    Formatting
  8. abstract def featureKeepModules: Int

    Definition Classes
    Formatting
  9. abstract def featureRewrite: String

    Definition Classes
    Formatting
  10. abstract def featureTree: Boolean

    Definition Classes
    Formatting
  11. abstract def featureTruncRefined: Option[Int]

    Definition Classes
    Formatting

Concrete 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 FunctionFormatter extends Analyzer.SpecialFormatter

    Definition Classes
    Formatters
  7. object SLRecordItemFormatter extends Analyzer.SpecialFormatter

    Definition Classes
    Formatters
  8. object TermName

    Definition Classes
    Compat
  9. object TupleFormatter extends Analyzer.SpecialFormatter

    Definition Classes
    Formatters
  10. def abstractVarMessage(sym: scala.tools.nsc.Global.Symbol): String

    Definition Classes
    TypeDiagnostics
  11. def alternatives(tree: scala.tools.nsc.Global.Tree): List[scala.tools.nsc.Global.Type]

    Definition Classes
    TypeDiagnostics
  12. def alternativesString(tree: scala.tools.nsc.Global.Tree): String

    Definition Classes
    TypeDiagnostics
  13. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  14. def bracket[A](params: List[A]): String

    Definition Classes
    Formatting
  15. def breakInfix(types: List[Formatted]): TypeRepr

    Break a list produced by flattenInfix into lines by taking two elements at a time, then appending the terminal.

    Break a list produced by flattenInfix into lines by taking two elements at a time, then appending the terminal. If the expression's length is smaller than the threshold specified via plugin parameter, return a single line.

    Definition Classes
    Formatting
  16. def cacheStats: String

    Definition Classes
    Formatting
  17. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  18. implicit def colors: StringColor

    Definition Classes
    Formatting
  19. def ctorNames(tpe: scala.tools.nsc.Global.Type): List[String]

    Definition Classes
    Formatting
  20. def dealias(tpe: scala.tools.nsc.Global.Type): scala.tools.nsc.Global.Type

    Definition Classes
    Formatting
  21. def decideBreak(flat: FlatType, broken: ⇒ BrokenType): TypeRepr

    Definition Classes
    Formatting
  22. def decodeWithKind(name: scala.tools.nsc.Global.Name, owner: scala.tools.nsc.Global.Symbol): String

    Definition Classes
    TypeDiagnostics
  23. def deepestLevel(chain: List[Analyzer.ImpFailReason]): Int

    Definition Classes
    Formatting
  24. def disambiguate(ss: List[String]): List[String]

    Definition Classes
    TypeDiagnostics
  25. def effectiveImplicitType(tpe: scala.tools.nsc.Global.Type): scala.tools.nsc.Global.Type

    Definition Classes
    Formatting
  26. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  27. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  28. def existentialContext(tp: scala.tools.nsc.Global.Type): String

    Definition Classes
    TypeDiagnostics
  29. def explainAlias(tp: scala.tools.nsc.Global.Type): String

    Definition Classes
    TypeDiagnostics
  30. def explainAnyVsAnyRef(found: scala.tools.nsc.Global.Type, req: scala.tools.nsc.Global.Type): String

    Definition Classes
    TypeDiagnostics
  31. def explainVariance(found: scala.tools.nsc.Global.Type, req: scala.tools.nsc.Global.Type): String

    Definition Classes
    TypeDiagnostics
  32. def extractArgs(tpe: scala.tools.nsc.Global.Type): List[scala.tools.nsc.Global.Type]

    Definition Classes
    Formatting
  33. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  34. def flattenInfix(tpe: Infix): List[Formatted]

    Turn a nested infix type structure into a flat list ::[A, ::[B, C]]] => List(A, ::, B, ::, C)

    Turn a nested infix type structure into a flat list ::[A, ::[B, C]]] => List(A, ::, B, ::, C)

    Definition Classes
    Formatting
  35. def formatAuxSimple(tpe: scala.tools.nsc.Global.Type): String

    Definition Classes
    Formatting
  36. def formatDiff(left: scala.tools.nsc.Global.Type, right: scala.tools.nsc.Global.Type, top: Boolean): Formatted

    Definition Classes
    Formatting
  37. val formatDiffCache: FormatCache[(scala.tools.nsc.Global.Type, scala.tools.nsc.Global.Type, Boolean), Formatted]

    Definition Classes
    Formatting
  38. def formatDiffImpl(found: scala.tools.nsc.Global.Type, req: scala.tools.nsc.Global.Type, top: Boolean): Formatted

    Definition Classes
    Formatting
  39. def formatDiffInfix(left: scala.tools.nsc.Global.Type, right: scala.tools.nsc.Global.Type, top: Boolean): Formatted

    Definition Classes
    Formatting
  40. def formatDiffSimple(left: scala.tools.nsc.Global.Type, right: scala.tools.nsc.Global.Type): Diff

    Definition Classes
    Formatting
  41. def formatDiffSpecial(left: scala.tools.nsc.Global.Type, right: scala.tools.nsc.Global.Type, top: Boolean): Option[Formatted]

    Definition Classes
    Formatting
  42. def formatFunction(args: List[String]): String

    Definition Classes
    Formatting
  43. def formatImplicitChain(chain: List[Analyzer.ImpFailReason]): List[String]

    Definition Classes
    Formatting
  44. def formatImplicitChainFlat(chain: List[Analyzer.ImpFailReason]): List[String]

    Definition Classes
    Formatting
  45. def formatImplicitChainTree(chain: List[Analyzer.ImpFailReason]): List[String]

    Definition Classes
    Formatting
  46. def formatImplicitChainTreeCompact(chain: List[Analyzer.ImpFailReason]): Option[List[String]]

    Definition Classes
    Formatting
  47. def formatImplicitChainTreeFull(chain: List[Analyzer.ImpFailReason]): List[String]

    Definition Classes
    Formatting
  48. def formatImplicitError(param: scala.tools.nsc.Global.Symbol, errors: List[Analyzer.ImpFailReason]): String

    Definition Classes
    Formatting
  49. def formatImplicitParam(sym: scala.tools.nsc.Global.Symbol): String

    Definition Classes
    Formatting
  50. def formatIndentTree(chain: List[Analyzer.ImpFailReason], baseIndent: Int): List[String]

    Definition Classes
    Formatting
  51. def formatInfix[A](simple: String, left: A, right: A, top: Boolean, rec: (A) ⇒ (Boolean) ⇒ Formatted): Infix

    Definition Classes
    Formatting
  52. def formatMsg(msg: Message, param: scala.tools.nsc.Global.Symbol, tpe: scala.tools.nsc.Global.Type): String

    Definition Classes
    ImplicitMsgCompat
  53. def formatNestedImplicit(err: Analyzer.ImpFailReason): (String, List[String], Int)

    Definition Classes
    Formatting
  54. def formatNestedImplicits(errors: List[Analyzer.ImpFailReason]): List[String]

    Remove duplicates and special cases that should not be shown.

    Remove duplicates and special cases that should not be shown. In some cases, candidates are reported twice, once as Foo.f and once as f. ImpFailReason.equals checks the simple names for identity, which is suboptimal, but works for 99% of cases. Special cases are handled in hideImpError

    Definition Classes
    Formatting
  55. def formatNonConfBounds(err: Analyzer.NonConfBounds): List[String]

    Definition Classes
    Formatting
  56. def formatNormalSimple(tpe: scala.tools.nsc.Global.Type): String

    Definition Classes
    Formatting
  57. def formatRefinement(sym: scala.tools.nsc.Global.Symbol): String

    Definition Classes
    Formatting
  58. def formatSimpleType(tpe: scala.tools.nsc.Global.Type): String

    Definition Classes
    Formatting
  59. def formatSpecial[A](tpe: scala.tools.nsc.Global.Type, simple: String, args: List[A], formattedArgs: ⇒ List[Formatted], top: Boolean, rec: (A) ⇒ (Boolean) ⇒ Formatted): Option[Formatted]

    Definition Classes
    Formatting
  60. def formatType(tpe: scala.tools.nsc.Global.Type, top: Boolean): Formatted

    Definition Classes
    FormattingFormatters
  61. val formatTypeCache: FormatCache[(scala.tools.nsc.Global.Type, Boolean), Formatted]

    Definition Classes
    Formatting
  62. def formatTypeImpl(tpe: scala.tools.nsc.Global.Type, top: Boolean): Formatted

    Definition Classes
    Formatting
  63. def formatWithInfix[A](tpe: scala.tools.nsc.Global.Type, args: List[A], top: Boolean, rec: (A) ⇒ (Boolean) ⇒ Formatted): Formatted

    Definition Classes
    Formatting
  64. def foundReqMsg(found: scala.tools.nsc.Global.Type, req: scala.tools.nsc.Global.Type): String

    Definition Classes
    TypeDiagnostics → TypeDiagnostics
  65. def foundReqMsgShort(found: scala.tools.nsc.Global.Type, req: scala.tools.nsc.Global.Type): TypeRepr

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

    Definition Classes
    AnyRef → Any
  67. def hashCode(): Int

    Definition Classes
    AnyRef → Any
  68. def hideImpError(error: Analyzer.ImpFailReason): Boolean

    Definition Classes
    Formatting
  69. def implicitMessage(param: scala.tools.nsc.Global.Symbol): List[String]

    Definition Classes
    Formatting
  70. def indent(lines: List[String], n: Int = 1, prefix: String = " "): List[String]

    Definition Classes
    Formatting
  71. def indentLine(line: String, n: Int = 1, prefix: String = " "): String

    Definition Classes
    Formatting
  72. def indentTree(tree: List[(String, List[String], Int)], baseIndent: Int): List[String]

    Definition Classes
    Formatting
  73. def isAux(tpe: scala.tools.nsc.Global.Type): Boolean

    Definition Classes
    Formatting
  74. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  75. def isRefined(tpe: scala.tools.nsc.Global.Type): Boolean

    Definition Classes
    Formatting
  76. def isSymbolic(tpe: scala.tools.nsc.Global.Type): Boolean

    Definition Classes
    Formatting
  77. def linePrecedes(t1: scala.tools.nsc.Global.Tree, t2: scala.tools.nsc.Global.Tree): Boolean

    Definition Classes
    TypeDiagnostics
  78. def modulePath: (scala.tools.nsc.Global.Type) ⇒ List[String]

    Definition Classes
    Formatting
  79. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  80. def newTyper(context: Analyzer.Context): Analyzer.Typer

    Definition Classes
    Compat
  81. def noErroneousSyms(syms: scala.tools.nsc.Global.Symbol*): Boolean

    Definition Classes
    TypeDiagnostics
  82. def noErroneousTrees(trees: scala.tools.nsc.Global.Tree*): Boolean

    Definition Classes
    TypeDiagnostics
  83. def noErroneousTypes(tps: scala.tools.nsc.Global.Type*): Boolean

    Definition Classes
    TypeDiagnostics
  84. final def notify(): Unit

    Definition Classes
    AnyRef
  85. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  86. def overrideMessage(msg: String): Option[String]

    Definition Classes
    Formatting
  87. def pathPrefix: (List[String]) ⇒ String

    Definition Classes
    Formatting
  88. def posPrecedes(p1: scala.tools.nsc.Global.Position, p2: scala.tools.nsc.Global.Position): Boolean

    Definition Classes
    TypeDiagnostics
  89. def restrictionError(pos: scala.tools.nsc.Global.Position, unit: scala.tools.nsc.Global.CompilationUnit, msg: String): Unit

    Definition Classes
    TypeDiagnostics
  90. def restrictionWarning(pos: scala.tools.nsc.Global.Position, unit: scala.tools.nsc.Global.CompilationUnit, msg: String): Unit

    Definition Classes
    TypeDiagnostics
  91. def rewriteRegexes: List[(Regex, String)]

    Definition Classes
    Formatting
  92. def setAddendum(pos: scala.tools.nsc.Global.Position, msg: () ⇒ String): Unit

    Definition Classes
    TypeDiagnostics
  93. def showFormatted(tpe: Formatted, break: Boolean): String

    Definition Classes
    Formatting
  94. def showFormattedL(tpe: Formatted, break: Boolean): TypeRepr

    Definition Classes
    Formatting
  95. def showFormattedLBreak(tpe: Formatted): TypeRepr

    Definition Classes
    Formatting
  96. val showFormattedLCache: FormatCache[(Formatted, Boolean), TypeRepr]

    Definition Classes
    Formatting
  97. def showFormattedLImpl(tpe: Formatted, break: Boolean): TypeRepr

    Definition Classes
    Formatting
  98. def showFormattedLNoBreak(tpe: Formatted): TypeRepr

    Definition Classes
    Formatting
  99. def showFormattedNoBreak(tpe: Formatted): String

    Definition Classes
    Formatting
  100. def showSLRecordItem(key: Formatted, value: Formatted): FlatType

    Definition Classes
    Formatting
  101. def showStats[A](desc: String, run: ⇒ A): A

  102. def showTuple(args: List[String]): String

    Definition Classes
    Formatting
  103. def showType(tpe: scala.tools.nsc.Global.Type): String

    Definition Classes
    Formatting
  104. def showTypeApply(cons: String, args: List[TypeRepr], break: Boolean): TypeRepr

    If the args of an applied type constructor are multiline, create separate lines for the constructor name and the closing bracket; else return a single line.

    If the args of an applied type constructor are multiline, create separate lines for the constructor name and the closing bracket; else return a single line.

    Definition Classes
    Formatting
  105. def showTypeBreak(tpe: scala.tools.nsc.Global.Type): String

    Definition Classes
    Formatting
  106. def showTypeBreakL(tpe: scala.tools.nsc.Global.Type): List[String]

    Definition Classes
    Formatting
  107. val specialFormatters: List[Analyzer.SpecialFormatter]

    Definition Classes
    Formatting
  108. def splitChains(errors: List[Analyzer.ImpFailReason]): List[List[Analyzer.ImpFailReason]]

    Definition Classes
    Formatting
  109. def stripModules(path: List[String], name: String)(keep: Int): String

    Definition Classes
    Formatting
  110. def stripType(tpe: scala.tools.nsc.Global.Type): String

    Definition Classes
    Formatting
  111. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  112. def toString(): String

    Definition Classes
    AnyRef → Any
  113. def treeSymTypeMsg(tree: scala.tools.nsc.Global.Tree): String

    Definition Classes
    TypeDiagnostics
  114. def typePatternAdvice(sym: scala.tools.nsc.Global.Symbol, ptSym: scala.tools.nsc.Global.Symbol): String

    Definition Classes
    TypeDiagnostics
  115. def typingInPattern[T](body: ⇒ T): T

    Definition Classes
    TypeDiagnostics
  116. def underlyingSymbol(member: scala.tools.nsc.Global.Symbol): scala.tools.nsc.Global.Symbol

    Definition Classes
    TypeDiagnostics
  117. def varianceWord(sym: scala.tools.nsc.Global.Symbol): String

    Definition Classes
    TypeDiagnostics
  118. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  119. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  120. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  121. def withAddendum(pos: scala.tools.nsc.Global.Position): (String) ⇒ String

    Definition Classes
    TypeDiagnostics
  122. def withDisambiguation[T](locals: List[scala.tools.nsc.Global.Symbol], types: scala.tools.nsc.Global.Type*)(op: ⇒ T): T

    Definition Classes
    TypeDiagnostics
  123. def wrapParens(expr: String, top: Boolean): String

    Definition Classes
    Formatting
  124. def wrapParensRepr(tpe: TypeRepr, top: Boolean): TypeRepr

    Definition Classes
    Formatting

Inherited from Formatting

Inherited from ImplicitMsgCompat

Inherited from Formatters

Inherited from Compat

Inherited from scala.tools.nsc.typechecker.TypeDiagnostics

Inherited from AnyRef

Inherited from Any

Ungrouped