scala3-compiler-bootstrapped
DocsAPI
Generated with
Copyright (c) 2002-2025, LAMP/EPFL
Copyright (c) 2002-2025, LAMP/EPFL
scala3-compiler-bootstrapped/dotty.tools/dotty.tools.dotc/dotty.tools.dotc.core/Types/TermLambdaCompanion

TermLambdaCompanion

dotty.tools.dotc.core.Types.TermLambdaCompanion
abstract class TermLambdaCompanion[LT <: TermLambda] extends LambdaTypeCompanion[TermName, Type, LT]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object MethodType

Members list

Value members

Concrete methods

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

Inherited methods

protected def addSealed(tparam: ParamInfo, tp: Type)(using Context): Type

If tparam is a sealed type parameter symbol of a polymorphic method, add a @caps.Sealed annotation to the upperbound in tp.

If tparam is a sealed type parameter symbol of a polymorphic method, add a @caps.Sealed annotation to the upperbound in tp.

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Inherited from:
LambdaTypeCompanion
def syntheticParamNames(n: Int): List[TermName]

Attributes

Inherited from:
LambdaTypeCompanion

Inherited and Abstract methods

def apply(paramNames: List[TermName])(paramInfosExp: LT => List[Type], resultTypeExp: LT => Type)(using Context): LT

Attributes

Inherited from:
LambdaTypeCompanion
Generated with
Copyright (c) 2002-2025, LAMP/EPFL
Copyright (c) 2002-2025, LAMP/EPFL