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

TypeLambdaCompanion

abstract class TypeLambdaCompanion[LT <: TypeLambda] extends LambdaTypeCompanion[TypeName, TypeBounds, LT]
class Object
trait Matchable
class Any
object PolyType

Value members

Concrete methods

def toPInfo(tp: Type)(using Context): TypeBounds

Inherited methods

def apply(paramInfos: List[TypeBounds], resultType: Type)(using Context): LT
Inherited from
LambdaTypeCompanion
def apply(paramInfos: List[TypeBounds])(resultTypeExp: LT => Type)(using Context): LT
Inherited from
LambdaTypeCompanion
def apply(paramNames: List[TypeName], paramInfos: List[TypeBounds], resultType: Type)(using Context): LT
Inherited from
LambdaTypeCompanion
def apply(paramNames: List[TypeName])(paramInfosExp: LT => List[TypeBounds], resultTypeExp: LT => Type)(using Context): LT
Inherited from
LambdaTypeCompanion
def fromParams[PI <: Of[TypeName]](params: List[PI], resultType: Type)(using Context): Type
Inherited from
LambdaTypeCompanion