scala3-compiler-bootstrapped
API
Generated with
Copyright (c) 2002-2023, LAMP/EPFL
Copyright (c) 2002-2023, 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 ContextualMethodType.type
object ErasedMethodType.type
object ImplicitMethodType.type
object MethodType.type
Show all
Self type

Members list

Value members

Concrete methods

final def apply(paramNames: List[TermName])(paramInfosExp: MethodType => List[Type], resultTypeExp: MethodType => Type)(using Context): MethodType
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 methods

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 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[N]

Attributes

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

Attributes

Inherited from:
TermLambdaCompanion

Concrete fields

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