scala3-compiler-bootstrapped
DocsAPI
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/LambdaTypeCompanion

LambdaTypeCompanion

dotty.tools.dotc.core.Types.LambdaTypeCompanion
abstract class LambdaTypeCompanion[N <: Name, PInfo <: Type, LT <: LambdaType]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object MethodType
object HKTypeLambda
object PolyType
Show all

Members list

Value members

Abstract methods

def apply(paramNames: List[N])(paramInfosExp: LT => List[PInfo], resultTypeExp: LT => Type)(using Context): LT
def syntheticParamName(n: Int): N
protected def toPInfo(tp: Type)(using Context): PInfo

Concrete 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

def apply(paramNames: List[N], paramInfos: List[PInfo], resultType: Type)(using Context): LT
def apply(paramInfos: List[PInfo])(resultTypeExp: LT => Type)(using Context): LT
def apply(paramInfos: List[PInfo], resultType: Type)(using Context): LT
def fromParams[PI <: Of[N]](params: List[PI], resultType: Type)(using Context): Type
Generated with
Copyright (c) 2002-2023, LAMP/EPFL
Copyright (c) 2002-2023, LAMP/EPFL