splain

TypeDiagnostics

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

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

Type Members

  1. trait SpecialFormatter extends AnyRef

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

    Definition Classes
    TypeDiagnostics
  3. trait TyperDiagnostics extends AnyRef

    Definition Classes
    TypeDiagnostics
  4. 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 featureTree: Boolean

    Definition Classes
    Formatting
  9. 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 formatNestedImplicit(err: Analyzer.ImpFailReason): (String, List[String], Int)

    Definition Classes
    Formatting
  53. 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
  54. def formatNonConfBounds(err: Analyzer.NonConfBounds): List[String]

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

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

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

    Definition Classes
    Formatting
  58. 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
  59. def formatType(tpe: scala.tools.nsc.Global.Type, top: Boolean): Formatted

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    Definition Classes
    TypeDiagnostics
  77. final def ne(arg0: AnyRef): Boolean

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    Definition Classes
    Formatting
  100. 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
  101. def showTypeBreak(tpe: scala.tools.nsc.Global.Type): String

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

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

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

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

    Definition Classes
    AnyRef
  106. def toString(): String

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

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

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

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

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

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

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

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

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

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

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

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

    Definition Classes
    Formatting

Inherited from Formatting

Inherited from Formatters

Inherited from Compat

Inherited from scala.tools.nsc.typechecker.TypeDiagnostics

Inherited from AnyRef

Inherited from Any

Ungrouped