scala3-compiler-bootstrapped
API
Generated with
Copyright (c) 2002-2022, LAMP/EPFL
Copyright (c) 2002-2022, LAMP/EPFL
scala3-compiler-bootstrapped/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
Self type

Members list

Concise view

Value members

Concrete methods

def companion(isContextual: Boolean, isImplicit: Boolean, isErased: Boolean): MethodTypeCompanion

Inherited methods

final 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): LT

Attributes

Inherited from:
LambdaTypeCompanion
def apply(paramInfos: List[Type])(resultTypeExp: MethodType => 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 checkValid(mt: MethodType)(using Context): MethodType

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
  • add @inlineParam to inline parameters
  • add @erasedParam to erased parameters
  • wrap types of parameters that have an @allowConversions annotation with Into[_]

Attributes

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

Attributes

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

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-2022, LAMP/EPFL
Copyright (c) 2002-2022, LAMP/EPFL