Packages

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.

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. PrettyType
  2. Type
  3. Annotatable
  4. TypeApiImpl
  5. TypeApi
  6. AnyRef
  7. Any
Implicitly
  1. by XtensionTokenizeInputLike
  2. by XtensionStructure
  3. by XtensionSyntax
  4. by XtensionShow
  5. by XtensionParseInputLike
  6. by XtensionClassifiable
  7. by any2stringadd
  8. by StringFormat
  9. by Ensuring
  10. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

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

Type Members

  1. class FilterMapForeach extends reflect.internal.SymbolTable.FilterTypeCollector
    Definition Classes
    Type

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 PrettyType toany2stringadd[PrettyType] performed by method any2stringadd in scala.Predef.
    Definition Classes
    any2stringadd
  4. def ->[B](y: B): (PrettyType, B)
    Implicit
    This member is added by an implicit conversion from PrettyType toArrowAssoc[PrettyType] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc
    Annotations
    @inline()
  5. def <:<(that: ScalafixGlobal.Type): Boolean
    Definition Classes
    Type → TypeApi
  6. def =:=(that: ScalafixGlobal.Type): Boolean
    Definition Classes
    Type → TypeApi
  7. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  8. def addThrowsAnnotation(throwableSym: ScalafixGlobal.Symbol): ScalafixGlobal.Type
    Definition Classes
    Annotatable
  9. def annotations: List[ScalafixGlobal.AnnotationInfo]
    Definition Classes
    Type → Annotatable
  10. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  11. def asSeenFrom(pre: ScalafixGlobal.Type, clazz: ScalafixGlobal.Symbol): ScalafixGlobal.Type
    Definition Classes
    Type → TypeApi
  12. def atOwner(owner: ScalafixGlobal.Symbol): ScalafixGlobal.Type
    Definition Classes
    Type
  13. def baseClasses: List[ScalafixGlobal.Symbol]
    Definition Classes
    Type → TypeApi
  14. def baseType(clazz: ScalafixGlobal.Symbol): ScalafixGlobal.Type
    Definition Classes
    Type → TypeApi
  15. def baseTypeIndex(sym: ScalafixGlobal.Symbol): Int
    Definition Classes
    Type
  16. def baseTypeSeq: ScalafixGlobal.BaseTypeSeq
    Definition Classes
    Type
  17. def baseTypeSeqDepth: Depth
    Definition Classes
    Type
  18. def betaReduce: ScalafixGlobal.Type
    Definition Classes
    Type
  19. def bounds: ScalafixGlobal.TypeBounds
    Definition Classes
    Type
  20. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native()
  21. def cloneInfo(owner: ScalafixGlobal.Symbol): ScalafixGlobal.Type
    Definition Classes
    Type
  22. def collect[T](pf: PartialFunction[ScalafixGlobal.Type, T]): List[T]
    Definition Classes
    Type
  23. def companion: ScalafixGlobal.Type
    Definition Classes
    TypeApiImpl → TypeApi
  24. def complete(sym: ScalafixGlobal.Symbol): Unit
    Definition Classes
    Type
  25. def computeMemberType(sym: ScalafixGlobal.Symbol): ScalafixGlobal.Type
    Definition Classes
    Type
  26. def contains(sym: ScalafixGlobal.Symbol): Boolean
    Definition Classes
    Type → TypeApi
  27. def dealias: ScalafixGlobal.Type
    Definition Classes
    Type → TypeApi
  28. final def dealiasWiden: ScalafixGlobal.Type
    Definition Classes
    Type
    Annotations
    @tailrec()
  29. def dealiasWidenChain: List[ScalafixGlobal.Type]
    Definition Classes
    Type
  30. def decl(name: ScalafixGlobal.Name): ScalafixGlobal.Symbol
    Definition Classes
    Type → TypeApi
  31. def declaration(name: ScalafixGlobal.Name): ScalafixGlobal.Symbol
    Definition Classes
    TypeApiImpl → TypeApi
  32. def declarations: ScalafixGlobal.Scope
    Definition Classes
    TypeApiImpl → TypeApi
  33. def decls: ScalafixGlobal.Scope
    Definition Classes
    Type → TypeApi
  34. def deconst: ScalafixGlobal.Type
    Definition Classes
    Type
  35. def deferredMembers: ScalafixGlobal.Scope
    Definition Classes
    Type
  36. def directObjectString: String
    Definition Classes
    Type
  37. def dummyArgs: List[ScalafixGlobal.Type]
    Attributes
    protected
    Definition Classes
    Type
  38. def ensuring(cond: (PrettyType) => Boolean, msg: => Any): PrettyType
    Implicit
    This member is added by an implicit conversion from PrettyType toEnsuring[PrettyType] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  39. def ensuring(cond: (PrettyType) => Boolean): PrettyType
    Implicit
    This member is added by an implicit conversion from PrettyType toEnsuring[PrettyType] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  40. def ensuring(cond: Boolean, msg: => Any): PrettyType
    Implicit
    This member is added by an implicit conversion from PrettyType toEnsuring[PrettyType] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  41. def ensuring(cond: Boolean): PrettyType
    Implicit
    This member is added by an implicit conversion from PrettyType toEnsuring[PrettyType] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  42. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  43. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  44. def erasure: ScalafixGlobal.Type
    Definition Classes
    TypeApiImpl → TypeApi
  45. def etaExpand: ScalafixGlobal.Type
    Definition Classes
    Type → TypeApi
  46. def exists(p: (ScalafixGlobal.Type) => Boolean): Boolean
    Definition Classes
    Type → TypeApi
  47. def filterAnnotations(p: (ScalafixGlobal.AnnotationInfo) => Boolean): ScalafixGlobal.Type
    Definition Classes
    Type → Annotatable
  48. final def finalResultType: ScalafixGlobal.Type
    Definition Classes
    Type → TypeApi
  49. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  50. def find(p: (ScalafixGlobal.Type) => Boolean): Option[ScalafixGlobal.Type]
    Definition Classes
    Type → TypeApi
  51. def findMember(name: ScalafixGlobal.Name, excludedFlags: Long, requiredFlags: Long, stableOnly: Boolean): ScalafixGlobal.Symbol
    Definition Classes
    Type
  52. def findMembers(excludedFlags: Long, requiredFlags: Long): ScalafixGlobal.Scope
    Definition Classes
    Type
  53. def firstParent: ScalafixGlobal.Type
    Definition Classes
    Type
  54. def foldOver(folder: ScalafixGlobal.TypeFolder): Unit
    Definition Classes
    Type
  55. def forceDirectSuperclasses(): Unit
    Definition Classes
    Type
  56. def foreach(f: (ScalafixGlobal.Type) => Unit): Unit
    Definition Classes
    Type → TypeApi
  57. def getAnnotation(cls: ScalafixGlobal.Symbol): Option[ScalafixGlobal.AnnotationInfo]
    Definition Classes
    Annotatable
  58. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  59. def hasAnnotation(cls: ScalafixGlobal.Symbol): Boolean
    Definition Classes
    Annotatable
  60. def hasNonPrivateMember(name: ScalafixGlobal.Name): Boolean
    Definition Classes
    Type
  61. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  62. def implicitMembers: ScalafixGlobal.Scope
    Definition Classes
    Type
  63. def instantiateTypeParams(formals: List[ScalafixGlobal.Symbol], actuals: List[ScalafixGlobal.Type]): ScalafixGlobal.Type
    Definition Classes
    Type
  64. def is[U](implicit classifier: Classifier[PrettyType, U]): Boolean
    Implicit
    This member is added by an implicit conversion from PrettyType tometa.XtensionClassifiable[PrettyType] performed by method XtensionClassifiable in scala.meta.classifiers.Api.This conversion will take place only if an implicit value of type Classifiable[PrettyType] is in scope.
    Definition Classes
    XtensionClassifiable
  65. final def isAny: Boolean
    Definition Classes
    Type
  66. def isComplete: Boolean
    Definition Classes
    Type
  67. def isDependentMethodType: Boolean
    Definition Classes
    Type
  68. def isErroneous: Boolean
    Definition Classes
    Type
  69. def isError: Boolean
    Definition Classes
    Type
  70. def isFinalType: Boolean
    Definition Classes
    Type
  71. def isGround: Boolean
    Definition Classes
    Type
  72. def isHigherKinded: Boolean
    Definition Classes
    Type
  73. def isImmediatelyDependent: Boolean
    Definition Classes
    Type
  74. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  75. def isNot[U](implicit classifier: Classifier[PrettyType, U]): Boolean
    Implicit
    This member is added by an implicit conversion from PrettyType tometa.XtensionClassifiable[PrettyType] performed by method XtensionClassifiable in scala.meta.classifiers.Api.This conversion will take place only if an implicit value of type Classifiable[PrettyType] is in scope.
    Definition Classes
    XtensionClassifiable
  76. final def isNothing: Boolean
    Definition Classes
    Type
  77. def isShowAsInfixType: Boolean
    Definition Classes
    Type
  78. def isSpliceable: Boolean
    Definition Classes
    TypeApiImpl
  79. final def isStable: Boolean
    Definition Classes
    Type
  80. def isStructuralRefinement: Boolean
    Definition Classes
    Type
  81. def isTrivial: Boolean
    Definition Classes
    Type
  82. final def isVolatile: Boolean
    Definition Classes
    Type
  83. def isWildcard: Boolean
    Definition Classes
    Type
  84. def kind: String
    Definition Classes
    Type
  85. def load(sym: ScalafixGlobal.Symbol): Unit
    Definition Classes
    Type
  86. def looselyMatches(that: ScalafixGlobal.Type): Boolean
    Definition Classes
    Type
  87. def lowerBound: ScalafixGlobal.Type
    Definition Classes
    Type
  88. def map(f: (ScalafixGlobal.Type) => ScalafixGlobal.Type): ScalafixGlobal.Type
    Definition Classes
    Type → TypeApi
  89. def mapOver(map: ScalafixGlobal.TypeMap): ScalafixGlobal.Type
    Definition Classes
    Type
  90. def matches(that: ScalafixGlobal.Type): Boolean
    Definition Classes
    Type
  91. def matchesPattern(that: ScalafixGlobal.Type): Boolean
    Definition Classes
    Type
  92. def member(name: ScalafixGlobal.Name): ScalafixGlobal.Symbol
    Definition Classes
    Type → TypeApi
  93. def memberBasedOnName(name: ScalafixGlobal.Name, excludedFlags: Long): ScalafixGlobal.Symbol
    Definition Classes
    Type
  94. def memberInfo(sym: ScalafixGlobal.Symbol): ScalafixGlobal.Type
    Definition Classes
    Type
  95. def memberType(sym: ScalafixGlobal.Symbol): ScalafixGlobal.Type
    Definition Classes
    Type
  96. def members: ScalafixGlobal.Scope
    Definition Classes
    Type → TypeApi
  97. def membersBasedOnFlags(excludedFlags: Long, requiredFlags: Long): ScalafixGlobal.Scope
    Definition Classes
    Type
  98. def nameAndArgsString: String
    Definition Classes
    Type
  99. def narrow: ScalafixGlobal.Type
    Definition Classes
    Type
  100. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  101. def nonLocalMember(name: ScalafixGlobal.Name): ScalafixGlobal.Symbol
    Definition Classes
    Type
  102. def nonPrivateDecl(name: ScalafixGlobal.Name): ScalafixGlobal.Symbol
    Definition Classes
    Type
  103. def nonPrivateDecls: List[ScalafixGlobal.Symbol]
    Definition Classes
    Type
  104. def nonPrivateMember(name: ScalafixGlobal.Name): ScalafixGlobal.Symbol
    Definition Classes
    Type
  105. def nonPrivateMemberAdmitting(name: ScalafixGlobal.Name, admit: Long): ScalafixGlobal.Symbol
    Definition Classes
    Type
  106. def nonPrivateMembers: ScalafixGlobal.Scope
    Definition Classes
    Type
  107. def nonPrivateMembersAdmitting(admit: Long): ScalafixGlobal.Scope
    Definition Classes
    Type
  108. def normalize: ScalafixGlobal.Type
    Definition Classes
    Type → TypeApi
  109. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  110. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  111. def objectPrefix: String
    Attributes
    protected
    Definition Classes
    Type
  112. final def orElse(alt: => ScalafixGlobal.Type): ScalafixGlobal.Type
    Definition Classes
    Type → TypeApi
    Annotations
    @inline()
  113. def packageObject: ScalafixGlobal.Symbol
    Definition Classes
    Type
  114. def packagePrefix: String
    Attributes
    protected
    Definition Classes
    Type
  115. def paramLists: List[List[ScalafixGlobal.Symbol]]
    Definition Classes
    TypeApiImpl → TypeApi
  116. def paramSectionCount: Int
    Definition Classes
    Type
  117. def paramTypes: List[ScalafixGlobal.Type]
    Definition Classes
    Type
  118. def params: List[ScalafixGlobal.Symbol]
    Definition Classes
    Type
  119. def paramss: List[List[ScalafixGlobal.Symbol]]
    Definition Classes
    Type → TypeApi
  120. def parents: List[ScalafixGlobal.Type]
    Definition Classes
    Type
  121. def parse[U](implicit convert: Convert[PrettyType, inputs.Input], parse: Parse[U], dialect: Dialect): parsers.Parsed[U]
    Implicit
    This member is added by an implicit conversion from PrettyType tometa.XtensionParseInputLike[PrettyType] performed by method XtensionParseInputLike in scala.meta.parsers.Api.
    Definition Classes
    XtensionParseInputLike
  122. def prefix: ScalafixGlobal.Type
    Definition Classes
    Type
  123. def prefixChain: List[ScalafixGlobal.Type]
    Definition Classes
    Type
  124. def prefixDirect: ScalafixGlobal.Type
    Definition Classes
    Type
  125. val prefixString: String
    Definition Classes
    PrettyType → Type
  126. def removeAnnotation(cls: ScalafixGlobal.Symbol): ScalafixGlobal.Type
    Definition Classes
    Annotatable
  127. def resultApprox: ScalafixGlobal.Type
    Definition Classes
    Type
  128. def resultType(actuals: List[ScalafixGlobal.Type]): ScalafixGlobal.Type
    Definition Classes
    Type
  129. def resultType: ScalafixGlobal.Type
    Definition Classes
    Type → TypeApi
  130. val safeToString: String
    Definition Classes
    PrettyType → Type
  131. def setAnnotations(annots: List[ScalafixGlobal.AnnotationInfo]): ScalafixGlobal.Type
    Definition Classes
    Type → Annotatable
  132. def show[Style[X] <: Show[X]](implicit style: Style[PrettyType]): String
    Implicit
    This member is added by an implicit conversion from PrettyType tometa.XtensionShow[PrettyType] performed by method XtensionShow in scala.meta.prettyprinters.Api.
    Definition Classes
    XtensionShow
  133. def skolemizeExistential: ScalafixGlobal.Type
    Definition Classes
    Type
  134. def skolemizeExistential(owner: ScalafixGlobal.Symbol, origin: AnyRef): ScalafixGlobal.Type
    Definition Classes
    Type
  135. def skolemsExceptMethodTypeParams: List[ScalafixGlobal.Symbol]
    Definition Classes
    Type
  136. def stat_<:<(that: ScalafixGlobal.Type): Boolean
    Definition Classes
    Type
  137. def staticAnnotations: collection.immutable.List[ScalafixGlobal.AnnotationInfo]
    Definition Classes
    Annotatable
  138. def structure: String
    Implicit
    This member is added by an implicit conversion from PrettyType tometa.XtensionStructure[PrettyType] performed by method XtensionStructure in scala.meta.prettyprinters.Api.This conversion will take place only if an implicit value of type prettyprinters.Structure[PrettyType] is in scope.
    Definition Classes
    XtensionStructure
  139. def subst(from: List[ScalafixGlobal.Symbol], to: List[ScalafixGlobal.Type]): ScalafixGlobal.Type
    Definition Classes
    Type
  140. def substSym(from: List[ScalafixGlobal.Symbol], to: List[ScalafixGlobal.Symbol]): ScalafixGlobal.Type
    Definition Classes
    Type
  141. def substThis(from: ScalafixGlobal.Symbol, to: ScalafixGlobal.Symbol): ScalafixGlobal.Type
    Definition Classes
    Type
  142. def substThis(from: ScalafixGlobal.Symbol, to: ScalafixGlobal.Type): ScalafixGlobal.Type
    Definition Classes
    Type
  143. def substThisAndSym(from: ScalafixGlobal.Symbol, to: ScalafixGlobal.Type, symsFrom: List[ScalafixGlobal.Symbol], symsTo: List[ScalafixGlobal.Symbol]): ScalafixGlobal.Type
    Definition Classes
    Type
  144. def substituteSymbols(from: List[ScalafixGlobal.Symbol], to: List[ScalafixGlobal.Symbol]): ScalafixGlobal.Type
    Definition Classes
    TypeApiImpl → TypeApi
  145. def substituteTypes(from: List[ScalafixGlobal.Symbol], to: List[ScalafixGlobal.Type]): ScalafixGlobal.Type
    Definition Classes
    TypeApiImpl → TypeApi
  146. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  147. def syntax: String
    Implicit
    This member is added by an implicit conversion from PrettyType tometa.XtensionSyntax[PrettyType] performed by method XtensionSyntax in scala.meta.prettyprinters.Api.This conversion will take place only if an implicit value of type prettyprinters.Syntax[PrettyType] is in scope.
    Definition Classes
    XtensionSyntax
  148. def takesTypeArgs: Boolean
    Definition Classes
    Type → TypeApi
  149. def termSymbol: ScalafixGlobal.Symbol
    Definition Classes
    Type → TypeApi
  150. def termSymbolDirect: ScalafixGlobal.Symbol
    Definition Classes
    Type
  151. def toLongString: String
    Definition Classes
    Type
  152. final def toString(): String
    Definition Classes
    Type → AnyRef → Any
  153. def tokenize(implicit convert: Convert[PrettyType, inputs.Input], tokenize: Tokenize, dialect: Dialect): tokenizers.Tokenized
    Implicit
    This member is added by an implicit conversion from PrettyType tometa.XtensionTokenizeInputLike[PrettyType] performed by method XtensionTokenizeInputLike in scala.meta.tokenizers.Api.
    Definition Classes
    XtensionTokenizeInputLike
  154. def trimPrefix(str: String): String
    Definition Classes
    Type
  155. def typeArgs: List[ScalafixGlobal.Type]
    Definition Classes
    Type → TypeApi
  156. def typeArguments: List[ScalafixGlobal.Type]
    Definition Classes
    TypeApiImpl
  157. def typeConstructor: ScalafixGlobal.Type
    Definition Classes
    Type → TypeApi
  158. def typeOfThis: ScalafixGlobal.Type
    Definition Classes
    Type
  159. def typeParams: List[ScalafixGlobal.Symbol]
    Definition Classes
    Type → TypeApi
  160. def typeSymbol: ScalafixGlobal.Symbol
    Definition Classes
    Type → TypeApi
  161. def typeSymbolDirect: ScalafixGlobal.Symbol
    Definition Classes
    Type
  162. def underlying: ScalafixGlobal.Type
    Definition Classes
    Type
  163. def upperBound: ScalafixGlobal.Type
    Definition Classes
    Type
  164. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  165. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  166. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  167. def weak_<:<(that: ScalafixGlobal.Type): Boolean
    Definition Classes
    Type → TypeApi
  168. def widen: ScalafixGlobal.Type
    Definition Classes
    Type → TypeApi
  169. def withAnnotation(anno: ScalafixGlobal.AnnotationInfo): ScalafixGlobal.Type
    Definition Classes
    Type → Annotatable
  170. def withAnnotations(annots: List[ScalafixGlobal.AnnotationInfo]): ScalafixGlobal.Type
    Definition Classes
    Type → Annotatable
  171. def withFilter(p: (ScalafixGlobal.Type) => Boolean): FilterMapForeach
    Definition Classes
    Type
  172. def withoutAnnotations: ScalafixGlobal.Type
    Definition Classes
    Type → Annotatable

