scala3-compiler-bootstrapped
API
Generated with
Copyright (c) 2002-2023, LAMP/EPFL
Copyright (c) 2002-2023, LAMP/EPFL
scala3-compiler-bootstrapped/dotty.tools/dotty.tools.dotc/dotty.tools.dotc.core/Types/PolyType

PolyType

dotty.tools.dotc.core.Types.PolyType
See thePolyType companion class
object PolyType extends TypeLambdaCompanion[PolyType]

Attributes

Companion
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
PolyType.type

Members list

Value members

Concrete methods

def apply(paramNames: List[TypeName])(paramInfosExp: PolyType => List[TypeBounds], resultTypeExp: PolyType => Type)(using Context): PolyType

Inherited methods

def apply(paramInfos: List[TypeBounds], resultType: Type)(using Context): LT

Attributes

Inherited from:
LambdaTypeCompanion
def apply(paramInfos: List[TypeBounds])(resultTypeExp: PolyType => Type)(using Context): LT

Attributes

Inherited from:
LambdaTypeCompanion
def apply(paramNames: List[TypeName], paramInfos: List[TypeBounds], resultType: Type)(using Context): LT

Attributes

Inherited from:
LambdaTypeCompanion
def fromParams[PI <: Of[TypeName]](params: List[PI], resultType: Type)(using Context): Type

Attributes

Inherited from:
LambdaTypeCompanion
def syntheticParamName(n: Int): TypeName

Attributes

Inherited from:
TypeLambdaCompanion
def syntheticParamNames(n: Int): List[N]

Attributes

Inherited from:
LambdaTypeCompanion
def toPInfo(tp: Type)(using Context): TypeBounds

Attributes

Inherited from:
TypeLambdaCompanion
Generated with
Copyright (c) 2002-2023, LAMP/EPFL
Copyright (c) 2002-2023, LAMP/EPFL