scala3-compiler-bootstrapped/dotty.tools.dotc.core/Types/PolyType

PolyType

object PolyType extends TypeLambdaCompanion[PolyType]
Companion:
class
class Object
trait Matchable
class Any

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): PolyType
Inherited from:
LambdaTypeCompanion
def apply(paramInfos: List[TypeBounds])(resultTypeExp: PolyType => Type)(using Context): PolyType
Inherited from:
LambdaTypeCompanion
def apply(paramNames: List[TypeName], paramInfos: List[TypeBounds], resultType: Type)(using Context): PolyType
Inherited from:
LambdaTypeCompanion
def fromParams[PI <: Of[TypeName]](params: List[PI], resultType: Type)(using Context): Type
Inherited from:
LambdaTypeCompanion
def toPInfo(tp: Type)(using Context): TypeBounds
Inherited from:
TypeLambdaCompanion