Packages

t

scala.tools.nsc.typechecker.splain

SplainDiagnostics

trait SplainDiagnostics extends SplainFormatting

Self Type
Analyzer
Source
SplainDiagnostics.scala
Linear Supertypes
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. SplainDiagnostics
  2. SplainFormatting
  3. SplainFormatters
  4. AnyRef
  5. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. trait SpecialFormatter extends AnyRef
    Definition Classes
    SplainFormatters
  2. case class ImplicitErrorLink(fromTree: Analyzer.ImplicitError, fromHistory: Analyzer.DivergentImplicitTypeError) extends Product with Serializable
    Definition Classes
    SplainFormatting
  3. case class ImplicitErrorTree(error: Analyzer.ImplicitError, children: collection.immutable.Seq[Analyzer.ImplicitErrorTree] = Nil) extends Product with Serializable
    Definition Classes
    SplainFormatting
  4. case class TypeParts(sym: Global.Symbol, tt: Global.Type) extends Product with Serializable
    Definition Classes
    SplainFormatting

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. def +(other: String): String
    Implicit
    This member is added by an implicit conversion from SplainDiagnostics toany2stringadd[SplainDiagnostics] performed by method any2stringadd in scala.Predef.
    Definition Classes
    any2stringadd
  4. def ->[B](y: B): (SplainDiagnostics, B)
    Implicit
    This member is added by an implicit conversion from SplainDiagnostics toArrowAssoc[SplainDiagnostics] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc
    Annotations
    @inline()
  5. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  6. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  7. implicit def asSimpleName(s: String): SimpleName
    Definition Classes
    SplainFormatters
  8. def bracket[A](params: collection.immutable.List[A]): String
    Definition Classes
    SplainFormatting
  9. def breakInfix(types: collection.immutable.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
    SplainFormatting
  10. val breakInfixLength: Int
    Definition Classes
    SplainFormatting
  11. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native() @IntrinsicCandidate()
  12. def ctorNames(tpe: Global.Type): collection.immutable.List[String]
    Definition Classes
    SplainFormatting
  13. def dealias(tpe: Global.Type): Global.Type
    Definition Classes
    SplainFormatting
  14. def decideBreak(flat: FlatType, broken: => BrokenType): TypeRepr
    Definition Classes
    SplainFormatting
  15. def deepestLevel(chain: collection.immutable.List[Analyzer.ImplicitError]): Int
    Definition Classes
    SplainFormatting
  16. def ensuring(cond: (SplainDiagnostics) => Boolean, msg: => Any): SplainDiagnostics
    Implicit
    This member is added by an implicit conversion from SplainDiagnostics toEnsuring[SplainDiagnostics] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  17. def ensuring(cond: (SplainDiagnostics) => Boolean): SplainDiagnostics
    Implicit
    This member is added by an implicit conversion from SplainDiagnostics toEnsuring[SplainDiagnostics] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  18. def ensuring(cond: Boolean, msg: => Any): SplainDiagnostics
    Implicit
    This member is added by an implicit conversion from SplainDiagnostics toEnsuring[SplainDiagnostics] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  19. def ensuring(cond: Boolean): SplainDiagnostics
    Implicit
    This member is added by an implicit conversion from SplainDiagnostics toEnsuring[SplainDiagnostics] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  20. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  21. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  22. def extractArgs(tpe: Global.Type): collection.immutable.List[Global.Type]
    Definition Classes
    SplainFormatting
  23. def flattenInfix(tpe: Infix): collection.immutable.List[Formatted]

    Turn a nested infix type structure into a flat list

    Turn a nested infix type structure into a flat list

    ::[A, ::[B, C]]] => List(A, ::, B, ::, C)
    Definition Classes
    SplainFormatting
  24. def formatAuxSimple(tpe: Global.Type): (collection.immutable.List[String], String)
    Definition Classes
    SplainFormatting
  25. def formatDiff(left: Global.Type, right: Global.Type, top: Boolean): Formatted
    Definition Classes
    SplainFormatting
  26. val formatDiffCache: FormatCache[(Global.Type, Global.Type, Boolean), Formatted]
    Definition Classes
    SplainFormatting
  27. def formatDiffImpl(found: Global.Type, req: Global.Type, top: Boolean): Formatted
    Definition Classes
    SplainFormatting
  28. def formatDiffInfix(left: Global.Type, right: Global.Type, top: Boolean): Formatted
    Definition Classes
    SplainFormatting
  29. def formatDiffSimple(left: Global.Type, right: Global.Type): Formatted
    Definition Classes
    SplainFormatting
  30. def formatDiffSpecial(left: Global.Type, right: Global.Type, top: Boolean): Option[Formatted]
    Definition Classes
    SplainFormatting
  31. def formatFunction(args: collection.immutable.List[String]): String
    Definition Classes
    SplainFormatting
  32. def formatImplicitChainFlat(chain: collection.immutable.List[Analyzer.ImplicitError]): collection.immutable.List[String]
    Definition Classes
    SplainFormatting
  33. def formatImplicitChainTreeFull(chain: collection.immutable.List[Analyzer.ImplicitError]): collection.immutable.List[String]
    Definition Classes
    SplainFormatting
  34. def formatImplicitError(param: Global.Symbol, errors: collection.immutable.List[Analyzer.ImplicitError], annotationMsg: String): String
    Definition Classes
    SplainFormatting
  35. def formatIndentTree(chain: collection.immutable.List[Analyzer.ImplicitError], baseIndent: Int): collection.immutable.List[String]
    Definition Classes
    SplainFormatting
  36. def formatInfix[A](path: collection.immutable.List[String], simple: String, left: A, right: A, top: Boolean)(rec: (A, Boolean) => Formatted): Formatted
    Definition Classes
    SplainFormatting
  37. def formatNestedImplicit(err: Analyzer.ImplicitError): (String, collection.immutable.List[String], Int)
    Definition Classes
    SplainFormatting
  38. def formatNonConfBounds(err: NonconformantBounds): collection.immutable.List[String]
    Definition Classes
    SplainFormatting
  39. def formatNormalSimple(tpe: Global.Type): (collection.immutable.List[String], String)
    Definition Classes
    SplainFormatting
  40. def formatRefinement(sym: Global.Symbol): String
    Definition Classes
    SplainFormatting
  41. def formatSimpleType(tpe: Global.Type): (collection.immutable.List[String], String)
    Definition Classes
    SplainFormatting
  42. def formatSpecial[A](tpe: Global.Type, simple: String, args: collection.immutable.List[A], formattedArgs: => collection.immutable.List[Formatted], top: Boolean)(rec: (A, Boolean) => Formatted): Option[Formatted]
    Definition Classes
    SplainFormatting
  43. def formatType(tpe: Global.Type, top: Boolean): Formatted
    Definition Classes
    SplainFormattingSplainFormatters
  44. val formatTypeCache: FormatCache[(Global.Type, Boolean), Formatted]
    Definition Classes
    SplainFormatting
  45. def formatTypeImpl(tpe: Global.Type, top: Boolean): Formatted
    Definition Classes
    SplainFormatting
  46. def formatWithInfix[A](tpe: Global.Type, args: collection.immutable.List[A], top: Boolean)(rec: (A, Boolean) => Formatted): Formatted
    Definition Classes
    SplainFormatting
  47. def formattedDiff(left: Formatted, right: Formatted): String
    Definition Classes
    SplainFormatting
  48. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  49. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  50. def hideImpError(error: Analyzer.ImplicitError): Boolean
    Definition Classes
    SplainFormatting
  51. def implicitMessage(param: Global.Symbol, annotationMsg: String): collection.immutable.List[String]
    Definition Classes
    SplainFormatting
  52. def indent(lines: collection.immutable.List[String], n: Int = 1, prefix: String = " "): collection.immutable.List[String]
    Definition Classes
    SplainFormatting
  53. def indentLine(line: String, n: Int = 1, prefix: String = " "): String
    Definition Classes
    SplainFormatting
  54. def indentTree(tree: collection.immutable.List[(String, collection.immutable.List[String], Int)], baseIndent: Int): collection.immutable.List[String]
    Definition Classes
    SplainFormatting
  55. def isAux(tpe: Global.Type): Boolean
    Definition Classes
    SplainFormatting
  56. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  57. def isRefined(tpe: Global.Type): Boolean
    Definition Classes
    SplainFormatting
  58. def isSymbolic(tpe: Global.Type): Boolean
    Definition Classes
    SplainFormatting
  59. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  60. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  61. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  62. def pathPrefix: (collection.immutable.List[String]) => String
    Definition Classes
    SplainFormatting
  63. def qualifiedName(path: collection.immutable.List[String], name: FormattedName): String
    Definition Classes
    SplainFormatting
  64. def sanitizePath(path: collection.immutable.List[String]): collection.immutable.List[String]
    Definition Classes
    SplainFormatting
  65. def showFormatted(tpe: Formatted): String
    Definition Classes
    SplainFormatting
  66. def showFormattedL(tpe: Formatted, break: Boolean): TypeRepr
    Definition Classes
    SplainFormatting
  67. val showFormattedLCache: FormatCache[(Formatted, Boolean), TypeRepr]
    Definition Classes
    SplainFormatting
  68. def showFormattedLImpl(tpe: Formatted, break: Boolean): TypeRepr
    Definition Classes
    SplainFormatting
  69. def showFormattedQualified(path: collection.immutable.List[String], name: FormattedName): TypeRepr
    Definition Classes
    SplainFormatting
  70. def showFuncParams(args: collection.immutable.List[String]): String
    Definition Classes
    SplainFormatting
  71. def showRefined(parents: collection.immutable.List[String], decls: collection.immutable.List[String]): String
    Definition Classes
    SplainFormatting
  72. def showTuple(args: collection.immutable.List[String]): String
    Definition Classes
    SplainFormatting
  73. def showType(tpe: Global.Type): String
    Definition Classes
    SplainFormatting
  74. def showTypeApply(cons: String, args: collection.immutable.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
    SplainFormatting
  75. def showTypeBreakL(tpe: Global.Type): collection.immutable.List[String]
    Definition Classes
    SplainFormatting
  76. val specialFormatters: collection.immutable.List[Analyzer.SpecialFormatter]
    Definition Classes
    SplainFormatting
  77. def splainFoundReqMsg(found: Global.Type, req: Global.Type): String
  78. def splitChains(errors: collection.immutable.List[Analyzer.ImplicitError]): collection.immutable.List[collection.immutable.List[Analyzer.ImplicitError]]
    Definition Classes
    SplainFormatting
  79. def stripModules(path: collection.immutable.List[String], name: FormattedName): String
    Definition Classes
    SplainFormatting
  80. def stripType(tpe: Global.Type): (collection.immutable.List[String], String)
    Definition Classes
    SplainFormatting
  81. def symbolPath(sym: Global.Symbol): collection.immutable.List[String]
    Definition Classes
    SplainFormatting
  82. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  83. def toString(): String
    Definition Classes
    AnyRef → Any
  84. def truncateDecls(decls: collection.immutable.List[Formatted]): Boolean
    Definition Classes
    SplainFormatting
  85. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  86. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  87. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  88. def wrapParens(expr: String, top: Boolean): String
    Definition Classes
    SplainFormatting
  89. def wrapParensRepr(tpe: TypeRepr, top: Boolean): TypeRepr
    Definition Classes
    SplainFormatting
  90. object ByNameFormatter extends Analyzer.SpecialFormatter
    Definition Classes
    SplainFormatters
  91. object FunctionFormatter extends Analyzer.SpecialFormatter
    Definition Classes
    SplainFormatters
  92. object Refined
    Definition Classes
    SplainFormatters
  93. object RefinedFormatter extends Analyzer.SpecialFormatter
    Definition Classes
    SplainFormatters
  94. object TupleFormatter extends Analyzer.SpecialFormatter
    Definition Classes
    SplainFormatters
  95. object ImplicitErrorLink extends java.io.Serializable
    Definition Classes
    SplainFormatting
  96. object ImplicitErrorTree extends java.io.Serializable
    Definition Classes
    SplainFormatting

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated @Deprecated
    Deprecated
  2. def formatted(fmtstr: String): String
    Implicit
    This member is added by an implicit conversion from SplainDiagnostics toStringFormat[SplainDiagnostics] performed by method StringFormat in scala.Predef.
    Definition Classes
    StringFormat
    Annotations
    @deprecated @inline()
    Deprecated

    (Since version 2.12.16) Use formatString.format(value) instead of value.formatted(formatString), or use the f"" string interpolator. In Java 15 and later, formatted resolves to the new method in String which has reversed parameters.

  3. def [B](y: B): (SplainDiagnostics, B)
    Implicit
    This member is added by an implicit conversion from SplainDiagnostics toArrowAssoc[SplainDiagnostics] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc
    Annotations
    @deprecated
    Deprecated

    (Since version 2.13.0) Use -> instead. If you still wish to display it as one character, consider using a font with programming ligatures such as Fira Code.

Inherited from SplainFormatting

Inherited from SplainFormatters

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd fromSplainDiagnostics to any2stringadd[SplainDiagnostics]

Inherited by implicit conversion StringFormat fromSplainDiagnostics to StringFormat[SplainDiagnostics]

Inherited by implicit conversion Ensuring fromSplainDiagnostics to Ensuring[SplainDiagnostics]

Inherited by implicit conversion ArrowAssoc fromSplainDiagnostics to ArrowAssoc[SplainDiagnostics]

Ungrouped