Deprecated Value Members

  1. def formatted(fmtstr: String): String
    Implicit
    This member is added by an implicit conversion from PrettyType toStringFormat[PrettyType] 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.

  2. def [B](y: B): (PrettyType, B)
    Implicit
    This member is added by an implicit conversion from PrettyType toArrowAssoc[PrettyType] 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 ScalafixGlobal.Type

Inherited from ScalafixGlobal.TypeApi

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion XtensionTokenizeInputLike fromPrettyType to meta.XtensionTokenizeInputLike[PrettyType]

Inherited by implicit conversion XtensionStructure fromPrettyType to meta.XtensionStructure[PrettyType]

Inherited by implicit conversion XtensionSyntax fromPrettyType to meta.XtensionSyntax[PrettyType]

Inherited by implicit conversion XtensionShow fromPrettyType to meta.XtensionShow[PrettyType]

Inherited by implicit conversion XtensionParseInputLike fromPrettyType to meta.XtensionParseInputLike[PrettyType]

Inherited by implicit conversion XtensionClassifiable fromPrettyType to meta.XtensionClassifiable[PrettyType]

Inherited by implicit conversion any2stringadd fromPrettyType to any2stringadd[PrettyType]

Inherited by implicit conversion StringFormat fromPrettyType to StringFormat[PrettyType]

Inherited by implicit conversion Ensuring fromPrettyType to Ensuring[PrettyType]

Inherited by implicit conversion ArrowAssoc fromPrettyType to ArrowAssoc[PrettyType]

Ungrouped