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 ImplicitMethodType.type
object MethodType.type
Self type

Members list

Value members

Concrete methods

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

protected def addSealed(tparam: ParamInfo, tp: Type)(using Context): Type

If tparam is a sealed type parameter symbol of a polymorphic method, add a @caps.Sealed annotation to the upperbound in tp.

If tparam is a sealed type parameter symbol of a polymorphic method, add a @caps.Sealed annotation to the upperbound in tp.

Attributes

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