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/MethodTypeCompanion

MethodTypeCompanion

dotty.tools.dotc.core.Types.MethodTypeCompanion
abstract class MethodTypeCompanion(val prefixString: String) extends TermLambdaCompanion[MethodType]

Attributes

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

Members list

Value members

Concrete methods

def adaptParamInfo(param: Symbol, pinfo: Type)(using Context): Type

Adapt info of parameter symbol to be integrated into corresponding MethodType using the scheme described in fromSymbols.

Adapt info of parameter symbol to be integrated into corresponding MethodType using the scheme described in fromSymbols.

Attributes

def adaptParamInfo(param: Symbol)(using Context): Type
def apply(paramNames: List[TermName])(paramInfosExp: MethodType => List[Type], resultTypeExp: MethodType => Type)(using Context): MethodType
def checkValid(mt: MethodType)(using Context): mt.type
def checkValid2(mt: MethodType)(using Context): mt.type

Not safe to use in general: Check that all references to an enclosing TermParamRef name point to that TermParamRef

Not safe to use in general: Check that all references to an enclosing TermParamRef name point to that TermParamRef

Attributes

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
  • map into annotations to $into annotations
  • add @inlineParam to inline parameters
  • add @erasedParam to erased parameters
  • map T @$into types to into[T]

Attributes

Inherited methods

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Inherited from:
TermLambdaCompanion

Concrete fields

Generated with
Copyright (c) 2002-2025, LAMP/EPFL
Copyright (c) 2002-2025, LAMP/EPFL