Scala Compiler2.13.9 < Back


# Packages

-  package root

  The Scala compiler and reflection APIs.

  The Scala compiler and reflection APIs.

  Definition Classes
    root
-  package scala
  Definition Classes
    root
-  package tools
  Definition Classes
    scala
-  package nsc
  Definition Classes
    tools
-  package tasty
  Definition Classes
    nsc
-  package bridge
  Definition Classes
    tasty
-  trait TypeOps extends AnyRef

  This layer adds factories that construct `scala.reflect` Types in the shapes that TASTy expects.

  This layer adds factories that construct `scala.reflect` Types in the shapes that TASTy expects. Additionally provides operations to select a type from a type, or a type from a type with an additional prefix, using a `TastyName`.

  Definition Classes
    bridge
- AndTpe
- BaseTastyCompleter
- ContextFunctionType
- ErasedContextFunctionType
- ErasedFunctionType
- FunctionXXLType
- HKTypeLambda
- LambdaFactory
- LambdaPolyType
- MethodTermLambda
- PolyTypeLambda
- TastyCompleter
- TastyRepr
- TermLambdaFactory
- TypeLambdaFactory
- defn

o

scala.tools.nsc.tasty.bridge.TypeOps

# AndTpe

###

#### 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