Packages

case object AndTpe extends TastyUniverse.Type with Product with Serializable

A synthetic type scala.& which accepts two type arguments, representing an intersection type

Source
TypeOps.scala
See also

https://github.com/lampepfl/dotty/issues/7688

Linear Supertypes
java.io.Serializable, Product, Equals, TastyCore.SymbolTable.Type, TastyCore.SymbolTable.Annotatable[TastyCore.SymbolTable.Type], TastyCore.SymbolTable.TypeApiImpl, TastyCore.SymbolTable.TypeApi, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. AndTpe
  2. Serializable
  3. Product
  4. Equals
  5. Type
  6. Annotatable
  7. TypeApiImpl
  8. TypeApi
  9. AnyRef
  10. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

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

Inherited from java.io.Serializable

Inherited from Product

Inherited from Equals

Inherited from TastyCore.SymbolTable.Type

Inherited from TastyCore.SymbolTable.Annotatable[TastyCore.SymbolTable.Type]

Inherited from TastyCore.SymbolTable.TypeApiImpl

Inherited from TastyCore.SymbolTable.TypeApi

Inherited from AnyRef

Inherited from Any

Ungrouped