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
Ordering
- Alphabetic
- By Inheritance
Inherited
- AndTpe
- Serializable
- Product
- Equals
- Type
- Annotatable
- TypeApiImpl
- TypeApi
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Type Members
- class FilterMapForeach extends reflect.internal.SymbolTable.FilterTypeCollector
- Definition Classes
- Type
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- def <:<(that: TastyCore.SymbolTable.Type): Boolean
- Definition Classes
- Type → TypeApi
- def =:=(that: TastyCore.SymbolTable.Type): Boolean
- Definition Classes
- Type → TypeApi
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- def addThrowsAnnotation(throwableSym: TastyCore.SymbolTable.Symbol): TastyCore.SymbolTable.Type
- Definition Classes
- Annotatable
- def annotations: List[TastyCore.SymbolTable.AnnotationInfo]
- Definition Classes
- Type → Annotatable
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def asSeenFrom(pre: TastyCore.SymbolTable.Type, clazz: TastyCore.SymbolTable.Symbol): TastyCore.SymbolTable.Type
- Definition Classes
- Type → TypeApi
- def atOwner(owner: TastyCore.SymbolTable.Symbol): TastyCore.SymbolTable.Type
- Definition Classes
- Type
- def baseClasses: List[TastyCore.SymbolTable.Symbol]
- Definition Classes
- Type → TypeApi
- def baseType(clazz: TastyCore.SymbolTable.Symbol): TastyCore.SymbolTable.Type
- Definition Classes
- Type → TypeApi
- def baseTypeIndex(sym: TastyCore.SymbolTable.Symbol): Int
- Definition Classes
- Type
- def baseTypeSeq: TastyCore.SymbolTable.BaseTypeSeq
- Definition Classes
- Type
- def baseTypeSeqDepth: Depth
- Definition Classes
- Type
- def betaReduce: TastyCore.SymbolTable.Type
- Definition Classes
- Type
- def bounds: TastyCore.SymbolTable.TypeBounds
- Definition Classes
- Type
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- def cloneInfo(owner: TastyCore.SymbolTable.Symbol): TastyCore.SymbolTable.Type
- Definition Classes
- Type
- def collect[T](pf: PartialFunction[TastyCore.SymbolTable.Type, T]): List[T]
- Definition Classes
- Type
- def companion: TastyCore.SymbolTable.Type
- Definition Classes
- TypeApiImpl → TypeApi
- def complete(sym: TastyCore.SymbolTable.Symbol): Unit
- Definition Classes
- Type
- def computeMemberType(sym: TastyCore.SymbolTable.Symbol): TastyCore.SymbolTable.Type
- Definition Classes
- Type
- def contains(sym: TastyCore.SymbolTable.Symbol): Boolean
- Definition Classes
- Type → TypeApi
- def dealias: TastyCore.SymbolTable.Type
- Definition Classes
- Type → TypeApi
- final def dealiasWiden: TastyCore.SymbolTable.Type
- Definition Classes
- Type
- Annotations
- @tailrec()
- def dealiasWidenChain: List[TastyCore.SymbolTable.Type]
- Definition Classes
- Type
- def decl(name: TastyCore.SymbolTable.Name): TastyCore.SymbolTable.Symbol
- Definition Classes
- Type → TypeApi
- def declaration(name: TastyCore.SymbolTable.Name): TastyCore.SymbolTable.Symbol
- Definition Classes
- TypeApiImpl → TypeApi
- def declarations: TastyCore.SymbolTable.Scope
- Definition Classes
- TypeApiImpl → TypeApi
- def decls: TastyCore.SymbolTable.Scope
- Definition Classes
- Type → TypeApi
- def deconst: TastyCore.SymbolTable.Type
- Definition Classes
- Type
- def deferredMembers: TastyCore.SymbolTable.Scope
- Definition Classes
- Type
- def directObjectString: String
- Definition Classes
- Type
- def dummyArgs: List[TastyCore.SymbolTable.Type]
- Attributes
- protected
- Definition Classes
- Type
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def erasure: TastyCore.SymbolTable.Type
- Definition Classes
- TypeApiImpl → TypeApi
- def etaExpand: TastyCore.SymbolTable.Type
- Definition Classes
- Type → TypeApi
- def exists(p: (TastyCore.SymbolTable.Type) => Boolean): Boolean
- Definition Classes
- Type → TypeApi
- def filterAnnotations(p: (TastyCore.SymbolTable.AnnotationInfo) => Boolean): TastyCore.SymbolTable.Type
- Definition Classes
- Type → Annotatable
- final def finalResultType: TastyCore.SymbolTable.Type
- Definition Classes
- Type → TypeApi
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- def find(p: (TastyCore.SymbolTable.Type) => Boolean): Option[TastyCore.SymbolTable.Type]
- Definition Classes
- Type → TypeApi
- def findMember(name: TastyCore.SymbolTable.Name, excludedFlags: Long, requiredFlags: Long, stableOnly: Boolean): TastyCore.SymbolTable.Symbol
- Definition Classes
- Type
- def findMembers(excludedFlags: Long, requiredFlags: Long): TastyCore.SymbolTable.Scope
- Definition Classes
- Type
- def firstParent: TastyCore.SymbolTable.Type
- Definition Classes
- Type
- def foldOver(folder: TastyCore.SymbolTable.TypeFolder): Unit
- Definition Classes
- Type
- def forceDirectSuperclasses(): Unit
- Definition Classes
- Type
- def foreach(f: (TastyCore.SymbolTable.Type) => Unit): Unit
- Definition Classes
- Type → TypeApi
- def getAnnotation(cls: TastyCore.SymbolTable.Symbol): Option[TastyCore.SymbolTable.AnnotationInfo]
- Definition Classes
- Annotatable
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hasAnnotation(cls: TastyCore.SymbolTable.Symbol): Boolean
- Definition Classes
- Annotatable
- def hasNonPrivateMember(name: TastyCore.SymbolTable.Name): Boolean
- Definition Classes
- Type
- def implicitMembers: TastyCore.SymbolTable.Scope
- Definition Classes
- Type
- def instantiateTypeParams(formals: List[TastyCore.SymbolTable.Symbol], actuals: List[TastyCore.SymbolTable.Type]): TastyCore.SymbolTable.Type
- Definition Classes
- Type
- final def isAny: Boolean
- Definition Classes
- Type
- def isComplete: Boolean
- Definition Classes
- Type
- def isDependentMethodType: Boolean
- Definition Classes
- Type
- def isErroneous: Boolean
- Definition Classes
- Type
- def isError: Boolean
- Definition Classes
- Type
- def isFinalType: Boolean
- Definition Classes
- Type
- def isGround: Boolean
- Definition Classes
- Type
- def isHigherKinded: Boolean
- Definition Classes
- Type
- def isImmediatelyDependent: Boolean
- Definition Classes
- Type
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- final def isNothing: Boolean
- Definition Classes
- Type
- def isShowAsInfixType: Boolean
- Definition Classes
- Type
- def isSpliceable: Boolean
- Definition Classes
- TypeApiImpl
- final def isStable: Boolean
- Definition Classes
- Type
- def isStructuralRefinement: Boolean
- Definition Classes
- Type
- def isTrivial: Boolean
- Definition Classes
- Type
- final def isVolatile: Boolean
- Definition Classes
- Type
- def isWildcard: Boolean
- Definition Classes
- Type
- def kind: String
- Definition Classes
- Type
- def load(sym: TastyCore.SymbolTable.Symbol): Unit
- Definition Classes
- Type
- def looselyMatches(that: TastyCore.SymbolTable.Type): Boolean
- Definition Classes
- Type
- def lowerBound: TastyCore.SymbolTable.Type
- Definition Classes
- Type
- def map(f: (TastyCore.SymbolTable.Type) => TastyCore.SymbolTable.Type): TastyCore.SymbolTable.Type
- Definition Classes
- Type → TypeApi
- def mapOver(map: TastyCore.SymbolTable.TypeMap): TastyCore.SymbolTable.Type
- Definition Classes
- Type
- def matches(that: TastyCore.SymbolTable.Type): Boolean
- Definition Classes
- Type
- def matchesPattern(that: TastyCore.SymbolTable.Type): Boolean
- Definition Classes
- Type
- def member(name: TastyCore.SymbolTable.Name): TastyCore.SymbolTable.Symbol
- Definition Classes
- Type → TypeApi
- def memberBasedOnName(name: TastyCore.SymbolTable.Name, excludedFlags: Long): TastyCore.SymbolTable.Symbol
- Definition Classes
- Type
- def memberInfo(sym: TastyCore.SymbolTable.Symbol): TastyCore.SymbolTable.Type
- Definition Classes
- Type
- def memberType(sym: TastyCore.SymbolTable.Symbol): TastyCore.SymbolTable.Type
- Definition Classes
- Type
- def members: TastyCore.SymbolTable.Scope
- Definition Classes
- Type → TypeApi
- def membersBasedOnFlags(excludedFlags: Long, requiredFlags: Long): TastyCore.SymbolTable.Scope
- Definition Classes
- Type
- def nameAndArgsString: String
- Definition Classes
- Type
- def narrow: TastyCore.SymbolTable.Type
- Definition Classes
- Type
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def nonLocalMember(name: TastyCore.SymbolTable.Name): TastyCore.SymbolTable.Symbol
- Definition Classes
- Type
- def nonPrivateDecl(name: TastyCore.SymbolTable.Name): TastyCore.SymbolTable.Symbol
- Definition Classes
- Type
- def nonPrivateDecls: List[TastyCore.SymbolTable.Symbol]
- Definition Classes
- Type
- def nonPrivateMember(name: TastyCore.SymbolTable.Name): TastyCore.SymbolTable.Symbol
- Definition Classes
- Type
- def nonPrivateMemberAdmitting(name: TastyCore.SymbolTable.Name, admit: Long): TastyCore.SymbolTable.Symbol
- Definition Classes
- Type
- def nonPrivateMembers: TastyCore.SymbolTable.Scope
- Definition Classes
- Type
- def nonPrivateMembersAdmitting(admit: Long): TastyCore.SymbolTable.Scope
- Definition Classes
- Type
- def normalize: TastyCore.SymbolTable.Type
- Definition Classes
- Type → TypeApi
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- def objectPrefix: String
- Attributes
- protected
- Definition Classes
- Type
- final def orElse(alt: => TastyCore.SymbolTable.Type): TastyCore.SymbolTable.Type
- Definition Classes
- Type → TypeApi
- Annotations
- @inline()
- def packageObject: TastyCore.SymbolTable.Symbol
- Definition Classes
- Type
- def packagePrefix: String
- Attributes
- protected
- Definition Classes
- Type
- def paramLists: List[List[TastyCore.SymbolTable.Symbol]]
- Definition Classes
- TypeApiImpl → TypeApi
- def paramSectionCount: Int
- Definition Classes
- Type
- def paramTypes: List[TastyCore.SymbolTable.Type]
- Definition Classes
- Type
- def params: List[TastyCore.SymbolTable.Symbol]
- Definition Classes
- Type
- def paramss: List[List[TastyCore.SymbolTable.Symbol]]
- Definition Classes
- Type → TypeApi
- def parents: List[TastyCore.SymbolTable.Type]
- Definition Classes
- Type
- def prefix: TastyCore.SymbolTable.Type
- Definition Classes
- Type
- def prefixChain: List[TastyCore.SymbolTable.Type]
- Definition Classes
- Type
- def prefixDirect: TastyCore.SymbolTable.Type
- Definition Classes
- Type
- def prefixString: String
- Definition Classes
- Type
- def productElementName(n: Int): String
- Definition Classes
- Product
- def productElementNames: Iterator[String]
- Definition Classes
- Product
- def productIterator: Iterator[Any]
- Definition Classes
- Product
- def removeAnnotation(cls: TastyCore.SymbolTable.Symbol): TastyCore.SymbolTable.Type
- Definition Classes
- Annotatable
- def resultApprox: TastyCore.SymbolTable.Type
- Definition Classes
- Type
- def resultType(actuals: List[TastyCore.SymbolTable.Type]): TastyCore.SymbolTable.Type
- Definition Classes
- Type
- def resultType: TastyCore.SymbolTable.Type
- Definition Classes
- Type → TypeApi
- def safeToString: String
- Definition Classes
- Type
- def setAnnotations(annots: List[TastyCore.SymbolTable.AnnotationInfo]): TastyCore.SymbolTable.Type
- Definition Classes
- Type → Annotatable
- def skolemizeExistential: TastyCore.SymbolTable.Type
- Definition Classes
- Type
- def skolemizeExistential(owner: TastyCore.SymbolTable.Symbol, origin: AnyRef): TastyCore.SymbolTable.Type
- Definition Classes
- Type
- def skolemsExceptMethodTypeParams: List[TastyCore.SymbolTable.Symbol]
- Definition Classes
- Type
- def stat_<:<(that: TastyCore.SymbolTable.Type): Boolean
- Definition Classes
- Type
- def staticAnnotations: collection.immutable.List[TastyCore.SymbolTable.AnnotationInfo]
- Definition Classes
- Annotatable
- def subst(from: List[TastyCore.SymbolTable.Symbol], to: List[TastyCore.SymbolTable.Type]): TastyCore.SymbolTable.Type
- Definition Classes
- Type
- def substSym(from: List[TastyCore.SymbolTable.Symbol], to: List[TastyCore.SymbolTable.Symbol]): TastyCore.SymbolTable.Type
- Definition Classes
- Type
- def substThis(from: TastyCore.SymbolTable.Symbol, to: TastyCore.SymbolTable.Symbol): TastyCore.SymbolTable.Type
- Definition Classes
- Type
- def substThis(from: TastyCore.SymbolTable.Symbol, to: TastyCore.SymbolTable.Type): TastyCore.SymbolTable.Type
- Definition Classes
- Type
- 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
- def substituteSymbols(from: List[TastyCore.SymbolTable.Symbol], to: List[TastyCore.SymbolTable.Symbol]): TastyCore.SymbolTable.Type
- Definition Classes
- TypeApiImpl → TypeApi
- def substituteTypes(from: List[TastyCore.SymbolTable.Symbol], to: List[TastyCore.SymbolTable.Type]): TastyCore.SymbolTable.Type
- Definition Classes
- TypeApiImpl → TypeApi
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def takesTypeArgs: Boolean
- Definition Classes
- Type → TypeApi
- def termSymbol: TastyCore.SymbolTable.Symbol
- Definition Classes
- Type → TypeApi
- def termSymbolDirect: TastyCore.SymbolTable.Symbol
- Definition Classes
- Type
- def toLongString: String
- Definition Classes
- Type
- final def toString(): String
- Definition Classes
- Type → AnyRef → Any
- def trimPrefix(str: String): String
- Definition Classes
- Type
- def typeArgs: List[TastyCore.SymbolTable.Type]
- Definition Classes
- Type → TypeApi
- def typeArguments: List[TastyCore.SymbolTable.Type]
- Definition Classes
- TypeApiImpl
- def typeConstructor: TastyCore.SymbolTable.Type
- Definition Classes
- Type → TypeApi
- def typeOfThis: TastyCore.SymbolTable.Type
- Definition Classes
- Type
- def typeParams: List[TastyCore.SymbolTable.Symbol]
- Definition Classes
- Type → TypeApi
- def typeSymbol: TastyCore.SymbolTable.Symbol
- Definition Classes
- Type → TypeApi
- def typeSymbolDirect: TastyCore.SymbolTable.Symbol
- Definition Classes
- Type
- def underlying: TastyCore.SymbolTable.Type
- Definition Classes
- Type
- def upperBound: TastyCore.SymbolTable.Type
- Definition Classes
- Type
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- def weak_<:<(that: TastyCore.SymbolTable.Type): Boolean
- Definition Classes
- Type → TypeApi
- def widen: TastyCore.SymbolTable.Type
- Definition Classes
- Type → TypeApi
- def withAnnotation(anno: TastyCore.SymbolTable.AnnotationInfo): TastyCore.SymbolTable.Type
- Definition Classes
- Type → Annotatable
- def withAnnotations(annots: List[TastyCore.SymbolTable.AnnotationInfo]): TastyCore.SymbolTable.Type
- Definition Classes
- Type → Annotatable
- def withFilter(p: (TastyCore.SymbolTable.Type) => Boolean): FilterMapForeach
- Definition Classes
- Type
- def withoutAnnotations: TastyCore.SymbolTable.Type
- Definition Classes
- Type → Annotatable
The Scala compiler and reflection APIs.