Scala Compiler2.13.17 < 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

c

scala.tools.nsc.tasty.bridge.TypeOps

# LambdaPolyType

###
Companion object LambdaPolyType

#### final class LambdaPolyType extends TastyCore.SymbolTable.PolyType

Source
  TypeOps.scala

Linear Supertypes
TastyCore.SymbolTable.PolyType, java.io.Serializable, Product, Equals, TastyCore.SymbolTable.PolyTypeApi, TastyCore.SymbolTable.Type, TastyCore.SymbolTable.Annotatable[TastyCore.SymbolTable.Type], TastyCore.SymbolTable.TypeApiImpl, TastyCore.SymbolTable.TypeApi, AnyRef, Any
Type Hierarchy

Ordering

1. Alphabetic
2. By Inheritance

Inherited

1. LambdaPolyType
2. PolyType
3. Serializable
4. Product
5. Equals
6. PolyTypeApi
7. Type
8. Annotatable
9. TypeApiImpl
10. TypeApi
11. AnyRef
12. Any

Implicitly

1. by SafeEq
2. by any2stringadd
3. by StringFormat
4. by Ensuring
5. by ArrowAssoc

1. Hide All
2. Show All

Visibility

1. Public
2. Protected

### Instance Constructors

1.  new LambdaPolyType(typeParams: List[TastyUniverse.Symbol], resType: TastyUniverse.Type)

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

### Deprecated Value Members

1.  def formatted(fmtstr: String): String
   Implicit
     This member is added by an implicit conversion from TastyUniverse.LambdaPolyType toStringFormat[TastyUniverse.LambdaPolyType] 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): (TastyUniverse.LambdaPolyType, B)
   Implicit
     This member is added by an implicit conversion from TastyUniverse.LambdaPolyType toArrowAssoc[TastyUniverse.LambdaPolyType] 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 TastyCore.SymbolTable.PolyType

### Inherited from java.io.Serializable

### Inherited from Product

### Inherited from Equals

### Inherited from TastyCore.SymbolTable.PolyTypeApi

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

### Inherited by implicit conversion SafeEq fromTastyUniverse.LambdaPolyType to SafeEq[TastyUniverse.LambdaPolyType]

### Inherited by implicit conversion any2stringadd fromTastyUniverse.LambdaPolyType to any2stringadd[TastyUniverse.LambdaPolyType]

### Inherited by implicit conversion StringFormat fromTastyUniverse.LambdaPolyType to StringFormat[TastyUniverse.LambdaPolyType]

### Inherited by implicit conversion Ensuring fromTastyUniverse.LambdaPolyType to Ensuring[TastyUniverse.LambdaPolyType]

### Inherited by implicit conversion ArrowAssoc fromTastyUniverse.LambdaPolyType to ArrowAssoc[TastyUniverse.LambdaPolyType]

### Ungrouped