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

ImplicitMethodType

dotty.tools.dotc.core.Types.ImplicitMethodType
object ImplicitMethodType extends MethodTypeCompanion

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Show all
Self type

Members list

Value members

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 integhrated into corresponding MethodType using the scheme described in fromSymbols.

Adapt info of parameter symbol to be integhrated 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 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
  • 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[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