Class

scala.meta.internal.pc.MetalsGlobal

PrettyType

Related Doc: package MetalsGlobal

Permalink

class PrettyType extends Type

A Type with custom pretty-printing representation, not used for typechecking.

NOTE(olafur) Creating a new Type subclass is a hack, a better long-term solution would be to implement a custom pretty-printer for types so that we don't have to rely on Type.toString.

Linear Supertypes
MetalsGlobal.Type, MetalsGlobal.Annotatable[MetalsGlobal.Type], MetalsGlobal.TypeApiImpl, MetalsGlobal.TypeApi, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. PrettyType
  2. Type
  3. Annotatable
  4. TypeApiImpl
  5. TypeApi
  6. AnyRef
  7. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new PrettyType(string: String)

    Permalink

  2. new PrettyType(prefixString: String, safeToString: String)

    Permalink

Type Members

  1. class FilterMapForeach extends reflect.internal.SymbolTable.FilterTypeCollector

    Permalink
    Definition Classes
    Type

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  3. def <:<(that: MetalsGlobal.Type): Boolean

    Permalink
    Definition Classes
    Type → TypeApi

  4. def =:=(that: MetalsGlobal.Type): Boolean

    Permalink
    Definition Classes
    Type → TypeApi

  5. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  6. def addThrowsAnnotation(throwableSym: MetalsGlobal.Symbol): MetalsGlobal.Type

    Permalink
    Definition Classes
    Annotatable

  7. def annotations: List[MetalsGlobal.AnnotationInfo]

    Permalink
    Definition Classes
    Type → Annotatable

  8. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  9. def asSeenFrom(pre: MetalsGlobal.Type, clazz: MetalsGlobal.Symbol): MetalsGlobal.Type

    Permalink
    Definition Classes
    Type → TypeApi

  10. def atOwner(owner: MetalsGlobal.Symbol): MetalsGlobal.Type

    Permalink
    Definition Classes
    Type

  11. def baseClasses: List[MetalsGlobal.Symbol]

    Permalink
    Definition Classes
    Type → TypeApi

  12. def baseType(clazz: MetalsGlobal.Symbol): MetalsGlobal.Type

    Permalink
    Definition Classes
    Type → TypeApi

  13. def baseTypeIndex(sym: MetalsGlobal.Symbol): Int

    Permalink
    Definition Classes
    Type

  14. def baseTypeSeq: MetalsGlobal.BaseTypeSeq

    Permalink
    Definition Classes
    Type

  15. def baseTypeSeqDepth: Depth

    Permalink
    Definition Classes
    Type

  16. def betaReduce: MetalsGlobal.Type

    Permalink
    Definition Classes
    Type

  17. def boundSyms: Set[MetalsGlobal.Symbol]

    Permalink
    Definition Classes
    Type

  18. def bounds: MetalsGlobal.TypeBounds

    Permalink
    Definition Classes
    Type

  19. def clone(): AnyRef

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

  20. def cloneInfo(owner: MetalsGlobal.Symbol): MetalsGlobal.Type

    Permalink
    Definition Classes
    Type

  21. def collect[T](pf: PartialFunction[MetalsGlobal.Type, T]): List[T]

    Permalink
    Definition Classes
    Type

  22. def companion: MetalsGlobal.Type

    Permalink
    Definition Classes
    TypeApiImpl → TypeApi

  23. def complete(sym: MetalsGlobal.Symbol): Unit

    Permalink
    Definition Classes
    Type

  24. def computeMemberType(sym: MetalsGlobal.Symbol): MetalsGlobal.Type

    Permalink
    Definition Classes
    Type

  25. def contains(sym: MetalsGlobal.Symbol): Boolean

    Permalink
    Definition Classes
    Type → TypeApi

  26. def dealias: MetalsGlobal.Type

    Permalink
    Definition Classes
    Type → TypeApi

  27. def dealiasWiden: MetalsGlobal.Type

    Permalink
    Definition Classes
    Type

  28. def dealiasWidenChain: List[MetalsGlobal.Type]

    Permalink
    Definition Classes
    Type

  29. def decl(name: MetalsGlobal.Name): MetalsGlobal.Symbol

    Permalink
    Definition Classes
    Type → TypeApi

  30. def declaration(name: MetalsGlobal.Name): MetalsGlobal.Symbol

    Permalink
    Definition Classes
    TypeApiImpl → TypeApi

  31. def declarations: MetalsGlobal.Scope

    Permalink
    Definition Classes
    TypeApiImpl → TypeApi

  32. def decls: MetalsGlobal.Scope

    Permalink
    Definition Classes
    Type → TypeApi

  33. def deconst: MetalsGlobal.Type

    Permalink
    Definition Classes
    Type

  34. def deferredMembers: MetalsGlobal.Scope

    Permalink
    Definition Classes
    Type

  35. def directObjectString: String

    Permalink
    Definition Classes
    Type

  36. def dummyArgs: List[MetalsGlobal.Type]

    Permalink
    Attributes
    protected
    Definition Classes
    Type

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

    Permalink
    Definition Classes
    AnyRef

  38. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  39. def erasure: MetalsGlobal.Type

    Permalink
    Definition Classes
    TypeApiImpl → TypeApi

  40. def etaExpand: MetalsGlobal.Type

    Permalink
    Definition Classes
    Type → TypeApi

  41. def exists(p: (MetalsGlobal.Type) ⇒ Boolean): Boolean

    Permalink
    Definition Classes
    Type → TypeApi

  42. def filterAnnotations(p: (MetalsGlobal.AnnotationInfo) ⇒ Boolean): MetalsGlobal.Type

    Permalink
    Definition Classes
    Type → Annotatable

  43. final def finalResultType: MetalsGlobal.Type

    Permalink
    Definition Classes
    Type → TypeApi

  44. def finalize(): Unit

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

  45. def find(p: (MetalsGlobal.Type) ⇒ Boolean): Option[MetalsGlobal.Type]

    Permalink
    Definition Classes
    Type → TypeApi

  46. def findMember(name: MetalsGlobal.Name, excludedFlags: Long, requiredFlags: Long, stableOnly: Boolean): MetalsGlobal.Symbol

    Permalink
    Definition Classes
    Type

  47. def findMembers(excludedFlags: Long, requiredFlags: Long): MetalsGlobal.Scope

    Permalink
    Definition Classes
    Type

  48. def firstParent: MetalsGlobal.Type

    Permalink
    Definition Classes
    Type

  49. def forceDirectSuperclasses: Unit

    Permalink
    Definition Classes
    Type

  50. def foreach(f: (MetalsGlobal.Type) ⇒ Unit): Unit

    Permalink
    Definition Classes
    Type → TypeApi

  51. def getAnnotation(cls: MetalsGlobal.Symbol): Option[MetalsGlobal.AnnotationInfo]

    Permalink
    Definition Classes
    Annotatable

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

    Permalink
    Definition Classes
    AnyRef → Any

  53. def hasAnnotation(cls: MetalsGlobal.Symbol): Boolean

    Permalink
    Definition Classes
    Annotatable

  54. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  55. def implicitMembers: MetalsGlobal.Scope

    Permalink
    Definition Classes
    Type

  56. def instantiateTypeParams(formals: List[MetalsGlobal.Symbol], actuals: List[MetalsGlobal.Type]): MetalsGlobal.Type

    Permalink
    Definition Classes
    Type

  57. def isComplete: Boolean

    Permalink
    Definition Classes
    Type

  58. def isDependentMethodType: Boolean

    Permalink
    Definition Classes
    Type

  59. def isErroneous: Boolean

    Permalink
    Definition Classes
    Type

  60. def isError: Boolean

    Permalink
    Definition Classes
    Type

  61. def isFinalType: Boolean

    Permalink
    Definition Classes
    Type

  62. def isGround: Boolean

    Permalink
    Definition Classes
    Type

  63. def isHigherKinded: Boolean

    Permalink
    Definition Classes
    Type

  64. def isImmediatelyDependent: Boolean

    Permalink
    Definition Classes
    Type

  65. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  66. def isSpliceable: Boolean

    Permalink
    Definition Classes
    TypeApiImpl

  67. final def isStable: Boolean

    Permalink
    Definition Classes
    Type

  68. def isStructuralRefinement: Boolean

    Permalink
    Definition Classes
    Type

  69. def isTrivial: Boolean

    Permalink
    Definition Classes
    Type

  70. final def isVolatile: Boolean

    Permalink
    Definition Classes
    Type

  71. def isWildcard: Boolean

    Permalink
    Definition Classes
    Type

  72. def kind: String

    Permalink
    Definition Classes
    Type

  73. def load(sym: MetalsGlobal.Symbol): Unit

    Permalink
    Definition Classes
    Type

  74. def looselyMatches(that: MetalsGlobal.Type): Boolean

    Permalink
    Definition Classes
    Type

  75. def map(f: (MetalsGlobal.Type) ⇒ MetalsGlobal.Type): MetalsGlobal.Type

    Permalink
    Definition Classes
    Type → TypeApi

  76. def matches(that: MetalsGlobal.Type): Boolean

    Permalink
    Definition Classes
    Type

  77. def matchesPattern(that: MetalsGlobal.Type): Boolean

    Permalink
    Definition Classes
    Type

  78. def member(name: MetalsGlobal.Name): MetalsGlobal.Symbol

    Permalink
    Definition Classes
    Type → TypeApi

  79. def memberBasedOnName(name: MetalsGlobal.Name, excludedFlags: Long): MetalsGlobal.Symbol

    Permalink
    Definition Classes
    Type

  80. def memberInfo(sym: MetalsGlobal.Symbol): MetalsGlobal.Type

    Permalink
    Definition Classes
    Type

  81. def memberType(sym: MetalsGlobal.Symbol): MetalsGlobal.Type

    Permalink
    Definition Classes
    Type

  82. def members: MetalsGlobal.Scope

    Permalink
    Definition Classes
    Type → TypeApi

  83. def membersBasedOnFlags(excludedFlags: Long, requiredFlags: Long): MetalsGlobal.Scope

    Permalink
    Definition Classes
    Type

  84. def narrow: MetalsGlobal.Type

    Permalink
    Definition Classes
    Type

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

    Permalink
    Definition Classes
    AnyRef

  86. def nonLocalMember(name: MetalsGlobal.Name): MetalsGlobal.Symbol

    Permalink
    Definition Classes
    Type

  87. def nonPrivateDecl(name: MetalsGlobal.Name): MetalsGlobal.Symbol

    Permalink
    Definition Classes
    Type

  88. def nonPrivateDecls: List[MetalsGlobal.Symbol]

    Permalink
    Definition Classes
    Type

  89. def nonPrivateMember(name: MetalsGlobal.Name): MetalsGlobal.Symbol

    Permalink
    Definition Classes
    Type

  90. def nonPrivateMemberAdmitting(name: MetalsGlobal.Name, admit: Long): MetalsGlobal.Symbol

    Permalink
    Definition Classes
    Type

  91. def nonPrivateMembers: MetalsGlobal.Scope

    Permalink
    Definition Classes
    Type

  92. def nonPrivateMembersAdmitting(admit: Long): MetalsGlobal.Scope

    Permalink
    Definition Classes
    Type

  93. def normalize: MetalsGlobal.Type

    Permalink
    Definition Classes
    Type → TypeApi

  94. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  95. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  96. def objectPrefix: String

    Permalink
    Attributes
    protected
    Definition Classes
    Type

  97. final def orElse(alt: ⇒ MetalsGlobal.Type): MetalsGlobal.Type

    Permalink
    Definition Classes
    Type → TypeApi
    Annotations
    @inline()

  98. def packagePrefix: String

    Permalink
    Attributes
    protected
    Definition Classes
    Type

  99. def paramLists: List[List[MetalsGlobal.Symbol]]

    Permalink
    Definition Classes
    TypeApiImpl → TypeApi

  100. def paramSectionCount: Int

    Permalink
    Definition Classes
    Type

  101. def paramTypes: List[MetalsGlobal.Type]

    Permalink
    Definition Classes
    Type

  102. def params: List[MetalsGlobal.Symbol]

    Permalink
    Definition Classes
    Type

  103. def paramss: List[List[MetalsGlobal.Symbol]]

    Permalink
    Definition Classes
    Type → TypeApi

  104. def parents: List[MetalsGlobal.Type]

    Permalink
    Definition Classes
    Type

  105. def prefix: MetalsGlobal.Type

    Permalink
    Definition Classes
    Type

  106. def prefixChain: List[MetalsGlobal.Type]

    Permalink
    Definition Classes
    Type

  107. val prefixString: String

    Permalink
    Definition Classes
    PrettyType → Type

  108. def removeAnnotation(cls: MetalsGlobal.Symbol): MetalsGlobal.Type

    Permalink
    Definition Classes
    Annotatable

  109. def resultApprox: MetalsGlobal.Type

    Permalink
    Definition Classes
    Type

  110. def resultType(actuals: List[MetalsGlobal.Type]): MetalsGlobal.Type

    Permalink
    Definition Classes
    Type

  111. def resultType: MetalsGlobal.Type

    Permalink
    Definition Classes
    Type → TypeApi

  112. val safeToString: String

    Permalink
    Definition Classes
    PrettyType → Type

  113. def setAnnotations(annots: List[MetalsGlobal.AnnotationInfo]): MetalsGlobal.Type

    Permalink
    Definition Classes
    Type → Annotatable

  114. def skolemizeExistential: MetalsGlobal.Type

    Permalink
    Definition Classes
    Type

  115. def skolemizeExistential(owner: MetalsGlobal.Symbol, origin: AnyRef): MetalsGlobal.Type

    Permalink
    Definition Classes
    Type

  116. def skolemsExceptMethodTypeParams: List[MetalsGlobal.Symbol]

    Permalink
    Definition Classes
    Type

  117. def stat_<:<(that: MetalsGlobal.Type): Boolean

    Permalink
    Definition Classes
    Type

  118. def staticAnnotations: collection.immutable.List[MetalsGlobal.AnnotationInfo]

    Permalink
    Definition Classes
    Annotatable

  119. def subst(from: List[MetalsGlobal.Symbol], to: List[MetalsGlobal.Type]): MetalsGlobal.Type

    Permalink
    Definition Classes
    Type

  120. def substSym(from: List[MetalsGlobal.Symbol], to: List[MetalsGlobal.Symbol]): MetalsGlobal.Type

    Permalink
    Definition Classes
    Type

  121. def substThis(from: MetalsGlobal.Symbol, to: MetalsGlobal.Symbol): MetalsGlobal.Type

    Permalink
    Definition Classes
    Type

  122. def substThis(from: MetalsGlobal.Symbol, to: MetalsGlobal.Type): MetalsGlobal.Type

    Permalink
    Definition Classes
    Type

  123. def substThisAndSym(from: MetalsGlobal.Symbol, to: MetalsGlobal.Type, symsFrom: List[MetalsGlobal.Symbol], symsTo: List[MetalsGlobal.Symbol]): MetalsGlobal.Type

    Permalink
    Definition Classes
    Type

  124. def substituteSymbols(from: List[MetalsGlobal.Symbol], to: List[MetalsGlobal.Symbol]): MetalsGlobal.Type

    Permalink
    Definition Classes
    TypeApiImpl → TypeApi

  125. def substituteTypes(from: List[MetalsGlobal.Symbol], to: List[MetalsGlobal.Type]): MetalsGlobal.Type

    Permalink
    Definition Classes
    TypeApiImpl → TypeApi

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

    Permalink
    Definition Classes
    AnyRef

  127. def takesTypeArgs: Boolean

    Permalink
    Definition Classes
    Type → TypeApi

  128. def termSymbol: MetalsGlobal.Symbol

    Permalink
    Definition Classes
    Type → TypeApi

  129. def termSymbolDirect: MetalsGlobal.Symbol

    Permalink
    Definition Classes
    Type

  130. def throwsAnnotations(): List[MetalsGlobal.Symbol]

    Permalink
    Definition Classes
    Annotatable

  131. def toLongString: String

    Permalink
    Definition Classes
    Type

  132. final def toString(): String

    Permalink
    Definition Classes
    Type → AnyRef → Any

  133. def trimPrefix(str: String): String

    Permalink
    Definition Classes
    Type

  134. def typeArgs: List[MetalsGlobal.Type]

    Permalink
    Definition Classes
    Type → TypeApi

  135. def typeArguments: List[MetalsGlobal.Type]

    Permalink
    Definition Classes
    TypeApiImpl

  136. def typeConstructor: MetalsGlobal.Type

    Permalink
    Definition Classes
    Type → TypeApi

  137. def typeOfThis: MetalsGlobal.Type

    Permalink
    Definition Classes
    Type

  138. def typeParams: List[MetalsGlobal.Symbol]

    Permalink
    Definition Classes
    Type → TypeApi

  139. def typeSymbol: MetalsGlobal.Symbol

    Permalink
    Definition Classes
    Type → TypeApi

  140. def typeSymbolDirect: MetalsGlobal.Symbol

    Permalink
    Definition Classes
    Type

  141. def underlying: MetalsGlobal.Type

    Permalink
    Definition Classes
    Type

  142. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  145. def weak_<:<(that: MetalsGlobal.Type): Boolean

    Permalink
    Definition Classes
    Type → TypeApi

  146. def widen: MetalsGlobal.Type

    Permalink
    Definition Classes
    Type → TypeApi

  147. final def withAnnotation(annot: MetalsGlobal.AnnotationInfo): MetalsGlobal.Type

    Permalink
    Definition Classes
    Annotatable

  148. def withAnnotations(annots: List[MetalsGlobal.AnnotationInfo]): MetalsGlobal.Type

    Permalink
    Definition Classes
    Type → Annotatable

  149. def withFilter(p: (MetalsGlobal.Type) ⇒ Boolean): FilterMapForeach

    Permalink
    Definition Classes
    Type

  150. def withoutAnnotations: MetalsGlobal.Type

    Permalink
    Definition Classes
    Type → Annotatable

Inherited from MetalsGlobal.Type

Inherited from MetalsGlobal.Annotatable[MetalsGlobal.Type]

Inherited from MetalsGlobal.TypeApiImpl

Inherited from MetalsGlobal.TypeApi

Inherited from AnyRef

Inherited from Any

Ungrouped