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

MethodType

dotty.tools.dotc.core.Types.MethodType
See theMethodType companion class
object MethodType extends MethodTypeCompanion

Attributes

Companion
class
Graph
Supertypes
class Object
trait Matchable
class Any
Show all
Self type
MethodType.type

Members list

Value members

Concrete methods

def companion(isContextual: Boolean = ..., isImplicit: Boolean = ...): MethodTypeCompanion

Inherited methods

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

Attributes

Inherited from:
MethodTypeCompanion
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

Inherited from:
MethodTypeCompanion
def apply(paramNames: List[TermName])(paramInfosExp: MethodType => List[Type], resultTypeExp: MethodType => Type)(using Context): MethodType

Attributes

Inherited from:
MethodTypeCompanion
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 checkValid(mt: MethodType)(using Context): mt.type

Attributes

Inherited from:
MethodTypeCompanion
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

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

Attributes

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
  • 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 from:
MethodTypeCompanion
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

Inherited fields

val prefixString: String

Attributes

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