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

ContextualMethodType

object ContextualMethodType extends MethodTypeCompanion
class Object
trait Matchable
class Any

Value members

Inherited methods

final def apply(paramNames: List[TermName])(paramInfosExp: MethodType => List[Type], resultTypeExp: MethodType => Type)(using Context): MethodType
Inherited from
MethodTypeCompanion
def apply(paramInfos: List[Type], resultType: Type)(using Context): MethodType
Inherited from
LambdaTypeCompanion
def apply(paramInfos: List[Type])(resultTypeExp: MethodType => Type)(using Context): MethodType
Inherited from
LambdaTypeCompanion
def apply(paramNames: List[TermName], paramInfos: List[Type], resultType: Type)(using Context): MethodType
Inherited from
LambdaTypeCompanion
def checkValid(mt: MethodType)(using Context): mt
Inherited from
MethodTypeCompanion
def fromParams[PI <: Of[TermName]](params: List[PI], resultType: Type)(using Context): Type
Inherited from
LambdaTypeCompanion
def fromSymbols(params: List[Symbol], resultType: Type)(using Context): MethodType

Produce method type from parameter symbols, with special mappings for repeated and inline parameters:

Produce method type from parameter symbols, with special mappings for repeated and inline parameters:

  • replace @repeated annotations on Seq or Array types by types
  • add @inlineParam to inline parameters
Inherited from
MethodTypeCompanion
def toPInfo(tp: Type)(using Context): Type
Inherited from
TermLambdaCompanion

Inherited fields